2478 search results - page 38 / 496 » Quadtrees as an Abstract Domain |
TFM
2009
Springer
14 years 2 months ago
2009
Springer
action and Modelling - a complementary partnership” 10h30 – 11h 00 Coffee break 11h-12h30 Session 1 “Model Transformation: Foundations” Algebraic models for bidirectional m...
PERCOM
2009
ACM
14 years 8 months ago
2009
ACM
Abstract--We propose an extension to the event-based programming model for sensor-driven ubiquitous computing applications. The extension consists of three abstractions: MultiEvent...
ECTEL
2007
Springer
14 years 2 months ago
2007
Springer
—This paper presents a semiautomatic framework that aims to produce domain concept maps from text and then to derive domain ontologies from these concept maps. This methodology p...
FOSSACS
1998
Springer
14 years 4 days ago
1998
Springer
Abstract. Domain theory began in an attempt to provide mathematical models for high-level programming languages, an area where it has proved to be particularly useful. It is perhap...
TSMC
2008
13 years 7 months ago
2008
Abstract--This paper presents a work domain analysis of damage control on the Canadian Halifax Class frigate. Our analysis made use of the modeling construct of object worlds to he...