2624 search results - page 143 / 525 » The 2LIP model and its implementations |
162
click to vote
ECUMN
2007
Springer
16 years 16 days ago
2007
Springer
Abstract— The paper presents a location-aware communication approach in smart home environments. It is constructed on a symbolic location model to represent the containment relat...
151
click to vote
ICALT
2005
IEEE
15 years 12 months ago
2005
IEEE
Based on the overall aims of the AdeLE (Adaptive e-Learning with Eye-Tracking) project, and in particular motivated by the decision of using a strictly separated system’s archit...
176
click to vote
FM
2001
Springer
15 years 11 months ago
2001
Springer
Classical logic cannot be used to effectively reason about systems with uncertainty (lack of essential information) or inconsistency (contradictory information often occurring when...
156
click to vote
IPPS
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper investigates a complexity-effective technique for verifying a highly distributed directory-based cache coherence protocol. We develop a novel approach called “witnes...
144
click to vote
WEBI
2007
Springer
16 years 14 days ago
2007
Springer
Collaborative tagging is increasingly drawing attentions. However the keyword based tagging scheme has its limitations and it can be observed that tagging society are seeking and ...