2632 search results - page 519 / 527 » Alternating Timed Automata |
IJRR
2010
14 years 8 months ago
2010
The solution to the problem of mapping an environment and at the same time using this map to localize (the simultaneous localization and mapping, SLAM, problem) is a key prerequis...
INFOCOM
2010
IEEE
14 years 8 months ago
2010
IEEE
— Retransmissions serve as the basic building block that communication protocols use to achieve reliable data transfer. Until recently, the number of retransmissions were thought...
104
click to vote
JBCS
2010
14 years 8 months ago
2010
We present an incarnation of the Enterprise Physics vision sketched in [3] that provides automatic or semi-automatic support for evolution and change management in heterogeneous le...
JOT
2010
14 years 8 months ago
2010
A theory, graphical notation, mathematical calculus and implementation for finding whether two given expressions can, at execution time, denote references attached to the same obj...
P2P
2010
IEEE
14 years 7 months ago
2010
IEEE
—Privacy leaks are an unfortunate and an integral part of the current Internet domain name resolution. Each DNS query generated by a user reveals – to one or more DNS servers â...