5434 search results - page 392 / 1087 » Tool support for MOLA |
148
click to vote
BPM
2006
Springer
15 years 10 months ago
2006
Springer
Bearing in mind the changeable and complicated needs of business environment, in this paper we examine the necessity of evolution in the traditional decision support techniques. Ou...
176
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
Static function hierarchies and models of the dynamic behaviour are typically used in e-commerce systems. Issues to be verifies are the completeness and correctness of the static f...
145
click to vote
DGO
2003
15 years 8 months ago
2003
The goal of the GovStat Project is to create an integrated model that facilitates access and use of U.S. government statistical information. The vocabulary support team within the...
145
click to vote
JAIR
2006
15 years 6 months ago
2006
In recent years, CP-nets have emerged as a useful tool for supporting preference elicitation, reasoning, and representation. CP-nets capture and support reasoning with qualitative...
247
click to vote
PLDI
2003
ACM
16 years 4 days ago
2003
ACM
This paper presents a static analysis tool that can automatically find memory leaks and deletions of dangling pointers in large C and C++ applications. We have developed a type s...