451 search results - page 81 / 91 » Temporal Classes and OWL |
106
Voted
VLDB
2002
ACM
14 years 12 months ago
2002
ACM
A workflow consists of a collection of coordinated tasks designed to carry out a welldefined complex process, such as catalog ordering, trip planning, or a business process in an ...
GIS
2010
ACM
14 years 11 months ago
2010
ACM
Recently, a wide range of applications like hurricane research, fire management, navigation systems, and transportation, to name only a few, has shown increasing interest in mana...
126
click to vote
LICS
2010
IEEE
14 years 10 months ago
2010
IEEE
Alternating timed automata are a powerful extension of classical Alur-Dill timed automata that are closed under all Boolean operations. They have played a key role, among others, ...
103
click to vote
LPAR
2010
Springer
14 years 10 months ago
2010
Springer
We address the problem of merging qualitative constraint networks (QCNs) representing agents local preferences or beliefs on the relative position of spatial or temporal entities. ...
ACSD
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract--Safety properties are an important class of properties as in the industrial use of model checking a large majority of the properties to be checked are safety properties. ...