2414 search results - page 229 / 483 » Reasoning Support for OWL-E |
180
click to vote
TLDI
2005
ACM
16 years 7 days ago
2005
ACM
Atomicity is a fundamental correctness property in multithreaded programs. This paper presents an algorithm for verifying atomicity via type inference. The underlying type system ...
149
click to vote
WOWMOM
2005
ACM
16 years 7 days ago
2005
ACM
— Self-management has often been proposed as a means to reduce the growing complexity of administration in distributed systems. We argue that this can be achieved through aggress...
126
click to vote
BPM
2005
Springer
16 years 7 days ago
2005
Springer
Most workflow tools support structured workflows despite the fact that unstructured workflows can be more expressive. The reason for this is that unstructured workflows are more pr...
158
click to vote
CAISE
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. The lack of a good understanding of customer needs within eservice initiatives caused severe financial losses in the Norwegian energy sector, resulting in the failure of...
167
click to vote
ECSQARU
2005
Springer
16 years 6 days ago
2005
Springer
The main task of drug discovery is to find novel bioactive molecules, i.e., chemical compounds that, for example, protect human cells against a virus. One way to support solving t...