4401 search results - page 677 / 881 » Computing with Default Logic |
134
click to vote
DAC
2006
ACM
16 years 5 months ago
2006
ACM
We address the problem of estimating controller delay from high-level specifications during behavioral synthesis. Typically, the critical path of a synthesised behavioral design g...
149
click to vote
WWW
2007
ACM
16 years 5 months ago
2007
ACM
The ability to extract meaningful fragments from an ontology is key for ontology re-use. We propose a definition of a module that guarantees to completely capture the meaning of a...
253
click to vote
ICLP
2009
Springer
16 years 5 months ago
2009
Springer
We address how to write programs for distributed computing systems in which the network topology can change dynamically. Examples of such systems, which we call ensembles, include ...
130
click to vote
COORDINATION
2009
Springer
16 years 5 months ago
2009
Springer
Process algebras are a set of mathematically rigourous languages with well defined semantics that permit modelling behaviour of concurrent and communicating systems. Verification o...
139
click to vote
PERCOM
2009
ACM
16 years 5 months ago
2009
ACM
Abstract--Presence, broadly defined as an event publishnotification infrastructure for converged applications, has emerged as a key mechanism for collecting and disseminating conte...