131 search results - page 10 / 27 » On the Observable Behaviour of Composite Components |
SAFECOMP
2005
Springer
14 years 29 days ago
2005
Springer
Abstract. This paper addresses the problems appearing in componentbased development of safety-critical systems. We aim at efficient reasoning about safety at system level while add...
PRIMA
2004
Springer
14 years 25 days ago
2004
Springer
This paper describes the architecture of a distributed workflow management system in a dynamic environment. The system features autonomous agent components that can adapt to both s...
SIGSOFT
2004
ACM
14 years 8 months ago
2004
ACM
Constructing comprehensive operational models of intended system behaviour is a complex and costly task. Consequently, practitioners have adopted techniques that support increment...
IM
2007
13 years 9 months ago
2007
Abstract— Software components embedded in ubiquitous systems, especially those using wireless networking, are subject to unpredictable behaviors inherent to using these systems i...
CAISE
2003
Springer
14 years 21 days ago
2003
Springer
Database modeling is still a job of an artisan. Due to this approach database schemata evolve by growth without any evolution plan. Finally, they cannot be examined, surveyed, cons...