15635 search results - page 260 / 3127 » Modelling and Design of VAML |
189
click to vote
SAC
2003
ACM
15 years 11 months ago
2003
ACM
Adaptive web sites are sites that automatically improve their internal organization and/or presentation by observing userbrowsing behavior. In this paper we argue that adaptive be...
149
click to vote
ITRUST
2005
Springer
16 years 53 min ago
2005
Springer
ST-Tool is a graphical tool integrating an agent-oriented requirements engineering methodology with tools for the formal analysis of models. Essentially, the tool allows designers ...
265
click to vote
ECOOP
2005
Springer
16 years 1 days ago
2005
Springer
Software modeling has received a lot a of attention in the last decade and now is an important support for the design process. Actually, the design process is very important to the...
200
click to vote
SPATIALCOGNITION
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In this paper we apply a formal ontological framework in order to deconstruct two prominent approaches to navigation from cognitive robotics, the Spatial Semantic Hierarc...
219
click to vote
CANDC
2009
ACM
15 years 4 months ago
2009
ACM
Supporting users' reasoned imagination in sense making during interaction with tangible and embedded computation involves supporting the application of their existing mental ...