2448 search results - page 177 / 490 » The Octahedron Abstract Domain |
ICMT
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Graph transformation has a well-established theory and associated tools that can be used to perform model transformations. However, the lack of a construct to match and t...
ICWE
2009
Springer
14 years 2 months ago
2009
Springer
Model-driven engineering is a promising approach, but there are still many hurdles to overcome. The tool UWE4JSF solves the hurdles for the model-driven development of web applicat...
KI
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. SEASALT (Sharing Experience using an Agent-based System Architecture LayouT) presents an instantiation of the Collaborating Multi-Expert Systems (CoMES) approach [1]. It ...
KI
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Agents interacting in a dynamically changing spatial environment often need to access the same spatial resources. A typical example is given by moving vehicles that meet ...
DEBS
2009
ACM
14 years 2 months ago
2009
ACM
Event processing has become the paradigm of choice in many monitoring and reactive applications. However, the understanding of events, their composition and level of abstraction, ...