1699 search results - page 295 / 340 » On the Expressive Power of QLTL |
117
click to vote
PPDP
2009
Springer
15 years 8 months ago
2009
Springer
Hybrid is a system developed to specify and reason about logics, programming languages, and other formal systems expressed in rder abstract syntax (HOAS). An important goal of Hyb...
114
click to vote
ER
2007
Springer
15 years 8 months ago
2007
Springer
The goal of this article is to formalize Object Role Modeling (ORM) using the DLR description logic. This would enable automated reasoning on the formal properties of ORM diagrams,...
158
click to vote
MIDDLEWARE
2007
Springer
15 years 8 months ago
2007
Springer
Reflective middleware provides an effective way to support adaptation in distributed systems. However, as distributed systems become increasingly complex, certain drawbacks of the...
120
click to vote
INFOCOM
2006
IEEE
15 years 8 months ago
2006
IEEE
— This paper investigates theoretical aspects of the uneven energy depletion phenomenon recently noticed in sink-based wireless sensor networks. We consider uniformly distributed...
122
click to vote
ICMI
2004
Springer
15 years 7 months ago
2004
Springer
Understanding human-human interaction is fundamental to the long-term pursuit of powerful and natural multimodal interfaces. Nonverbal communication, including body posture, gestu...