9821 search results - page 1807 / 1965 » A Framework for the Development of Protocols |
174
click to vote
ACSAC
2007
IEEE
16 years 26 days ago
2007
IEEE
Special purpose trusted computing devices are currently being deployed to offer many services for which the general purpose computing paradigm is unsuitable. The nature of the ser...
156
click to vote
CLUSTER
2007
IEEE
16 years 26 days ago
2007
IEEE
— Various mechanisms for fault-tolerance (FT) are used today in order to reduce the impact of failures on application execution. In the case of system failure, standard FT mechan...
203
click to vote
IROS
2007
IEEE
16 years 25 days ago
2007
IEEE
Reliable recognition of objects is an important capabaility in the progress towards getting agents to accomplish and assist in a variety of useful tasks such as search and rescue ...
155
click to vote
LICS
2007
IEEE
16 years 24 days ago
2007
IEEE
We introduce a computable framework for Lebesgue’s measure and integration theory in the spirit of domain theory. For an effectively given second countable locally compact Hausd...
167
click to vote
MICRO
2007
IEEE
16 years 24 days ago
2007
IEEE
Single-threaded programming is already considered a complicated task. The move to multi-threaded programming only increases the complexity and cost involved in software developmen...