2850 search results - page 411 / 570 » On Timed Models and Full Abstraction |
129
click to vote
BIRTHDAY
2009
Springer
16 years 1 months ago
2009
Springer
The Knowledge Base Management Systems (KBMS) Project at the University of Toronto (1985-1995) was inspired by a need for advanced knowledge representation applications that require...
167
click to vote
HYBRID
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In this paper, we consider hybrid models of mechanical systems undergoing impacts — Lagrangian hybrid systems, and study their periodic orbits in the presence of Zeno b...
163
click to vote
INFOCOM
2009
IEEE
16 years 27 days ago
2009
IEEE
Abstract—Delay tolerant Ad-hoc Networks leverage the mobility of relay nodes to compensate for lack of permanent connectivity and thus enable communication between nodes that are...
157
click to vote
INFOCOM
2009
IEEE
16 years 27 days ago
2009
IEEE
Abstract—We propose a novel search mechanism for unstructured p2p networks, and show that it is both scalable, i.e., it leads to a bounded query traffic load per peer as the pee...
161
click to vote
ASPDAC
2009
ACM
16 years 23 days ago
2009
ACM
Abstract— In the context of a design space exploration framework for supporting the platform-based design approach, we address the problem of robustness with respect to manufactu...