212 search results - page 37 / 43 » Completeness and Complexity of Bounded Model Checking |
ENTCS
2006
15 years 1 months ago
2006
The CIRCA system automatically synthesizes hard real-time discrete event controllers from plant and environment descriptions. CIRCA's automatically-synthesized controllers pr...
125
click to vote
JAPLL
2010
15 years 9 days ago
2010
Two currently active strands of research on logics for multi-agent systems are dynamic epistemic logic, focusing on the epistemic consequences of actions, and logics of coalitiona...
115
click to vote
ICALP
2010
Springer
15 years 6 months ago
2010
Springer
Universal Coalgebra provides the notion of a coalgebra as the natural mathematical generalization of state-based evolving systems such as (infinite) words, trees, and transition s...
111
click to vote
FOCS
2007
IEEE
15 years 8 months ago
2007
IEEE
We introduce a new primitive called Intrusion-Resilient Secret Sharing (IRSS), whose security proof exploits the fact that there exist functions which can be efficiently computed ...
111
click to vote
ECOOP
1999
Springer
15 years 6 months ago
1999
Springer
Virtual types have been proposed as a notation for generic programming in object-oriented languages—an alternative to the more familiar mechanism of parametric classes. The trade...