421 search results - page 55 / 85 » Abstract Interpretation of PEPA Models |
96
Voted
ISMIS
1997
Springer
15 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...
106
Voted
CAV
2003
Springer
15 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...
102
Voted
PRICAI
2000
Springer
15 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...
88
Voted
DAGM
2008
Springer
15 years 21 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...
106
Voted
ESOP
2008
Springer
15 years 21 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...