Sciweavers

3119 search results - page 108 / 624
» Abstract Requirement Analysis in Multiagent System Design
Sort
View
APLAS
2005
ACM
15 years 3 months ago
Integrating Physical Systems in the Static Analysis of Embedded Control Software
Interpretation interpretation is a theory of effective abstraction and/or approximation of discrete mathematical structures as found in the semantics of programming languages, mod...
Patrick Cousot
ER
2006
Springer
102views Database» more  ER 2006»
15 years 1 months ago
Notes for the Conceptual Design of Interfaces
This paper presents a design method for user interfaces based on some ideas from conversation analysis. The method uses interaction diagram and it is conceived to design all flow ...
Simone Santini
DLOG
2003
14 years 11 months ago
Applying Description Logic to Product Behavioral Design within Advanced CAD Systems
In this paper, we investigate the use of Description Logic (DL) for representing Product Behavioral constraints in Computer Aided Design (CAD) Systems. In an integrated design app...
François de Bertrand de Beuvron, Amadou Cou...
RSP
2003
IEEE
111views Control Systems» more  RSP 2003»
15 years 3 months ago
Exploring the Probabilistic Design Space of Multimedia Systems
In this paper, we propose the novel concept of probabilistic design for multimedia systems and a methodology to quickly explore such design space at an early design stage. The pro...
Shaoxiong Hua, Gang Qu, Shuvra S. Bhattacharyya
ATAL
2004
Springer
15 years 3 months ago
About Engineering Complex Systems: Multiscale Analysis and Evolutionary Engineering
Abstract. We describe an analytic approach, multiscale analysis, that can demonstrate the fundamental limitations of decomposition based engineering for the development of highly c...
Yaneer Bar-Yam