2509 search results - page 192 / 502 » Abstract Geometrical Computation and Computable Analysis |
169
click to vote
FPCA
1995
15 years 10 months ago
1995
This paper discusses the derivation of functional programs for grammar analysis problems, such as the Empty problem and the Reachable problem. Grammar analysis problems can be div...
184
click to vote
FOCI
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract-- The dual notions of discernibility and indiscernibility play an important role in intelligent data analysis. While discernibility focuses on the differences, the indisce...
198
click to vote
ECOOPW
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Software security has become more important than ever. Unfortunately, still now, the security of a software system is almost always retrofitted to an afterthought. When s...
206
click to vote
EDOC
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract-- Analysis of workflows in terms of structural correctness is important for ensuring the quality of workflow models. Typically, this analysis is only one step in a larger ...
191
click to vote
RAID
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Malware attacks necessitate extensive forensic analysis efforts that are manual-labor intensive because of the analysis-resistance techniques that malware authors employ....