Sciweavers

3365 search results - page 284 / 673
» Digital System Design: Architectures, Methods and Tools
Sort
View
SIGSOFT
2007
ACM
16 years 7 months ago
Model checking service compositions under resource constraints
When enacting a web service orchestration defined using the Business Process Execution Language (BPEL) we observed various safety property violations. This surprised us considerab...
David S. Rosenblum, Howard Foster, Jeff Kramer, Je...
DAC
2004
ACM
16 years 7 months ago
Benefits and challenges for platform-based design
Platforms have become an important concept in the design of electronic systems. We present here the motivations behind the interest shown and the challenges that we have to face t...
Alberto L. Sangiovanni-Vincentelli, Luca P. Carlon...
ZUM
2000
Springer
132views Formal Methods» more  ZUM 2000»
15 years 10 months ago
A Formal Architecture for the 3APL Agent Programming Language
Abstract. The notion of agents has provided a way of imbuing traditional computing systems with an extra degree of flexibility that allows them to be more resilient and robust in t...
Mark d'Inverno, Koen V. Hindriks, Michael Luck
NIME
2005
Springer
128views Music» more  NIME 2005»
16 years 5 days ago
Multi-user Instruments: Models, Examples and Promises
In this paper we study the potential and the challenges posed by multi-user instruments, as tools that can facilitate interaction and responsiveness not only between performers an...
Sergi Jordà
SIGCSE
2005
ACM
179views Education» more  SIGCSE 2005»
16 years 7 days ago
Design patterns for database pedagogy: a proposal
Courses in Relational Databases largely use a domain-specific design approach different from that used in the rest of the curriculum. Use of the Unified Process, UML, and Design P...
Thomas J. Marlowe, Cyril S. Ku, James W. Benham