1360 search results - page 148 / 272 » Reasoning on Workflow Executions |
125
Voted
ACMSE
2008
ACM
15 years 5 months ago
2008
ACM
Numerical solution of any large, three-dimensional fluid flow problem is a computationally intensive task that typically requires supercomputer solution to achieve reasonable exec...
128
Voted
ER
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. The alignment of different ontologies requires the specification, representation and execution of translation rules. The rules need to integrate translations at the lexic...
108
click to vote
SFP
2003
15 years 4 months ago
2003
We describe the functional language Camelot, which is a language of the ML family with extensions for explicit management of heap storage, and the intermediate language Grail, whic...
126
click to vote
AAMAS
2004
Springer
15 years 3 months ago
2004
Springer
In this paper we overview one specific approach to the formal development of multi-agent systems. This approach is based on the use of temporal logics to represent both the behavio...
142
Voted
ENTCS
2000
15 years 3 months ago
2000
Abstract. Logic programming languages based on linear logic are of both theoretical and practical interest, particulaly because such languages can be seen as providing a logical ba...