1796 search results - page 178 / 360 » An Approach to Compositional Model Checking |
129
click to vote
SAC
2009
ACM
15 years 7 months ago
2009
ACM
Ensuring transactional behavior of business processes and web service compositions is an essential issue in the area of serviceoriented computing. Transactions in this context may ...
87
Voted
CORR
1998
Springer
15 years 6 days ago
1998
Springer
Abstract. This paper presents a novel formalization of optimality theory. Unlike previous treatments of optimality in computational linguistics, starting with Ellison 1994 , the n...
93
Voted
COSIT
2009
Springer
15 years 7 months ago
2009
Springer
Formal models of geographic space should support reasoning about its static and dynamic properties, its objects, their behaviors, and the relationships between them. Image schemas,...
104
click to vote
CONCURRENCY
2006
15 years 16 days ago
2006
e a set of very distinctive abstractions that result in significant modifications of the basic workflow model as outlined in pre-existing workflow model, see [2] for example. In pa...
120
click to vote
ATVA
2006
Springer
15 years 4 months ago
2006
Springer
We address the problem of model checking hybrid systems which exhibit nontrivial discrete behavior and thus cannot be treated by considering the discrete states one by one, as most...