3482 search results - page 185 / 697 » Cooperative Assembly Systems |
199
Voted
ENTCS
2008
15 years 7 months ago
2008
We report in this paper on the formal verification of a simple compiler for the C-like programming language C0. The compiler correctness proof meets the special requirements of pe...
183
click to vote
CN
2000
15 years 6 months ago
2000
Streaming media is pervasive on the Internet now and is continuing to grow rapidly. Most streaming media systems have adopted the model of broadcast. Unfortunately, the nature of ...
220
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
—Governmental Transportation Authorities' interest in Car to Car and Car to Infrastructure has grown dramatically over the last few years in order to increase the road safet...
189
click to vote
CIA
2006
Springer
15 years 10 months ago
2006
Springer
Imagine a future environment where networks of agents - people, robots and software agents - interact with sophisticated sensor grids and environmental actuators to provide advice,...
212
click to vote
FGCS
2008
15 years 7 months ago
2008
Research interest in Grid computing has grown significantly over the past five years. Management of distributed resources is one of the key issues in Grid computing. Central to ma...