2414 search results - page 231 / 483 » Reasoning Support for OWL-E |
159
click to vote
SOCO
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. Behavioral specifications that are integrated into component interfaces are an important means for the correct construction of component-based systems. Currently, such s...
161
click to vote
SPIN
2005
Springer
16 years 5 days ago
2005
Springer
Embedded software verification is an important verification problem that requires the ability to reason about the timed semantics of concurrent behaviors at a low level of atomic...
158
Voted
PDC
2004
ACM
16 years 3 days ago
2004
ACM
This paper describes how a set of participatory design methodologies have been introduced to and adopted for museum exhibition design. It provides a brief historical account of mu...
168
click to vote
AOSE
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. One of the main challenges for the successful application of agentbased systems in mobile and embedded devices is enabling application developers to reconcile the needs o...
144
click to vote
ESOP
2004
Springer
16 years 2 days ago
2004
Springer
A transaction defines a locus of computation that satisfies important concurrency and failure properties; these so-called ACID properties provide strong serialization guarantees ...