Sciweavers

1367 search results - page 110 / 274
» Describing Business Processes with Use Cases
Sort
View
TSE
1998
131views more  TSE 1998»
15 years 4 months ago
Experiences Using Lightweight Formal Methods for Requirements Modeling
—This paper describes three case studies in the lightweight application of formal methods to requirements modeling for spacecraft fault protection systems. The case studies diffe...
Steve M. Easterbrook, Robyn R. Lutz, Richard Covin...
IJSS
2007
82views more  IJSS 2007»
15 years 4 months ago
A holistic method for finding out critical features of industry maintenance services
— The purpose of this case study is to create a competitive operative management system for efficiency and quality performance for a company running maintenance service business ...
Juha-Matti Ranta, Josu Takala
HPDC
2000
IEEE
15 years 9 months ago
Evaluation of Task Assignment Policies for Supercomputing Servers: The Case for Load Unbalancing and Fairness
While the MPP is still the most common architecture in supercomputer centers today, a simpler and cheaper machine configuration is growing increasingly common. This alternative s...
Bianca Schroeder, Mor Harchol-Balter
175
Voted
ECOWS
2007
Springer
15 years 8 months ago
A Dynamic Reconfigurable Web Service Composition Framework Using Reo Coordination Language
Web services are self-contained, modular units of application logic which provide business functionality to other applications via Internet connections. Several models have been u...
Soheil Saifipoor, Behrouz Tork Ladani, Naser Nemat...
ANSS
2008
IEEE
15 years 11 months ago
Executable Protocol Models as a Requirements Engineering Tool
Functional prototypes and simulations are a well recognised and valued tool for building a shared understanding of requirements between users and developers. However, the developm...
Ashley T. McNeile, Ella E. Roubtsova