2673 search results - page 385 / 535 » Guided Static Analysis |
165
click to vote
IBPRIA
2003
Springer
15 years 10 months ago
2003
Springer
Nowadays, the surveillance and inspection of underwater installations, such as power and telecommunication cables and pipelines, is carried out by trained operators who, from the s...
153
click to vote
ICCBR
2003
Springer
15 years 10 months ago
2003
Springer
Case-based reasoning is a flexible methodology to manage software development related tasks. However, when the reasoner’s task is prediction, there are a number of different CBR ...
123
click to vote
HICSS
2002
IEEE
15 years 9 months ago
2002
IEEE
The threat of abandoned or extensively overhauled IS is a major concern for both MIS specialists and businesses. This concern may stem from the mismatch between MIS specialist cha...
140
click to vote
BPM
2009
Springer
15 years 9 months ago
2009
Springer
This report will present a collection of tools that supports the precise definition, careful analysis, and execution of processes that coordinate the actions of humans, automated d...
162
click to vote
ER
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. Conceptual models are formal descriptions of application domains that are used in early stages of system development to support requirements analysis. The Unified Modeli...