29079 search results - page 93 / 5816 » Design Of Future Systems |
144
click to vote
FROCOS
2005
Springer
15 years 11 months ago
2005
Springer
Reasoning about the correctness of program transformations requires a notion of program equivalence. We present an observational semantics for the concurrent lambda calculus with f...
143
click to vote
MADNES
2005
Springer
15 years 11 months ago
2005
Springer
Impersonation attacks in wireless and mobile networks by professional criminal groups are becoming more sophisticated. We confirm with simple risk analysis that impersonation atta...
155
click to vote
IROS
2007
IEEE
15 years 11 months ago
2007
IEEE
— We present an approach to motion planning for highly articulated systems that aims to ensure robust execution by augmenting the planning process to reason about the robot’s a...
136
click to vote
IPPS
2005
IEEE
15 years 11 months ago
2005
IEEE
Today, the amount of main memory in mid-range servers is pushing practical limits with as much as 192 GB memory in a 24 processor system [21]. Further, with the onset of multi-thr...
148
click to vote
CRITIS
2007
15 years 7 months ago
2007
The transformation of the European infrastructure creates considerable system security challenges. GRID is a joint effort of six European research organizations to achieve consensu...