3053 search results - page 76 / 611 » Structured Objects: Modeling and Reasoning |
136
click to vote
LOPSTR
2007
Springer
15 years 7 months ago
2007
Springer
CooML is an object-oriented modeling language where specifications are theories in a constructive logic designed to handle incomplete information. In this logic we view snapshots ...
113
click to vote
FOIKS
2006
Springer
15 years 5 months ago
2006
Springer
This paper presents a semantic foundation of temporal conceptual models used to design temporal information systems. We consider a modeling language able to express both timestampi...
109
click to vote
ICFEM
2010
Springer
15 years 3 days ago
2010
Springer
Despite the advancements of concurrency theory in the past decades, practical concurrent programming has remained a challenging activity. Fundamental problems such as data races an...
183
click to vote
CBMS
2011
IEEE
14 years 1 months ago
2011
IEEE
Medical image simulation produces virtual images from software representations of imaging devices and virtual object models representing the human body. Object models consist of t...
117
click to vote
GIS
1998
ACM
15 years 1 months ago
1998
ACM
Spatial relations are the basis for many selections users perform when they query geographic information systems (GISs). Although such query languages use natural-language-like te...