163 search results - page 28 / 33 » Requirements Discovery during the Testing of Safety-Critical... |
SP
2002
IEEE
13 years 7 months ago
2002
IEEE
Software development is getting more and more complex, especially within distributed middleware-based environments. A major drawback during the overall software development proces...
ATAL
2005
Springer
14 years 1 months ago
2005
Springer
Context-aware information systems for mobile users have to cope with a variety of requirements in order to be able to provide an added value that goes beyond simply location-based...
SIGUCCS
2003
ACM
14 years 1 months ago
2003
ACM
After years of providing no-cost printing in its computing sites, the University of Delaware (UD) decided to move to a fee-based printing scheme for its student computing sites. T...
FOSSACS
2005
Springer
14 years 1 months ago
2005
Springer
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
ASPLOS
2010
ACM
14 years 2 months ago
2010
ACM
Computer systems often fail due to many factors such as software bugs or administrator errors. Diagnosing such production run failures is an important but challenging task since i...