65 search results - page 11 / 13 » Parameterised Boolean Equation Systems (Extended Abstract) |
FDL
2007
IEEE
15 years 1 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...
117
Voted
KI
2010
Springer
14 years 4 months ago
2010
Springer
Hybrid systems are models for complex physical systems and are defined as dynamical systems with interacting discrete transitions and continuous evolutions along differential equa...
FC
2007
Springer
15 years 1 months ago
2007
Springer
Abstract. Private keyword search is a technique that allows for searching and retrieving documents matching certain keywords without revealing the search criteria. We improve the s...
105
Voted
FLOPS
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Assertion-based contracts provide a powerful mechanism for stating invariants at module boundaries and for enforcing them uniformly. In 2002, Findler and Felleisen showed...
ACMDIS
2004
ACM
15 years 2 months ago
2004
ACM
We elaborate a proposal for capturing, extending, and reusing design knowledge gleaned through usability testing. The proposal is specifically targeted to address interface design...