1342 search results - page 186 / 269 » MEMS Design And Verification |
163
click to vote
BPM
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Mainstream workflow management systems are using procedural languages ranging from BPMN and EPCs to BPEL and YAWL. By demonstrating DECLARE, we will show that it is also ...
182
click to vote
JTRES
2010
ACM
15 years 6 months ago
2010
ACM
The Safety Critical Java Specification intends to support the development of programs that must be certified. The specification includes a number of annotations used to constrain ...
123
click to vote
CCS
2010
ACM
15 years 6 months ago
2010
ACM
Provable data possession is a technique for ensuring the integrity of data in outsourcing storage service. In this paper, we propose a cooperative provable data possession scheme ...
146
click to vote
SIGCOMM
2010
ACM
15 years 6 months ago
2010
ACM
Abstract-- In this paper, we explore the efficacy of curbside acoustic sensing to estimate road traffic conditions. We formulated a set of hypotheses which attempted to correlate t...
177
click to vote
AAECC
2010
Springer
15 years 6 months ago
2010
Springer
Abstract Narrowing extends rewriting with logic capabilities by allowing logic variables in terms and by replacing matching with unification. Narrowing has been widely used in diff...