Sciweavers

1522 search results - page 82 / 305
» Control-Driven Tasks: Modeling and Analysis
Sort
View
JCIT
2007
158views more  JCIT 2007»
15 years 3 months ago
A Guidance Process for the Selection of Business Process Modelling Techniques for the Revised Business Process Reengineering
Business Process Reengineering is a reverse design process that allows for radical improvement in quality, service, cycle times, productivity and cost for a specific market or cus...
Leila Jamel Menzli, Sonia Ayachi Ghannouchi, Henda...
MEDINFO
2007
115views Healthcare» more  MEDINFO 2007»
15 years 5 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...
DSN
2007
IEEE
15 years 7 months ago
Performability Models for Multi-Server Systems with High-Variance Repair Durations
We consider cluster systems with multiple nodes where each server is prone to run tasks at a degraded level of service due to some software or hardware fault. The cluster serves t...
Hans-Peter Schwefel, Imad Antonios
GIS
2006
ACM
16 years 4 months ago
Modeling and querying uncertain spatial information for situational awareness applications
Situational awareness (SA) applications monitor the real world and the entities therein to support tasks such as rapid decision-making, reasoning, and analysis. Raw input about un...
Dmitri V. Kalashnikov, Yiming Ma, Sharad Mehrotra,...
RE
1999
Springer
15 years 8 months ago
Formal Modeling of Space Shuttle Software Change Requests using SCR
This paper describes a feasibility study into the use of a formal requirements modeling method (SCR) to assist with Independent Verification and Validation of change requests for ...
Virginie Wiels, Steve M. Easterbrook