Sciweavers

5252 search results - page 324 / 1051
» Requirements engineering: a roadmap
Sort
View
ISORC
2008
IEEE
16 years 1 months ago
Efficient Resource Management for Game Server Hosting
This paper describes work to ease the resource allocation problem in the domain of game server hosting. A solution was sought that required no alteration to game server code and w...
Dan Martin, Aad P. A. van Moorsel, Graham Morgan
ISPDC
2008
IEEE
16 years 1 months ago
InDiGO: An Infrastructure for Optimization of Distributed Algorithms
ACT OF A DISSERTATION submitted in partial fulfillment of the requirements for the degree DOCTOR OF PHILOSOPHY Department of Computing and Information Sciences College of Engineer...
Valeriy Kolesnikov, Gurdip Singh
ISSTA
2006
ACM
16 years 23 days ago
Using model checking with symbolic execution to verify parallel numerical programs
We present a method to verify the correctness of parallel programs that perform complex numerical computations, including computations involving floating-point arithmetic. The me...
Stephen F. Siegel, Anastasia Mironova, George S. A...
SIGDOC
2006
ACM
16 years 23 days ago
Workshop: communicating design patterns with TRIZ
This work will present elements of Genrich Altshuller’s Theory of Inventive Problem Solving, also known as TRIZ, and use them to describe the structural patterns found in the Ga...
John W. Stamey Jr., Ellen Domb
CAISE
2005
Springer
16 years 10 days ago
System Ontology and its role in Software Development
The research reported upon in this paper aims at reducing errors in both the requirements engineering and the system specification phase of software development, by means of system...
Jan L. G. Dietz