5451 search results - page 825 / 1091 » Typed Operational Semantics |
171
click to vote
HICSS
2005
IEEE
15 years 11 months ago
2005
IEEE
As we progress, society must intelligently address the following question: How much risk is acceptable? How we answer this question could have important consequences for the futur...
178
click to vote
FOSSACS
2005
Springer
15 years 11 months ago
2005
Springer
The general aim of this talk is to advocate a combinatorial perspective, together with its methods, in the investigation and study of models of computation structures. This, of cou...
177
click to vote
IVA
2005
Springer
15 years 11 months ago
2005
Springer
this is via the ”Motion Abstraction”. This is a single abstraction that represents any type of animation of a character. Different implementations of the ion can provide very ...
150
click to vote
ICRA
2002
IEEE
15 years 10 months ago
2002
IEEE
When a distributed robotic system is assigned to perform reconnaissance or surveillance, restrictions inherent to the design of an individual robot limit the system’s performanc...
161
click to vote
INFOCOM
1999
IEEE
15 years 10 months ago
1999
IEEE
The distributed embedded systems industry is poised to leverage emerging real-time operating systems, such as Inferno, Windows CE 2.0, and Palm OS, to support mobile communication...