1395 search results - page 25 / 279 » Incremental Construction Approach for Distributed System Spe... |
ACSD
1998
IEEE
15 years 1 months ago
1998
IEEE
State coding conflict detection is a fundamental part of synthesis of asynchronous concurrent systems from their specifications as Signal Transition Graphs (STGs), which are a spe...
INFOVIS
2000
IEEE
15 years 2 months ago
2000
IEEE
In the last several years, large multi-dimensional databases have become common in a variety of applications such as data warehousing and scientific computing. Analysis and explor...
ACSD
2004
IEEE
15 years 1 months ago
2004
IEEE
Over the last 25 years, methods for supervisory control of discrete event systems and methods for submodule construction based on state machine specifications have been developed ...
SIGSOFT
2007
ACM
15 years 10 months ago
2007
ACM
The increasing complexity of configurable software systems creates a need for more intelligent sampling mechanisms to detect and locate failure-inducing dependencies between confi...
IESS
2007
Springer
15 years 3 months ago
2007
Springer
Changing demands, software evolution, and bug fixes require the possibility to update applications as well as system software of embedded devices. Systems that perform updates of ...