Sciweavers

4890 search results - page 105 / 978
» From system specifications to component behavioral models
Sort
View
ACSD
2010
IEEE
255views Hardware» more  ACSD 2010»
14 years 8 months ago
From POOSL to UPPAAL: Transformation and Quantitative Analysis
POOSL (Parallel Object-Oriented Specification Language) is a powerful general purpose system-level modeling language. In research on design space exploration of motion control syst...
Jiansheng Xing, Bart D. Theelen, Rom Langerak, Jac...
WSC
1998
14 years 11 months ago
Communicating Structures for Modeling Large-scale Systems
ating Structures is a system abstraction that helps to model large-scale distributed systems, whose performance mostly depends on how well the data and messages traffic is organiz...
Vadim E. Kotov
ICPPW
2006
IEEE
15 years 4 months ago
A Comparative Study of Web Services-based Event Notification Specifications
—Web services-based event notification is an emerging technology that combines the asynchronous communication feature of event notification mechanisms and the interoperability fe...
Yi Huang, Dennis Gannon
CDC
2008
IEEE
118views Control Systems» more  CDC 2008»
15 years 4 months ago
Quantum behaviors and networks
— The purpose of this paper is to discuss how Willems’ behavioral modeling might be applied to physical systems governed by the laws of quantum physics. A quantum behavior is s...
Matthew R. James, John Edward Gough
ATAL
2008
Springer
14 years 12 months ago
Automatic Generation of Distributed Team Formation Algorithms from Organizational Models
Software systems are subject to ever increasing complexity and in need of efficient structuring. The concept of organization as an exand abstract real-world reference presents a pr...
Michael Köhler-Bußmeier, Matthias Weste...