3938 search results - page 624 / 788 » Interactive Protocols on the Reals |
150
click to vote
JTAER
2007
15 years 6 months ago
2007
A number of approaches for capturing and processing location information of mobile users have been proposed in the past; however, only with the latest advances in the handset tech...
160
click to vote
CCR
2004
15 years 6 months ago
2004
Protocol and system designers use verification techniques to analyze a system's correctness properties. Network operators need verification techniques to ensure the "cor...
184
click to vote
AAMAS
2000
Springer
15 years 6 months ago
2000
Springer
We adopt the decision-theoretic principle of expected utility maximization as a paradigm for designing autonomous rational agents, and present a framework that uses this paradigm t...
202
click to vote
CORR
2002
Springer
15 years 6 months ago
2002
Springer
Computational Grids are emerging as a new infrastructure for Internet-based parallel and distributed computing. They enable the sharing, exchange, discovery, and aggregation of re...
130
click to vote
IEEEMM
1998
15 years 6 months ago
1998
ract syntax notation ATM asynchronous transfer mode CCETT Centre Commun d’Etudes de Télédiffusion et Télécommunications Davic Digital Audio Visual Council DSMCC Digital Stora...