805 search results - page 72 / 161 » Semantic Modeling of Places using Objects |
114
click to vote
MODELS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract We have previously proposed an expressive UML-based language for constructing and transforming security-design models, which are models that combine design specifications...
133
click to vote
FUIN
2006
15 years 3 months ago
2006
Abstract. This paper describes an attempt to combine theorem proving and model-checking to formally verify real-time systems in a discrete time setting. The Timed Automata Modeling...
169
click to vote
TAMOCO
2008
15 years 5 months ago
2008
Since years the market of mobile navigation systems is growing enormously. Within this paper the goals and first results of the joint project "Mobile Navigation with 3D City ...
112
click to vote
SIGSOFT
2005
ACM
16 years 4 months ago
2005
ACM
Previous work has proven typestates to be useful for modeling protocols in object-oriented languages. We build on this work by addressing substitutability of subtypes as well as i...
139
click to vote
IJAOSE
2010
15 years 2 months ago
2010
CASO is an agent-oriented programming language based on AgentSpeak(L), one of the most influential abstract languages based on the BDI (Beliefs-Desires-Intentions) architecture. ...