4099 search results - page 374 / 820 » A Framework for Interactive Proof |
148
click to vote
ETFA
2006
IEEE
16 years 24 days ago
2006
IEEE
Abstract— This work deals with the control and the observation of a remote system using Internet as a communication line. The process consists in a Slave part S, with poor comput...
202
click to vote
FPT
2005
IEEE
16 years 11 days ago
2005
IEEE
Designing Systems on-Chip is becoming increasingly popular as die sizes increase and technology sizes decrease. The complexity of integrating different types of Processing Element...
162
click to vote
ITCC
2005
IEEE
16 years 10 days ago
2005
IEEE
Access control software must be based on a security policy model. Flaws in them may come from a lack of precision or some incoherences in the policy model or from inconsistencies ...
162
click to vote
CAV
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. We address the issue of efficiently automating assume-guarantee reasoning for simulation conformance between finite state systems and specifications. We focus on a non...
183
click to vote
ICALP
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. We study the use of the elaboration preorder (due to ArunKumar and Natarajan) in the framework of up-to techniques for weak bisimulation. We show that elaboration yields ...