2519 search results - page 307 / 504 » Reasoning with Textual Cases |
180
click to vote
BPM
2006
Springer
15 years 10 months ago
2006
Springer
Interdependence between the subsystems of an enterprise is one of the driving reasons for integrating the enterprise. Integration attempts to manage those interdependencies so all ...
147
click to vote
DEXAW
2004
IEEE
15 years 10 months ago
2004
IEEE
Peer-to-Peer (P2P) applications have recently seen an enormous success and have reached millions of users. The main reason of this success is the anonymity the users enjoy. Howeve...
133
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. This paper investigates utility maximising bidding heuristics for agents that participate in multiple heterogeneous auctions, in which the auction format and the starting...
182
click to vote
ESOP
2006
Springer
15 years 10 months ago
2006
Springer
We present a sound and complete method for reasoning about contextual equivalence in the untyped, imperative object calculus of Abadi and Cardelli [1]. Our method is based on bisim...
162
click to vote
FM
2006
Springer
15 years 10 months ago
2006
Springer
Constructing comprehensive operational models of intended system behaviour is a complex and costly task. Consequently, practitioners adopt techniques that support partial behaviour...