5255 search results - page 939 / 1051 » Formal Methods for Privacy |
123
Voted
FDL
2007
IEEE
15 years 6 months ago
2007
IEEE
Abstract-- Analog and Mixed Signal (AMS) designs are important integrated systems that link digital circuits to the analog world. Following the success of PSL verification methodol...
151
Voted
GLVLSI
2007
IEEE
15 years 6 months ago
2007
IEEE
he abstract and simple computation and communication mechanism in the synchronous computational model it is easy to simulate synchronous systems and to apply formal verification m...
126
Voted
HRI
2007
ACM
15 years 6 months ago
2007
ACM
The goal of the RUBI project is to accelerate progress in the development of social robots by addressing the problem at multiple levels, including the development of new scientifi...
106
Voted
ACOM
2004
Springer
15 years 6 months ago
2004
Springer
The Cognitive Agent Specification Language (CASL) is a framework for specifying and verifying complex communicating multiagent systems. In this paper, we develop an extended versi...
132
click to vote
ACSD
2004
IEEE
15 years 6 months ago
2004
IEEE
The design productivity gap has been recognized by the semiconductor industry as one of the major threats to the continued growth of system-on-chips and embedded systems. Ad-hoc s...