12774 search results - page 329 / 2555 » A Framework for Proof Systems |
171
click to vote
IROS
2006
IEEE
16 years 24 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...
179
click to vote
ISORC
2006
IEEE
16 years 24 days ago
2006
IEEE
Integrated architectures promise substantial technical and economic benefits in the development of distributed embedded real-time systems. In the context of diagnosis new diagnos...
134
click to vote
ICMCS
2005
IEEE
16 years 11 days ago
2005
IEEE
Traditional design and test of complex multimedia systems involves a large number of test vectors and is a difficult and time-consuming task. The simulation times are prohibitivel...
230
click to vote
ICPPW
2005
IEEE
16 years 11 days ago
2005
IEEE
Large scientific collaborations are moving towards service oriented architectures for implementation and deployment of globally distributed systems. Clarens is a high performance,...
188
click to vote
JCDL
2005
ACM
16 years 10 days ago
2005
ACM
This paper introduces a new framework for building digital library collections and contrasts it with existing systems. It describes a radical new step in the development of a widel...