4924 search results - page 175 / 985 » A Software System for Spatial Data Analysis and Modeling |
137
Voted
SIGSOFT
2009
ACM
16 years 4 months ago
2009
ACM
System specifications have long been expressed through automata-based languages, enabling verification techniques such as model checking. These verification techniques can assess ...
119
click to vote
PRDC
2009
IEEE
15 years 10 months ago
2009
IEEE
—Fault injection (FI) has been shown to be an effective approach to assessing the dependability of software systems. To determine the impact of faults injected during FI, a given...
138
Voted
CLEIEJ
2002
15 years 3 months ago
2002
Function Point Analysis (FPA) is among the most commonly used techniques to estimate the size of software system projects or software systems. During the point counting process th...
165
click to vote
AC
2005
Springer
15 years 3 months ago
2005
Springer
Reducing power consumption has become a major challenge in the design and operation of today's computer systems. This chapter describes different techniques addressing this c...
120
Voted
TACAS
2007
Springer
15 years 10 months ago
2007
Springer
Reasoning about heap-allocated data structures such as linked lists and arrays is challenging. The reachability predicate has proved to be useful for reasoning about the heap in ty...