Sciweavers

1867 search results - page 82 / 374
» Math-Net, a model for information and communication systems ...
Sort
View
HICSS
2008
IEEE
168views Biometrics» more  HICSS 2008»
14 years 3 months ago
Current Practices in Field Force Automation: Decision Support and Information Management for the Field Force
In the past, field operations have mostly been a stepchild of information and communication technology (ICT) enabled organizational overhaul and process re-design. Recently, incre...
Gwen Trentham, Hans Jochen Scholl
FM
2009
Springer
104views Formal Methods» more  FM 2009»
14 years 3 months ago
Verifying Information Flow Control over Unbounded Processes
Abstract. Decentralized Information Flow Control (DIFC) systems enable programmers to express a desired DIFC policy, and to have the policy enforced via a reference monitor that re...
William R. Harris, Nicholas Kidd, Sagar Chaki, Som...
ATAL
2010
Springer
13 years 10 months ago
Establishing spatially targeted communication in a heterogeneous robot swarm
We consider a heterogeneous swarm consisting of aerial and wheeled robots. We present a system that enables spatially targeted communication. Our system enables aerial robots to e...
Nithin Mathews, Anders Lyhne Christensen, Eliseo F...
HICSS
2008
IEEE
147views Biometrics» more  HICSS 2008»
14 years 3 months ago
Exploring Barriers to Innovation Diffusion in Health Care Service Organizations: An Issue for Effective Integration of Service A
- This study explores the diffusion of innovations in health care service organizations. The importance of the diffusion arises from the direct effect of innovations on the quality...
Tugrul U. Daim, R. Tarcan Tarman, Nuri Basoglu
MIDDLEWARE
2004
Springer
14 years 2 months ago
A context-aware middleware for applications in mobile Ad Hoc environments
Novel ubiquitous computing applications such as intelligent vehicles, smart buildings, and traffic management require special properties that traditional computing applications d...
Carl-Fredrik Sørensen, Maomao Wu, Thirunavu...