2448 search results - page 352 / 490 » The Octahedron Abstract Domain |
MODELS
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. Alloy is a formal language, which has been applied to modelling of systems in a wide range of application domains. It is supported by Alloy Analyzer, a tool, which allows...
MODELS
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. This paper describes our experiences in defining the processes associated with preparing and administrating chemotherapy and then using those process definitions as the b...
MSN
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. Gossiping is a lightweight and simple technique for information dissemination in many application domains, be it in Wireless Sensor Networks (WSNs), Mobile Ad-hoc Network...
OTM
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. In the engineering domain, the development of complex products (e.g., cars) necessitates the coordination of thousands of (sub-)processes. One of the biggest challenges f...
OTM
2007
Springer
14 years 4 months ago
2007
Springer
Abstract: This paper proposes extensions to the Object-Role Modeling approach to support schema transformations that eliminate unneeded columns that may arise from standard relatio...