1502 search results - page 291 / 301 » Computational Realizations of Living Systems |
184
click to vote
CADE
2006
Springer
16 years 6 months ago
2006
Springer
CEL (Classifier for EL) is a reasoner for the small description logic EL+ which can be used to compute the subsumption hierarchy induced by EL+ ontologies. The most distinguishing ...
169
click to vote
MOBIHOC
2003
ACM
16 years 5 months ago
2003
ACM
In wireless ad hoc networks, capacity can be traded for delay. This tradeoff has been the subject of a number of studies, mainly concentrating on the two extremes: either minimizi...
152
click to vote
CCS
2009
ACM
16 years 23 days ago
2009
ACM
Binary attestation, as proposed by the Trusted Computing Group (TCG), is a pragmatic approach for software integrity protection and verification. However, it has also various sho...
142
click to vote
ATAL
2009
Springer
16 years 16 days ago
2009
Springer
Computational modeling of human belief maintenance and decision-making processes has become increasingly important for a wide range of applications. We present a framework for mod...
189
click to vote
SENSYS
2004
ACM
15 years 11 months ago
2004
ACM
We propose B-MAC, a carrier sense media access protocol for wireless sensor networks that provides a flexible interface to obtain ultra low power operation, effective collision a...