6960 search results - page 445 / 1392 » Continuity Analysis of Programs |
135
Voted
SIMUTOOLS
2008
15 years 6 months ago
2008
Model checking is a suitable formal technique to analyze parallel programs' execution in an industrial context because automated tools can be designed and operated with very ...
127
Voted
USS
2004
15 years 6 months ago
2004
Many host-based anomaly detection systems monitor a process ostensibly running a known program by observing the system calls the process makes. Numerous improvements to the precis...
156
click to vote
WCE
2007
15 years 6 months ago
2007
— Software testing is a perennial problem, consequently it scores scant attention. An inclusion to testing challenges is aspect-oriented paradigm, which has a dichotomy of core a...
154
Voted
CORR
2006
Springer
15 years 5 months ago
2006
Springer
In this paper, we present our proposal to Constraint Functional Logic Programming over Finite Domains (CFLP(FD) ) with a lazy functional logic programming language which seamlessl...
192
click to vote
CL
1999
Springer
15 years 4 months ago
1999
Springer
Van Emden's incremental queries address the inadequacy of current Prolog-style querying mechanism in most logic programming systems for interactive problem-solving. In the co...