11 search results - page 2 / 3 » Tool supported detection and judgment of nonconformance in p... |
SIGMOD
2007
ACM
14 years 6 months ago
2007
ACM
Optimizing SQL subqueries has been an active area in database research and the database industry throughout the last decades. Previous work has already identified some approaches ...
OTM
2007
Springer
14 years 12 days ago
2007
Springer
Semantic Business Process Management (SBPM) has been proposed as an extension of BPM with Semantic Web and Semantic Web Services (SWS) technologies in order to increase and enhance...
ISW
2007
Springer
14 years 13 days ago
2007
Springer
Malware analysis is the process of determining the behavior and purpose of a given malware sample (such as a virus, worm, or Trojan horse). This process is a necessary step to be a...
ICFP
2007
ACM
14 years 6 months ago
2007
ACM
We present a model checker for verifying distributed programs written in the Erlang programming language. Providing a model checker for Erlang is especially rewarding since the la...
VEE
2012
ACM
12 years 1 months ago
2012
ACM
In software for embedded systems, the frequent use of interrupts for timing, sensing, and I/O processing can cause concurrency faults to occur due to interactions between applicat...