439 search results - page 82 / 88 » On Aperiodic Trace Languages |
WECWIS
2007
IEEE
14 years 1 months ago
2007
IEEE
Business Process Execution Language (BPEL) is an XML-based language for specifying services. There have been numerous recent research and development efforts in both statically an...
ASPLOS
2006
ACM
14 years 1 months ago
2006
ACM
Worms, viruses, and other malware can be ticking bombs counting down to a specific time, when they might, for example, delete files or download new instructions from a public we...
PLDI
2005
ACM
14 years 1 months ago
2005
ACM
We present a statistical debugging algorithm that isolates bugs in programs containing multiple undiagnosed bugs. Earlier statistical algorithms that focus solely on identifying p...
ASPLOS
2004
ACM
14 years 27 days ago
2004
ACM
Sampling has been successfully used to identify performance optimization opportunities. We would like to apply similar techniques to check program correctness. Unfortunately, samp...
MOZ
2004
Springer
14 years 24 days ago
2004
Springer
Common programming practice grants excess authority for the sake of functionality; programming principles require least authority for the sake of security. If we practice our princ...