141 search results - page 12 / 29 » A dynamic evaluation of the precision of static heap abstrac... |
110
click to vote
TOOLS
2000
IEEE
15 years 4 months ago
2000
IEEE
UML is widely used today for modelling complex systems. However, the tools support capabilities for UML is limited, partially due to its lack of precise semantics. There are some ...
96
Voted
CORR
2002
Springer
14 years 11 months ago
2002
Springer
for data abstraction and justifies reasoning by simulation. Representation independence has been shown for a variety of languages and constructs but not for shared references to mu...
116
click to vote
UML
2000
Springer
15 years 3 months ago
2000
Springer
The UML's Object Constraint Language provides the modeller of object-oriented systems with ways to express the semantics of a model in a precise and declarative manner. The co...
104
click to vote
AIMSA
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. Constraint Satisfaction has been widely used to model static combinatorial problems. However, many AI problems are dynamic and take place in a distributed environment, i....
114
click to vote
APSCC
2010
IEEE
14 years 9 months ago
2010
IEEE
Abstract--The proliferation of Data as a Service (DaaS) available on the Internet and offered by cloud service providers indicates an increasing trend in providing data under Web s...