4099 search results - page 214 / 820 » A Framework for Interactive Proof |
172
click to vote
HICSS
2006
IEEE
16 years 16 days ago
2006
IEEE
This paper addresses challenges associated with the dynamics of knowledge in clusters and regional networks. It develops a conceptual framework, a methodology and a research agend...
189
click to vote
ICDCS
2006
IEEE
16 years 16 days ago
2006
IEEE
This paper develops a scalable online optimization framework for the autonomic performance management of distributed computing systems operating in a dynamic environment to satisf...
158
click to vote
IROS
2006
IEEE
16 years 16 days ago
2006
IEEE
— Robots that can interact naturally with humans require the integration and coordination of many different components with heavy computational demands. We argue that an architec...
165
click to vote
WETICE
2005
IEEE
16 years 2 days ago
2005
IEEE
— One of the main challenges in the area of Service Oriented Computing, in general, and of Web services technology, in particular, is the definition of languages and models for ...
168
click to vote
FASE
2005
Springer
16 years 22 hour ago
2005
Springer
Model-checking is becoming an accepted technique for debugging hardware and software systems. Debugging is based on the “Check / Analyze / Fix” loop: check the system against a...