1522 search results - page 85 / 305 » Requirements analysis for large scale systems |
CC
2007
Springer
14 years 3 months ago
2007
Springer
We present a unification-based, context-sensitive escape and effect analysis that infers lightweight method summaries describing heap effects. The analysis is parameterized on two...
ICPR
2008
IEEE
14 years 10 months ago
2008
IEEE
Given a query iris image, the goal of indexing is to identify and retrieve a small subset of candidate irides from the database in order to determine a possible match. This can si...
METRICS
2002
IEEE
14 years 2 months ago
2002
IEEE
Maintaining software systems is getting more complex and difficult task, as the scale becomes larger. It is generally said that code clone is one of the factors that make softwar...
BMCBI
2010
13 years 9 months ago
2010
Background: The amount of available biological information is rapidly increasing and the focus of biological research has moved from single components to networks and even larger ...
ICDCSW
2007
IEEE
14 years 3 months ago
2007
IEEE
1 Challenges of scale have limited the development of event notification systems with strong properties, despite the urgent demand for consistency, reliability, security, and other...