1078 search results - page 148 / 216 » Modelling and Verifying of e-Commerce Systems |
140
click to vote
ASPDAC
2007
ACM
15 years 8 months ago
2007
ACM
The development cost of low-power embedded systems can be significantly reduced by reusing legacy designs and applying proper modifications to meet the new power constraints. The ...
140
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
The safety of infinite state systems can be checked by a backward reachability procedure. For certain classes of systems, it is possible to prove the termination of the procedure ...
150
click to vote
SEMWEB
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We present a method for rapid development of benchmarks for Semantic Web knowledge base systems. At the core, we have a synthetic data generation approach for OWL that is...
156
click to vote
DEBS
2008
ACM
15 years 6 months ago
2008
ACM
Several new Complex Event Processing (CEP) engines have been recently released, many of which are intended to be used in performance sensitive scenarios - like fraud detection, tr...
133
click to vote
IEEESP
2007
15 years 4 months ago
2007
igh level of abstraction and to provide broad oversight. In contrast, the goal of computer science security education is to provide the technicalexpertisetodevelopsecure software a...