3224 search results - page 295 / 645 » On Checking Model Checkers |
165
click to vote
ICCAD
2004
IEEE
16 years 3 months ago
2004
IEEE
edicate Abstraction and Induction Edmund Clarke Daniel Kroening June 25, 2004 CMU-CS-04-131 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 It is common...
155
click to vote
SERA
2005
Springer
16 years 4 days ago
2005
Springer
The development of a family of applications in a domain can be greatly eased if patterns in the domain are systematically reused. Systematic use of such a pattern can be achieved ...
180
click to vote
ROOM
2000
15 years 8 months ago
2000
The Unified Modeling Language (UML) has been designed to be a full standard notation for Object-Oriented Modelling. UML is a rather complete set of notations, but it lacks of form...
137
click to vote
BMVC
2000
15 years 8 months ago
2000
This paper investigates the use of the Space Carving algorithm with outdoor image sequences, using a lambertian lighting model. A new consistency function is proposed that uses a ...
162
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
—Today, international mobile roaming (IMR) is experiencing changes both in terms of technology and business models. Traditionally, voice and SMS have been the only services offer...