10038 search results - page 391 / 2008 » Model Checking for Managers |
192
click to vote
FMCAD
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. In this paper we describe the formal specification and verification of the efficient algorithm for real-time model checking implemented in the model checker RAVEN. It was...
222
click to vote
AAAI
2006
15 years 8 months ago
2006
This paper presents a computational model of negotiation based on Nebel's syntax-based belief revision. The model guarantees a unique bargaining solution for each bargaining ...
168
click to vote
IJKL
2008
15 years 6 months ago
2008
: Knowledge is not manageable, as if it were data or information. Consequently, Knowledge Management (KM) must address activities that utilise and create knowledge, instead of addr...
202
click to vote
TACAS
2000
Springer
15 years 10 months ago
2000
Springer
Markov chains are widely used in the context of performance and reliability evaluation of systems of various nature. Model checking of such chains with respect to a given (branchin...
156
click to vote
CGVR
2006
15 years 8 months ago
2006
Conflict problem is one of the major issues in Collaborative CAD systems. Based on a flexible multi-user interaction framework for replicated Collaborative Solid Modeling (CSM) sys...