3573 search results - page 351 / 715 » Reasoning about Codata |
149
click to vote
ICALP
2003
Springer
15 years 10 months ago
2003
Springer
We investigate the protection of migrating agents against the untrusted sites they traverse. The resulting calculus provides a formal framework to reason about protection policies ...
133
Voted
HPDC
2002
IEEE
15 years 10 months ago
2002
IEEE
Error propagation is a central problem in grid computing. We re-learned this while adding a Java feature to the Condor computational grid. Our initial experience with the system w...
119
Voted
ICRA
2002
IEEE
15 years 10 months ago
2002
IEEE
We describe a model-based height controller for a hopping robot with a pneumatically powered leg. The controller explicitly models variation in the leg angle and height. Using an ...
141
click to vote
ICDE
2010
IEEE
15 years 10 months ago
2010
IEEE
— While planning the execution of report-generation workloads, database administrators often need to know how long different query workloads will take to run. Database systems ru...
154
click to vote
ECOOP
2010
Springer
15 years 10 months ago
2010
Springer
Recently, object-oriented languages, such as C , have been extended with language features prevalent in most functional languages: parametric polymorphism and higher-order function...