Sciweavers

1438 search results - page 116 / 288
» Models for Trustworthy Service and Process Oriented Systems
Sort
View
198
Voted
SIGMETRICS
2010
ACM
152views Hardware» more  SIGMETRICS 2010»
15 years 5 months ago
A fluid approximation for large-scale service systems
We introduce and analyze a deterministic fluid model that serves as an approximation for the Gt/GI/st + GI manyserver queueing model, which has a general time-varying arrival pro...
Yunan Liu, Ward Whitt
209
Voted
SAC
2010
ACM
15 years 7 months ago
Data-aware design and verification of service compositions with Reo and mCRL2
Service-based systems can be modeled as stand-alone services coordinated by external connectors. Reo is a channelbased coordination language with well-defined semantics that enabl...
Natallia Kokash, Christian Krause, Erik P. de Vink
227
Voted
RE
2001
Springer
15 years 11 months ago
Goal-Oriented Requirements Engineering: A Guided Tour
pture, at different levels of abstraction, the various objectives the system under consideration should achieve. Goal-oriented requirements engineering is concerned with the use o...
Axel van Lamsweerde
176
Voted
ISSRE
2006
IEEE
16 years 1 months ago
Queuing Models for Field Defect Resolution Process
This paper explores a novel application of queuing theory to the corrective software maintenance problem to support quantitative balancing between resources and responsiveness. In...
Swapna S. Gokhale, Robert E. Mullen
202
Voted
CIKM
2005
Springer
16 years 17 days ago
Structural features in content oriented XML retrieval
The structural features of XML components are an extra source of information that should be used in a contentoriented retrieval task on this type of documents. This paper explores...
Georgina Ramírez, Thijs Westerveld, Arjen P...