2451 search results - page 169 / 491 » The Octagon Abstract Domain |
213
click to vote
JVA
2006
IEEE
16 years 1 months ago
2006
IEEE
History repeats itself. Since the invention of the programmable computer, numerous computer scientists keep dedicating their professional lives to the design of “the single, bes...
179
click to vote
ECMDAFA
2005
Springer
16 years 18 days ago
2005
Springer
Language-centric methodologies, triggered by the success of Domain Specific Languages, rely on precise specifications of modeling s. While the definition of the abstract syntax ...
186
click to vote
APSEC
2000
IEEE
15 years 11 months ago
2000
IEEE
of modelling abstractions to map from items in the real-world to objects in the computational domain is oth for the effective implementation of abstract problem solutions and for ...
221
click to vote
FMICS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We present experiences from a case study where a model-based approach to black-box testing is applied to verify that a Wireless Application Protocol (WAP) gateway conform...
155
click to vote
AIPS
2008
15 years 9 months ago
2008
The heuristics used for planning and search often take the pattern databases generated from abstracted versions of the given state space. Pattern databases are typically stored p ...