7961 search results - page 133 / 1593 » Input-Output Model Programs |
KI
2004
Springer
15 years 8 months ago
2004
Springer
In this paper we present a new model of Java programs. We show how a program can be compiled into the model. The model can be directly used by a model-based diagnosis engine in ord...
QUATIC
2007
IEEE
15 years 9 months ago
2007
IEEE
Continuous improvement of software development capability is fundamental for organizations to thrive in competitive markets. Nevertheless, Software Process Improvement (SPI) imple...
141
click to vote
CSL
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. This paper represents the beginning of a study aimed at devising semantic models for true concurrency that provide clear distinctions between concurrency, parallelism and...
131
click to vote
WSC
2008
15 years 5 months ago
2008
Discrete Rate Simulation (DRS) is a modeling methodology that uses event based logic to simulate linear continuous processes and hybrid systems. These systems are concerned with t...
143
click to vote
LICS
1994
IEEE
15 years 7 months ago
1994
IEEE
We develop a model for timed, reactive computation by extending the asynchronous, untimed concurrent constraint programming model in a simple and uniform way. In the spirit of pro...