2448 search results - page 114 / 490 » The Octahedron Abstract Domain |
JITE
2006
13 years 8 months ago
2006
learning abstract computer concepts. In addition, visualization helps novices construct a mental model of concepts, which is pivotal to further comprehension and understanding. Sec...
TASE
2007
IEEE
14 years 2 months ago
2007
IEEE
The design and implementation of complex software systems ly spans multiple levels of abstractions. The concepts of el of abstractions and their interplay are represented by forma...
KI
2007
Springer
14 years 2 months ago
2007
Springer
Readylog is a logic-based agent programming language and combines many important features from other Golog dialects. One of the features of Readylog is to make use of decision-theo...
SAS
2007
Springer
14 years 2 months ago
2007
Springer
In static analysis, the semantics of the program is expressed as a set ions. The equations are solved iteratively over some abstract domain. If ract domain is distributive and sati...
CAISE
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Ontologies play a relevant role to support service matchmaking in the discovery process. In fact, the elements used for service capability description refer to concepts t...