4447 search results - page 123 / 890 » Model Checking Games |
127
click to vote
JCAL
2011
14 years 10 months ago
2011
: Players of epistemic games--computer games that simulate professional practica— have been shown to develop epistemic frames: a profession’s particular way of seeing and solvi...
157
click to vote
ATVA
2007
Springer
15 years 10 months ago
2007
Springer
This paper presents a bounded model checking algorithm for the verification of analog and mixed-signal (AMS) circuits using a satisfiability modulo theories (SMT) solver. The sys...
179
click to vote
IFIP
2010
Springer
14 years 10 months ago
2010
Springer
Concurrent software is difficult to verify. Because the thread schedule is not controlled by the application, testing may miss defects that occur under specific thread schedules. T...
129
click to vote
ICDE
2007
IEEE
15 years 10 months ago
2007
IEEE
Trust management is a form of access control that uses delegation to achieve scalability beyond a single organization or federation. However, delegation can be difficult to contr...
133
click to vote
SPIN
2007
Springer
15 years 9 months ago
2007
Springer
d Abstract) Luboˇs Brim and Jiˇr´ı Barnat Faculty of Informatics, Masaryk University, Brno, Czech Republic With the increase in the complexity of computer systems, it becomes e...