1167 search results - page 186 / 234 » A Really Temporal Logic |
105
click to vote
PTS
2007
15 years 2 months ago
2007
Black-box testing is a popular technique for assessing the quality of a system. However, in case of a test failure, only little information is available to identify the root-cause ...
115
click to vote
CSAC
2004
15 years 2 months ago
2004
CoMex (Coordination Mechanism) is a system to coordinate the execution of tasks accessing coordinable entities. It uses coordination rules to describe the temporal and logical orde...
165
click to vote
CSAC
2006
15 years 2 months ago
2006
Abstract. Web services constitute a dynamic field of research about technologies of the Internet. WS-BPEL 2.0, is in the way for becoming a standard for defining Web services orche...
109
click to vote
AAAI
1998
15 years 2 months ago
1998
This paper presents two case studies of parallelization of large Natural Language Processing (NLP) applications using a parallel logic programmingsystem (called "ACE")th...
133
click to vote
ROOM
2000
15 years 2 months ago
2000
We describe a language which can be used to model business processes (both technical and nontechnical). It has a formal semantics, so as to enable formal analysis and prediction o...