5550 search results - page 103 / 1110 » Different Approaches to Proof Systems |
162
click to vote
LOPSTR
1994
Springer
15 years 10 months ago
1994
Springer
We present a goal replacement rule whose main applicability condition is based on termination properties of the resulting transformed program. The goal replacement rule together wi...
152
click to vote
ICRA
2006
IEEE
16 years 12 days ago
2006
IEEE
- This paper reports the pneumatic PDMS micro hand as an endeffector of robot and miniaturized parallel link robot (guide robot) for manipulating a tiny and delicate object. Micro ...
132
click to vote
ICSE
2008
IEEE-ACM
16 years 6 months ago
2008
IEEE-ACM
Central to the problem frames approach is the distinction of three different descriptions: requirements R, domain assumptions W and specifications S, tied together with the socall...
162
click to vote
SP
1998
IEEE
15 years 10 months ago
1998
IEEE
A strand is a sequence of events; it represents either the execution of legitimate party in a security protocol or else a sequence of actions by a penetrator. A strand space is a ...
169
click to vote
CCS
2000
ACM
15 years 10 months ago
2000
ACM
We consider compositional properties of reactive systems that are secure in a cryptographic sense. We follow the wellknown simulatability approach, i.e., the specification is an ...