407 search results - page 43 / 82 » An Automated Verification Method for Distributed Systems Sof... |
ICSE
2009
IEEE-ACM
14 years 3 months ago
2009
IEEE-ACM
Adaptation is of utmost importance in systems developed by assembling reusable software services accessed through their public interfaces. This process aims at solving, as automat...
SIGECOM
2003
ACM
14 years 1 months ago
2003
ACM
Some recent trends in business and manufacturing hold the promise of greater profits, yet, due to profit-robbing inventory increases, this promise has not been fully realized. [9]...
CAISE
1997
Springer
14 years 25 days ago
1997
Springer
Abstract: Traceability is a prerequisite for managing the evolution of (software) systems. Assuring overall traceability of a system development process, i.e., capturing and interr...
SOSP
2005
ACM
14 years 5 months ago
2005
ACM
We present a method for automatically extracting from a running system an indexable signature that distills the essential characteristic from a system state and that can be subjec...
ISORC
2003
IEEE
14 years 1 months ago
2003
IEEE
Many industrial real-time systems have evolved over a long period of time and were initially so simple that it was possible to predict consequences of adding new functionality by ...