4447 search results - page 333 / 890 » Model Checking Games |
158
click to vote
IEAAIE
2003
Springer
15 years 11 months ago
2003
Springer
A knowledge base is maintained by modifying its conceptual model and by using those modifications to specify changes to its implementation. The maintenance problem is to determine ...
156
click to vote
FLAIRS
2001
15 years 7 months ago
2001
A knowledge base is maintained by modifying its conceptual model and by using those modifications to specify changes to its implementation. The maintenance problem is to determine...
154
click to vote
PERCOM
2009
ACM
16 years 6 months ago
2009
ACM
In pervasive computing environments, personal information is expressed in digital forms to a great extent. Daily activities and personal preferences may be easily associated with p...
158
Voted
ATVA
2007
Springer
16 years 13 days ago
2007
Springer
Abstract. The emerging technology of interacting systems calls for new forto ensure their reliability. Concurrent games are paradigmatic abstract models for which several logics ha...
194
click to vote
TIDSE
2004
Springer
15 years 11 months ago
2004
Springer
The Interactive Dilemma is the inevitable conflict between author’s determinism and interactor’s freedom. There are some approaches that try to tackle it, using strategies and...