1058 search results - page 172 / 212 » Fault-Tolerant Resource Reasoning |
JSS
2006
14 years 9 months ago
2006
Model checking is a powerful automated technique mainly used for the verification of properties of reactive systems. In practice, model checkers are limited due to the state explos...
FMSD
2007
14 years 9 months ago
2007
Real-time embedded systems are often specified as a collection of independent tasks, each generating a sequence of event-triggered code blocks, and the scheduling in this domain ...
SIGMETRICS
2008
ACM
14 years 9 months ago
2008
ACM
Peer-assisted streaming is a promising way for service providers to offer high-quality IPTV to consumers at reasonable cost. In peerassisted streaming, the peers exchange video ch...
TII
2008
14 years 9 months ago
2008
In wireless sensor networks each sensor node has very limited resources, and it is very difficult to find and collect them. For this reason, updating or adding programs in sensor n...
103
click to vote
JODL
2007
2007
Building rich, semantic descriptions of learning activities to facilitate reuse in digital libraries
14 years 9 months ago
Abstract This paper describes efforts to extend educational descriptions of learning objects to enable semantic search for suitable resources held within digital libraries and cybe...