21430 search results - page 367 / 4286 » Abstract Effective Models |
208
click to vote
NFM
2011
15 years 1 months ago
2011
Abstract. We present a new open source model checker, opaal, for automatic verification of models using lattice automata. Lattice automata allow the users to incorporate abstracti...
181
Voted
CGI
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract. In this paper we argue for our NPAR system as an effective 2D alternative to most of NPR research which is focused on frame coherent stylised rendering of 3D models. Our ...
211
click to vote
EUMAS
2006
15 years 8 months ago
2006
Current IT application domains such as web services and autonomic computing call for highly flexible systems, able to automatically adapt to changing operational environments as w...
162
click to vote
TACAS
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. Model checking suffers not only from the state-space explosion problem, but also from the environment modeling problem: how can one create an accurate enough model of the...
170
click to vote
ADAEUROPE
2007
Springer
16 years 27 days ago
2007
Springer
When developing concurrent software, a proper engineering practice is to choose a good level of abstraction for expressing concurrency control. Ideally, this level should provide p...