721 search results - page 7 / 145 » A Living System Must Have Noncomputable Models |
CONCUR
1997
Springer
15 years 4 months ago
1997
Springer
Abstract. In a trace-based world, the modular speci cation, veri cation, and control of live systems require each module to be receptive that is, each module must be able to meet i...
186
Voted
POPL
2007
ACM
16 years 22 days ago
2007
ACM
In recent years we have seen great progress made in the area of automatic source-level static analysis tools. However, most of today's program verification tools are limited ...
ICEIS
2003
IEEE
15 years 5 months ago
2003
IEEE
Abstract: We present the live-representation approach for managing and working in complex, dynamic business processes. In this approach, aspects of business-process modeling, proje...
112
Voted
CONCUR
2009
Springer
14 years 10 months ago
2009
Springer
Convergence is often the key liveness property for distributed systems that interact with physical processes. Techniques for proving convergence (asymptotic stability) have been ex...
CCGRID
2001
IEEE
15 years 4 months ago
2001
IEEE
Recent advances in computing and communication have given rise to the computational grid notion. The core of this computing paradigm is the design of a system for drawing compute ...