421 search results - page 55 / 85 » Abstract Interpretation of PEPA Models |
ISMIS
1997
Springer
14 years 3 months ago
1997
Springer
Abstract. Spoken dialogue interfaces apply in a number of applications. Engaging in meaningful conversation presupposes the ability to recognize and generate different conversatio...
CAV
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. Temporal logic is popular for specifying correctness properties of reactive systems. Real-time temporal logics add the ability to express quantitative timing aspects. Tab...
PRICAI
2000
Springer
14 years 2 months ago
2000
Springer
Abstract. This article discusses automatic identifications of functional structures of artifacts from given behavioral models of components and their connection information (called...
DAGM
2008
Springer
14 years 20 days ago
2008
Springer
Abstract. High-speed image measurements of fluid flows define an important field of research in experimental fluid mechanics and the related industry. Numerous competing methods ha...
ESOP
2008
Springer
14 years 19 days ago
2008
Springer
This paper defines the cover of a formula with respect to a set of variables V in theory T to be the strongest quantifier-free formula that is implied by V : in theory T. Cover e...