5243 search results - page 798 / 1049 » Reasoning About Strategies |
171
click to vote
FASE
2005
Springer
16 years 5 days ago
2005
Springer
This paper is concerned with the application of Web services to distributed, cross-organizational business processes. In this scenario, it is crucial to answer the following questi...
154
click to vote
FOSSACS
2005
Springer
16 years 5 days ago
2005
Springer
We present a general framework for logics of transition systems based on Stone duality. Transition systems are modelled as coalgebras for a functor T on a category X. The propositi...
191
click to vote
HYBRID
2005
Springer
16 years 5 days ago
2005
Springer
Interchange formats have been the backbone of the EDA industry for several years. They are used as a way of helping the development of design flows that integrate foreign tools us...
193
click to vote
ICIAR
2005
Springer
16 years 4 days ago
2005
Springer
A novel region-based multiple object tracking framework based on Kalman filtering and elastic matching is proposed. The proposed Kalman filtering-elastic matching model is genera...
184
click to vote
ICLP
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. We propose a generic type system for the Constraint Handling Rules (CHR), a rewriting rule language for implementing constraint solvers. CHR being a high-level extension ...