3573 search results - page 562 / 715 » Reasoning about Codata |
180
click to vote
QI
2009
Springer
16 years 28 days ago
2009
Springer
In this third Quantum Interaction (QI) meeting it is time to examine our failures. One of the weakest elements of QI as a field, arises in its continuing lack of models displaying...
188
click to vote
OOPSLA
2007
Springer
16 years 15 days ago
2007
Springer
In runtime monitoring, a programmer specifies a piece of code to execute when a trace of events occurs during program execution. Previous and related work has shown that runtime m...
163
click to vote
SEMWEB
2007
Springer
16 years 15 days ago
2007
Springer
An ontology is a formal representation of a domain modeling the entities in the domain and their relations. When a domain is represented by multiple ontologies, there is a need for...
178
click to vote
SRDS
2006
IEEE
16 years 11 days ago
2006
IEEE
Failure models characterise the expected component failures in fault-tolerant computing. In the context of distributed systems, a failure model usually consists of two parts: a fu...
173
click to vote
HRI
2006
ACM
16 years 10 days ago
2006
ACM
The essence of the signal-to-symbol problem consists of associating a symbolic description of an object (e.g., a chair) to a signal (e.g., an image) that captures the real object....