Sciweavers

934 search results - page 42 / 187
» context 2003
Sort
View
FMCO
2003
Springer
145views Formal Methods» more  FMCO 2003»
15 years 2 months ago
Causality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling
Recently we proposed a mathematical framework offering diverse models of computation and a formal foundation for correct-byconstruction deployment of synchronous designs over dist...
Albert Benveniste, Benoît Caillaud, Luca P. ...
ISCIS
2003
Springer
15 years 2 months ago
Implementing Agent Communication for a Multi-agent Simulation Infrastructure on HLA
Abstract. Multi-agent simulation is gaining popularity due to its intuitiveness and ability in coping with domain complexity. HLA, being a distributed simulation architecture stand...
Erek Göktürk, Faruk Polat
ECIS
2003
14 years 11 months ago
Reflections on the use of grounded theory in interpretive information systems research
In Information Systems research there are a growing number of studies that must necessarily draw upon the contexts, experiences and narratives of practitioners. This calls for res...
Jim Hughes, Steven Jones
IAAI
2003
14 years 11 months ago
Qualitative Spatial Reasoning about Sketch Maps
Sketch maps are an important spatial representation used in many geospatial reasoning tasks. This paper describes techniques we have developed that enable software to perform huma...
Kenneth D. Forbus, Jeffrey M. Usher, Vernell Chapm...
ICIS
2003
14 years 11 months ago
Effects of Multimedia on Mobile Consumer Behavior: An Empirical Study of Location-Aware Advertising
Location-aware advertising is widely touted as the “killer-app” for mobile commerce to flourish. With the imminent rollout of third-generation mobile networks, advances in mul...
Lih-Bin Oh, Heng Xu