1463 search results - page 208 / 293 » Model Checking Implicit-Invocation Systems |
CAV
2007
Springer
15 years 7 months ago
2007
Springer
Liveness temporal properties state that something “good” eventually happens, e.g., every request is eventually granted. In Linear Temporal Logic (LTL), there is no a priori bo...
126
click to vote
COORDINATION
2004
Springer
15 years 6 months ago
2004
Springer
This paper presents O’KLAIM (Object-Oriented KLAIM), a linguistic extension of the higher-order calculus for mobile processes KLAIM with objectoriented features. Processes intera...
107
click to vote
IIWAS
2008
15 years 2 months ago
2008
In a service-oriented architecture, systems communicate by exchanging messages. In this work, we propose a formal model based on OCL-constrained UML Class diagrams and a methodolo...
141
click to vote
CAISE
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Traditionally, process mining has been used to extract models from event logs and to check or extend existing models. This has shown to be useful for improving processes ...
130
click to vote
CIKM
2010
Springer
15 years 9 hour ago
2010
Springer
This work presents a general rank-learning framework for passage ranking within Question Answering (QA) systems using linguistic and semantic features. The framework enables query...