Sciweavers

946 search results - page 112 / 190
» Supporting The Design Process Within An Organisational Conte...
Sort
View
EHCI
2001
13 years 9 months ago
A Unifying Reference Framework for the Development of Plastic User Interfaces
Abstract. The increasing proliferation of computational devices has introduced the need for applications to run on multiple platforms in different physical environments. Providing ...
Gaëlle Calvary, Joëlle Coutaz, David The...
DT
2006
113views more  DT 2006»
13 years 7 months ago
A Platform-Based Taxonomy for ESL Design
the abstraction level at which designers express systems, enabling new levels of design reuse, and providing for design chain integration ool flows and abstraction levels. The purp...
Douglas Densmore, Roberto Passerone
SBCCI
2004
ACM
111views VLSI» more  SBCCI 2004»
14 years 1 months ago
A partial reconfigurable architecture for controllers based on Petri nets
Digital Control System in the industry has been used in most of the applications based on expensive Programmable Logical Controllers (PLC). These Systems are, in general, highly c...
Paulo Sérgio B. do Nascimento, Paulo Romero...
TELECARE
2004
132views Healthcare» more  TELECARE 2004»
13 years 9 months ago
Federated management of information for TeleCARE
Distributed information management plays a fundamental role within the base infrastructure supporting the elderly care domain. Specificities of this domain include the autonomy and...
Hamideh Afsarmanesh, Víctor Guevara-Mas&iac...
HYBRID
2001
Springer
14 years 6 days ago
Assume-Guarantee Reasoning for Hierarchical Hybrid Systems
Abstract. The assume-guarantee paradigm is a powerful divide-andconquer mechanism for decomposing a veri cation task about a system into subtasks about the individual components of...
Thomas A. Henzinger, Marius Minea, Vinayak S. Prab...