1360 search results - page 174 / 272 » Reasoning on Workflow Executions |
TLCA
2007
Springer
14 years 3 months ago
2007
Springer
A Kripke Semantics is defined for a higher-order logic programming language with constraints, based on Church’s Theory of Types and a generic constraint formalism. Our syntactic...
WEBI
2007
Springer
14 years 3 months ago
2007
Springer
Different ontologies used in semantic web services fields raise numerous interoperation and communication problems with respect to service discovery, composition, and execution. ...
CIMCA
2006
IEEE
14 years 3 months ago
2006
IEEE
Coalition formation is a process to form a group and solve a problem via cooperation. Because of the rising of network, each computing device can communicate through network. We c...
ISPDC
2006
IEEE
14 years 3 months ago
2006
IEEE
Supporting range query over Peer-to-Peer systems has attracted many research efforts in recent years. In this paper, we propose a new multidimentional indexing structure for P2P s...
RTCSA
2006
IEEE
14 years 3 months ago
2006
IEEE
The modeling approach is not used to its full potential in maintenance of legacy systems. Often, models do not even exist. The main reasons being that the economic implications an...