12272 search results - page 1885 / 2455 » Experimental program analysis |
207
click to vote
KDD
2004
ACM
16 years 14 days ago
2004
ACM
This paper describes a logical extension to Microsoft Business Framework (MBF) called Analytical View (AV). AV consists of three components: Model Service for design time, Busines...
185
click to vote
NSPW
2003
ACM
16 years 11 days ago
2003
ACM
The ability to analyze and modify binaries is often very useful from a security viewpoint. Security operations one would like to perform on binaries include the ability to extract...
192
click to vote
SOFTVIS
2003
ACM
16 years 11 days ago
2003
ACM
Analysis and design of programs by using tools has emerged to a standard technique in object-oriented software engineering. Many of these tools claim to implement methods accordin...
201
click to vote
CCS
2003
ACM
16 years 10 days ago
2003
ACM
This paper describes a system and annotation language, MECA, for checking security rules. MECA is expressive and designed for checking real systems. It provides a variety of pract...
191
click to vote
WIA
2001
Springer
15 years 11 months ago
2001
Springer
This article describes a finite-state cascade for the extraction of person names in texts in French. We extract these proper names in order to categorize and to cluster texts with...