357 search results - page 22 / 72 » Verifying properties of process definitions |
SIAMAM
2000
13 years 7 months ago
2000
This paper deduces a new model aimed at simulating injection molding processes under isothermal conditions. These processes can be generally stated as infiltration problems in init...
INFORMATICALT
2008
13 years 7 months ago
2008
Abstract. The study of databases began with the design of efficient storage and data sharing techniques for large amount of data. This paper concerns the processing of imprecision ...
SPIN
2004
Springer
14 years 25 days ago
2004
Springer
Abstract. In the classic approach to logic model checking, software verification requires a manually constructed artifact (the model) to be written in the language that is accepted...
COCOA
2010
Springer
13 years 2 months ago
2010
Springer
An intense activity is nowadays devoted to the definition of models capturing the properties of complex networks. Among the most promising approaches, it has been proposed to model...
ECSA
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. Architectural description languages are a useful tool for modmplex software systems at a high level of abstraction and, if based on formal methods, for enabling the early...