16190 search results - page 121 / 3238 » Applicative programming with effects |
MSE
1999
IEEE
14 years 2 months ago
1999
IEEE
This paper summarizes the background and history leading to the development, adoption, and implementation of ABET's Engineering Criteria 2000 (EC2000). A sampling of program ...
SAC
2011
ACM
13 years 1 months ago
2011
ACM
Regression testing is often performed with a time budget and it does not allow executing all test cases. Test case prioritization techniques re-order test cases to increase the ra...
ISW
2010
Springer
13 years 8 months ago
2010
Springer
Computer malwares (e.g., botnets, rootkits, spware) are one of the most serious threats to all computers and networks. Most malwares conduct their malicious actions via hijacking t...
WOA
2003
13 years 11 months ago
2003
Abstract— This paper focuses on large-scale distributed systems that can be modeled as workflows of activities sharing resources, knowledge, know-how and services. We propose a ...
POPL
2009
ACM
14 years 11 months ago
2009
ACM
We present a proof calculus and method for the static verification of assertions and procedure specifications in shared-memory concurrent programs. The key idea in our approach is...