2702 search results - page 12 / 541 » Practically Applicable Formal Methods |
FOIKS
2010
Springer
14 years 7 months ago
2010
Springer
This paper holds on the application of two classification methods based on formal concept analysis (FCA) to interval data. The first method uses a similarity between objects while ...
107
click to vote
IFIP
2007
Springer
15 years 3 months ago
2007
Springer
In global software development (GSD) projects, distributed teams collaborate to deliver high-quality software. Project managers need to control these development projects, which in...
115
click to vote
AOSD
2009
ACM
15 years 1 months ago
2009
ACM
Some security concerns are sensitive to flow of information in a program execution. The dataflow pointcut has been proposed by Masuhara and Kawauchi in order to easily implement s...
117
click to vote
PLDI
2003
ACM
15 years 2 months 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...
79
Voted
HICSS
2005
IEEE
15 years 3 months ago
2005
IEEE
Abstract— The Topic Detection and Tracking (TDT) research community investigates information retrieval methods for organizing a constantly arriving stream of news articles by the...