Sciweavers

1063 search results - page 153 / 213
» Order and Negation as Failure
Sort
View
RTCSA
2009
IEEE
15 years 6 months ago
Dynamic Thermal and Timeliness Guarantees for Distributed Real-Time Embedded Systems
Distributed real-time embedded systems have stringent requirements for key performance properties, such as endto-end timeliness and reliability, in order to operate properly. In r...
Xing Fu, Xiaorui Wang, Eric Puster
INFOCOM
2009
IEEE
15 years 6 months ago
Hyperbolic Embedding and Routing for Dynamic Graphs
—We propose an embedding and routing scheme for arbitrary network connectivity graphs, based on greedy routing and utilizing virtual node coordinates. In dynamic multihop packet-...
Andrej Cvetkovski, Mark Crovella
ATAL
2009
Springer
15 years 6 months ago
Decommitting in multi-agent execution in non-deterministic environment: experimental approach
The process of planning in complex, multi-actor environment depends strongly on the ability of the individual actors to perform intelligent decommitment upon specific changes in ...
Jirí Vokrínek, Antonín Komend...
CIKM
2009
Springer
15 years 6 months ago
Automobile, car and BMW: horizontal and hierarchical approach in social tagging systems
Social tagging systems have recently emerged as an effective way for users to annotate and organize large collections of resources on the Web. Moreover, they also facilitate an e...
Tom Chao Zhou, Irwin King
DSRT
2008
IEEE
15 years 6 months ago
Design of Application-Specific Incentives in P2P Networks
A rational P2P node may decide not to provide a particular resource or to provide it with degraded quality. If nodes are very likely to behave this way, or if the failure of an P2...
Andrew Roczniak, Abdulmotaleb El-Saddik, Ross Kouh...