6201 search results - page 1129 / 1241 » Implementation of Axiomatic Language |
240
click to vote
OOPSLA
2009
Springer
15 years 11 months ago
2009
Springer
An object diagram makes explicit the object structures that are only implicit in a class diagram. An object diagram may be missing and must extracted from the code. Alternatively,...
170
click to vote
SEMWEB
2009
Springer
15 years 11 months ago
2009
Springer
The Ontology Definition Metamodel (ODM) defines a set of UML metamodels and profiles for development of RDF and OWL. The UML profiles in the ODM specification adapt UML notations t...
184
click to vote
TABLEAUX
2009
Springer
15 years 11 months ago
2009
Springer
Situation Awareness (SA) is the problem of comprehending elements of an environment within a volume of time and space. It is a crucial factor in decision-making in dynamic environm...
173
click to vote
APLAS
2009
ACM
15 years 11 months ago
2009
ACM
Abstract. Context-sensitive points-to analysis is critical for several program optimizations. However, as the number of contexts grows exponentially, storage requirements for the a...
132
click to vote
ISSTA
2009
ACM
15 years 11 months ago
2009
ACM
Many automatic testing, analysis, and verification techniques for programs can be effectively reduced to a constraint-generation phase followed by a constraint-solving phase. Th...