Sciweavers

8492 search results - page 76 / 1699
» Modelling and Design of Multi-Agent Systems
Sort
View
ACMDIS
2004
ACM
15 years 11 months ago
Privacy risk models for designing privacy-sensitive ubiquitous computing systems
Privacy is a difficult design issue that is becoming increasingly important as we push into ubiquitous computing environments. While there is a fair amount of theoretical work on ...
Jason I. Hong, Jennifer D. Ng, Scott Lederer, Jame...
MEDINFO
2007
115views Healthcare» more  MEDINFO 2007»
15 years 7 months ago
Using an Accident Model to Design Safe Electronic Medication Management Systems
Large-scale implementation of electronic prescribing systems (e-PS) is likely to introduce at least some machinerelated errors that will harm patients. We present a dynamic system...
Farah Magrabi, Geoff McDonnell, Johanna I. Westbro...
SOFSEM
2007
Springer
16 years 11 days ago
Games, Time, and Probability: Graph Models for System Design and Analysis
Digital technology is increasingly deployed in safety-critical situations. This calls for systematic design and verification methodologies that can cope with three major sources o...
Thomas A. Henzinger
CAISE
2006
Springer
15 years 8 months ago
A Task-Driven Design Model for Collaborative AmI Systems
Abstract. Ambient intelligence (AmI) is a promising paradigm for humancentred interaction based on mobile and context-aware computing, natural interfaces and collaborative work. AM...
Roberto F. Arroyo, Miguel Gea, José Luis Ga...
HYBRID
1994
Springer
15 years 10 months ago
DEVS Framework for Modelling, Simulation, Analysis, and Design of Hybrid Systems
We make the case that Discrete Event System Speci cation DEVS is a universal formalismfor discrete event dynamical systems DEDS. DEVS o ers an expressive framework for modelling, ...
Bernard P. Zeigler, Hae Sang Song, Tag Gon Kim, He...