Exclude:

OPAC

E-Resources

Federated Resources

Premium Resources

Showing all Resources, Excluding Opac and Electronic resources

Function allocation theory for creative design

Author:Tetsuo Tomiyama
Publisher:Elsevier BV
Abstract: Function structure influences on systems architecture (or product architecture). This paper discuss…

Explorations 1: Grammar for the Experienced Beginner

Author:Caisee, Rueda, and Emens-Hesslink
Publisher:Open Oregon Educational Resources
Abstract: Welcome to Explorations 1: Grammar for the Experienced Beginner. This English grammar textbook was …

Control of Multilayer Networks

Author:Ginestra Bianconi, Luca Dall'Asta, Giulia Menichetti
Publisher:Springer Science and Business Media LLC
Abstract: The controllability of a network is a theoretical problem of relevance in a variety of contexts ran…

Generic techniques to improve SVC enhancement layer encoding: digest of technical papers

Author:Pedro Cuenca, Jan De Cock, Rosario Garrido-Cantos, José Luis Martinez, Rik Van de Walle, Sebastiaan Van Leuven, Glenn Van Wallendael
Publisher:Institute of Electrical and Electronics Engineers (IEEE)
Abstract: Scalable video coding is an important mechanism to provide different types of end-user devices with…

AC-KBO Revisited

Author:A. Ben Cherifa, A. Rubio, B. Alarcón, B. Löchner, C. Marché, D. Knuth, H. Zankl, J. Giesl, J. Steinbach, K. Korovin, K. Kusakari, L. Bachmair, M. Codish, M. Ludwig, N. Dershowitz, S. Winkler, T. Arts
Publisher:Cambridge University Press (CUP)
Abstract: Equational theories that contain axioms expressing associativity and commutativity (AC) of certain …

Needed Computations Shortcutting Needed Steps

Author:Sergio Antoy, Jacob Johannsen, Steven Libby
Publisher:Open Publishing Association
Abstract: We define a compilation scheme for a constructor-based, strongly-sequential, graph rewriting system…

Rule-based Modelling and Tunable Resolution

Author:Russ Harmer, S. Barry Cooper, Vincent Danos
Publisher:Open Publishing Association
Abstract: We investigate the use of an extension of rule-based modelling for cellular signalling to create a …

Web Accessibility for Developers

Author:2019
Publisher:Ryerson University
Abstract: Web Accessibility for Developers is a technical book aimed primarily at programmers. Learn how to d…

Expressing advanced user preferences in component installation

Author:Ralf Treinen, Stefano Zacchiroli
Publisher:Association for Computing Machinery (ACM)
Abstract: State of the art component-based software collections - such as FOSS distributions - are made of up…

A formal verification framework and associated tools for enterprise modeling : application to UEML

Author:Allen, B. Kamsu-Foguem, Bernus, Booch, Bérard, Chapurlat, Chapurlat, Chen, Chen, Chen, Chen, Chrorafas, Doumeingts, F. Prunet, Fox, Jackson, Kamsu-Foguem, Kosanke, Mann, Manna, Menzel, Molina, Nijssen, Pearl, Revelle, Scheer, Schekkerman, Sowa, Sowa, Tixier, Uschold, V. Chapurlat, Van Lamsweerde, Vernadat, Vernadat
Publisher:Elsevier BV
Abstract: The aim of this paper is to propose and apply a verification and validation approach to Enterprise …
Privacy Policy
Powered by: