602 search results - page 63 / 121 » Program Calculation in Coq |
IFIP
2004
Springer
14 years 2 months ago
2004
Springer
We extend a particular access control framework, the Privilege Calculus, with a possibility to override denied access for increased flexibility in hard to define or unanticipated...
ICRA
2002
IEEE
14 years 1 months ago
2002
IEEE
In this paper, the stability of objects in graspless manipulation (or nonprehensile manipulation) is investigated. In contrast with the stability of grasps, it is crucial for the ...
ICCS
2001
Springer
14 years 1 months ago
2001
Springer
Many surfaces can be modeled by interpolating data points digitized from existing products. But the digitized data points could have measuring errors. To adjust the points, fairing...
LCTRTS
1998
Springer
14 years 1 months ago
1998
Springer
This paper describes a general approach for automatic and accurate time-bound analysis. The approach consists of transformations for building time-bound functions in the presence ...
CN
2008
13 years 9 months ago
2008
Capacity is an important property for QoS support in Mobile Ad Hoc Networks (MANETs) and has been extensively studied. However, most approaches rely on simplified models (e.g., pr...