6274 search results - page 241 / 1255 » Proofs, Programs, Processes |
197
click to vote
ASP
2005
Springer
16 years 1 days ago
2005
Springer
In previous work, action languages have predominantly been concerned with domains in which values are static unless changed by an action. Real domains, however, often contain value...
173
click to vote
WSC
1996
15 years 7 months ago
1996
Eight successively refined simulation models for the earthmoving operations involved in the construction of a dam provide the foundation for illustrating the ease and effectivenes...
137
click to vote
CONCUR
2010
Springer
15 years 7 months ago
2010
Springer
This paper proposes a geometric solution to the problem of prime decomposability of concurrent processes first explored by R. Milner and F. Moller in [MM93]. Concurrent programs ar...
174
click to vote
IJPRAI
2010
15 years 3 months ago
2010
This paper investigates what kinds of information are necessary and sufficient to design and evaluate image processing software programs and proposes a representation of these inf...
168
click to vote
WSC
1997
15 years 7 months ago
1997
This paper addresses the issues related to the decision processes of manufacturing system simulation. The manufacturing system is perceived in terms of intelligent entities capabl...