Sciweavers

4434 search results - page 767 / 887
» On the Composition of Hybrid Systems
Sort
View
MIDDLEWARE
2009
Springer
16 years 29 days ago
PAQ: Persistent Adaptive Query Middleware for Dynamic Environments
Abstract. Pervasive computing applications often entail continuous monitoring tasks, issuing persistent queries that return continuously updated views of the operational environmen...
Vasanth Rajamani, Christine Julien, Jamie Payton, ...
HICSS
2008
IEEE
113views Biometrics» more  HICSS 2008»
16 years 27 days ago
A Cross-Cultural Comparison of Perceived Strategic Importance of RFID for CIOs in Germany and Italy
Purpose: Drawing from literature on innovation, strategy and culture the objective of this study is to explore the role of perceived potentials and perceived strategic importance ...
Stefanie Jahner, Jan Marco Leimeister, Uta Franzis...
QEST
2008
IEEE
16 years 24 days ago
Hintikka Games for PCTL on Labeled Markov Chains
We present Hintikka games for formulae of the probabilistic temporal logic PCTL and countable labeled Markov chains as models, giving an operational account of the denotational se...
Harald Fecher, Michael Huth, Nir Piterman, Daniel ...
HICSS
2007
IEEE
146views Biometrics» more  HICSS 2007»
16 years 23 days ago
Interactive Community Bulletin Boards as Conversational Hubs and Sites for Playful Visual Repartee
In this paper we describe an interactive community bulletin board we installed within a neighborhood café and art gallery, and the interactions that take place around and through...
Elizabeth F. Churchill, Les Nelson
HICSS
2007
IEEE
124views Biometrics» more  HICSS 2007»
16 years 23 days ago
POSAML: A Visual Modeling Framework for Middleware Provisioning
Effective provisioning of next generation distributed applications hosted on diverse middleware platforms incurs significant challenges due to the applications’ growing complex...
Dimple Kaul, Arundhati Kogekar, Aniruddha S. Gokha...