4126 search results - page 497 / 826 » Relationships with other Formalisms |
178
click to vote
PERCOM
2006
ACM
16 years 6 months ago
2006
ACM
In pervasive computing, devices or peers may implement or compose services using services from other devices or peers, and may use components from various sources. A composition t...
206
click to vote
PERCOM
2005
ACM
16 years 6 months ago
2005
ACM
In this paper, we present a novel method to adapt the temporal radio maps for indoor location determination by offsetting the variational environmental factors using data mining t...
166
click to vote
MOBIHOC
2002
ACM
16 years 6 months ago
2002
ACM
: Mobile ad-hoc networking works properly only if the participating nodes cooperate in routing and forwarding. However, it may be advantageous for individual nodes not to cooperate...
144
click to vote
POPL
2010
ACM
16 years 4 months ago
2010
ACM
Abstract. The blame calculus of Wadler and Findler gives a high-level semantics to casts in higher-order languages. The coercion calculus of Henglein, on the other hand, provides a...
173
click to vote
ICWS
2009
IEEE
16 years 3 months ago
2009
IEEE
Distributed systems increasingly span organizational boundaries and, with this, system and service management domains. Web services are the primary means of exposing services to c...