Sciweavers

1529 search results - page 288 / 306
» A Taxonomy of Software Component Models
Sort
View
ACMSE
2000
ACM
14 years 2 months ago
Exploring an information-based approach to computation and computational complexity
We present the background and justi cation for a new approachto studying computation and computational complexity. We focus on categories of problems and categories of solutions w...
D. E. Stevenson
ICCAD
1998
IEEE
120views Hardware» more  ICCAD 1998»
14 years 2 months ago
Communication synthesis for distributed embedded systems
Designers of distributed embedded systems face many challenges in determining the appropriate tradeoffs to make when defining a system architecture or retargeting an existing desi...
Ross B. Ortega, Gaetano Borriello
CHI
1997
ACM
14 years 1 months ago
A Prototype Design Tool for Participants in Graphical Multiuser Environments
d in Extended Abstracts, Human Factors in Computing Systems (CHI conference proceedings), Association for Computing Machinery, 1997, pp. 246-247. Originally appeared as Working Pap...
Carol Strohecker, Barbara Barros
FM
2006
Springer
113views Formal Methods» more  FM 2006»
14 years 1 months ago
Interface Input/Output Automata
We propose a new look at one of the most fundamental types of behavioral interfaces: discrete time specifications of communication--directly related to the work of de Alfaro and H...
Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasows...
EDBT
2000
ACM
14 years 1 months ago
Performance and Availability Assessment for the Configuration of Distributed Workflow Management Systems
Workflow management systems (WFMSs) that are geared for the orchestration of enterprise-wide or even "virtual-enterprise"-style business processes across multiple organi...
Michael Gillmann, Jeanine Weißenfels, Gerhar...