Sciweavers

8154 search results - page 281 / 1631
» Understanding changes in use cases: A case study
Sort
View
SIGMETRICS
2008
ACM
130views Hardware» more  SIGMETRICS 2008»
15 years 6 months ago
Using probabilistic model checking in systems biology
Probabilistic model checking is a formal verification framework for systems which exhibit stochastic behaviour. It has been successfully applied to a wide range of domains, includ...
Marta Z. Kwiatkowska, Gethin Norman, David Parker
HICSS
2008
IEEE
105views Biometrics» more  HICSS 2008»
16 years 1 months ago
Understanding Knowledge-Intensive, Practice-Oriented Business Processes
In order to create new opportunities for competitive differentiation, organisations are starting to shift their focus from transactional operational Business Processes (BPs) to ot...
Olivera Marjanovic, Ravi Seethamraju
ECIS
2003
15 years 8 months ago
Work practice characteristics: a framework for understanding complex issues of groupware integration
Integrating groupware in work practices poses a range of interrelated problems comprising organisational and technological issues. These are complex issues, since they derive from...
Jens Kaaber Pors, Jesper Simonsen
ECAI
2010
Springer
15 years 4 months ago
Describing the Result of a Classifier to the End-User: Geometric-based Sensitivity
This paper addresses the issue of supporting the end-user of a classifier, when it is used as a decision support system, to classify new cases. We consider several kinds of classif...
Isabelle Alvarez, Sophie Martin, Salma Mesmoudi
JOT
2007
131views more  JOT 2007»
15 years 6 months ago
Quality of Service Contract Specification, Establishment, and Monitoring for Service Level Management
This paper describes a Quality of Service (QoS) management approach and architecture as well as a case study for Service Level Management (SLM). Our approach brings in a new persp...
Changzhou Wang, Haiqin Wang, Alice Chen, Rodolfo A...