4447 search results - page 292 / 890 » Model Checking Games |
242
click to vote
ISSTA
2004
ACM
15 years 10 months ago
2004
ACM
We show how model checking and symbolic execution can be used to generate test inputs to achieve structural coverage of code that manipulates complex data structures. We focus on ...
131
click to vote
SACMAT
2010
ACM
15 years 9 months ago
2010
ACM
The role-based access control (RBAC) has significantly simplified the management of users and permissions in computing systems. In dynamic environments, systems are usually unde...
167
click to vote
ICCAD
2007
IEEE
15 years 8 months ago
2007
IEEE
Stepwise refinement is at the core of many approaches to synthesis and optimization of hardware and software systems. For instance, it can be used to build a synthesis approach for...
156
Voted
DIGRA
2005
Springer
15 years 10 months ago
2005
Springer
This paper describes the preliminary research of an ambient intelligent system known as socioec(h)o. socio-ec(h)o explores the design and implementation of an ambient intelligent ...
149
click to vote
FM
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. Semantic Web (SW), commonly regarded as the next generation of the Web, is an emerging vision of the new Web from the Knowledge Representation and the Web communities. Th...