Sciweavers

925 search results - page 116 / 185
» Software Agents: Process Models and User Profiles in Distrib...
Sort
View
TASE
2009
IEEE
14 years 2 months ago
Verifying Self-stabilizing Population Protocols with Coq
Population protocols are an elegant model recently introduced for distributed algorithms running in large and unreliable networks of tiny mobile agents. Correctness proofs of such...
Yuxin Deng, Jean-François Monin
CMC
1998
Springer
13 years 12 months ago
The IntelliMedia WorkBench - An Environment for Building Multimodal Systems
Abstract. Intelligent MultiMedia (IntelliMedia) focuses on the computer processing and understanding of signal and symbol input from at least speech, text and visual images in term...
Tom Brøndsted, Paul Dalsgaard, Lars Bo Lars...
WSC
2007
13 years 10 months ago
Modeling bioterrorism preparedness with simulation in rural healthcare system
As a result of the anthrax letter incidents in 2001, concerns about terrorists’ use of biological agents have increased dramatically at government state and federal levels. The ...
Lisa Patvivatsiri, Elliot J. Montes Jr., Ouyang Xi
HICSS
2009
IEEE
134views Biometrics» more  HICSS 2009»
14 years 2 months ago
Bridging Socio-Technical Capital in an Online Learning Environment
This work is based on the premise that online learning environments can potentially help develop communities of scholars by enabling participants to discover persons and resources...
Daniel D. Suthers, Kar-Hai Chu, Samuel Joseph
LBM
2007
13 years 9 months ago
Decentralised Clinical Guidelines Modelling with Lightweight Coordination Calculus
Background: Clinical protocols and guidelines have been considered as a major means to ensure that cost-effective services are provided at the point of care. Recently, the comput...
Bo Hu, Srinandan Dasmahapatra, David Robertson, Pa...