Sciweavers

6167 search results - page 279 / 1234
» Can Refinement be Automated
Sort
View
190
Voted
WSC
2008
15 years 9 months ago
A simulation based scheduling model for call centers with uncertain arrival rates
In this paper we develop a two stage algorithm for scheduling call centers with strict SLAs and arrival rate uncertainty. The first cut schedule can be developed in less than a mi...
Thomas R. Robbins, Terry P. Harrison
173
Voted
DGO
2008
99views Education» more  DGO 2008»
15 years 9 months ago
Specifying and verifying requirements for election processes
In this paper we outline an approach for modeling election processes and then performing rigorous analysis to verify that these process models meet selected behavioral requirement...
Borislava I. Simidchieva, Matthew Marzilli, Lori A...
LREC
2008
170views Education» more  LREC 2008»
15 years 9 months ago
A Semantic Memory for Incremental Ontology Population
Generally, ontology learning and population is applied as a semi-automatic approach to knowledge acquisition in natural language understanding systems. That means, after the ontol...
Berenike Loos, Lasse Schwarten
CASCON
2006
96views Education» more  CASCON 2006»
15 years 8 months ago
Addressing concurrency in object-oriented software development
E-business software systems are typically incorporated in complex concurrent and interacting business activities. Understanding the concurrent and interactive demands of the enviro...
Jörg Kienzle, Shane Sendall
SOQUA
2004
15 years 8 months ago
Scenario-based Component Testing Using Embedded Metadata
We present an approach for the use case and scenario-based testing of software components. Use cases and scenarios are applied to describe the functional requirements of a software...
Mark Strembeck, Uwe Zdun