Sciweavers

2368 search results - page 331 / 474
» Model of conceptual design of complex electronic systems
Sort
View
APLAS
2005
ACM
16 years 3 days 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
ICMCS
2006
IEEE
116views Multimedia» more  ICMCS 2006»
16 years 17 days ago
Mobility Management for Untethered Immersive Communications
In this paper we propose a system design for delivery of immersive communications to mobile wireless devices based on a distributed proxy model. It is demonstrated that this archi...
Mehran Dowlatshahi, Farzad Safaei
IFIP13
2004
15 years 8 months ago
Analysing Dynamic Function Scheduling Decisions
: Function allocation, as a process used in the construction of dependable complex systems, is a significant aspect of the design and implementation of interactive systems. It invo...
Karsten Loer, Michael Hildebrandt, Michael D. Harr...
SIGMOD
2008
ACM
193views Database» more  SIGMOD 2008»
16 years 6 months ago
Efficient provenance storage
Scientific workflow systems are increasingly used to automate complex data analyses, largely due to their benefits over traditional approaches for workflow design, optimization, a...
Adriane Chapman, H. V. Jagadish, Prakash Ramanan
ECAI
2006
Springer
15 years 8 months ago
Fair Distribution of Collective Obligations
Abstract. In social mechanism design, obligation distribution creates individual or contractual obligations that imply a collective obligation. A distinguishing feature from group ...
Guido Boella, Leendert W. N. van der Torre