Sciweavers

1940 search results - page 204 / 388
» Dependable Software: An Oxymoron
Sort
View
RE
2004
Springer
15 years 12 months ago
Understanding Requirements in Enterprise Systems Projects
Due to the generality and complexity of enterprise systems, they are challenging to implement and deploy successfully in organizations. Many of these problems are rooted in the wa...
Jon Atle Gulla
WER
2004
Springer
15 years 11 months ago
Taxonomic Ontology Alignment - an Implementation
With the evolution of the Web evolving towards the Semantic Web, where the information should be presented in a meaningful way for both humans and machines, arises the need for sem...
Carolina Howard Felicíssimo, Karin Koogan B...
ICSM
2003
IEEE
15 years 11 months ago
Safe Upgrading without Restarting
The distributed development and maintenance paradigm for component delivery is fraught with problems. One wants a relationship between developers and clients that is autonomous an...
Miles Barr, Susan Eisenbach
SCAM
2003
IEEE
15 years 11 months ago
Improving the Static Analysis of Loops by Dynamic Partitioning Techniques
Many static analyses aim at assigning to each control point of a program an invariant property that characterizes any state of a trace corresponding to this point. The choice of t...
Matthieu Martel
AC
2003
Springer
15 years 11 months ago
Generic Haskell: Applications
Generic Haskell is an extension of Haskell that supports the construction of generic programs. These lecture notes discuss three advanced generic programming applications: generic ...
Ralf Hinze, Johan Jeuring