234 search results - page 32 / 47 » A data-oriented transaction execution engine and supporting ... |
RULEML
2007
Springer
15 years 3 months ago
2007
Springer
The SWRLTab is a development environment for working with SWRL rules in Protégé-OWL. It supports the editing and execution of SWRL rules. It also provides mechanisms to allow int...
CBSE
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. This paper proposes a conceptual framework for the reliability assessment of software components that incorporates test case execution and output evaluation. Determining ...
JSAC
2011
14 years 4 months ago
2011
Abstract—Cognitive radio is a promising technology for fulfilling the spectrum and service requirements of future wireless communication systems. Real experimentation is a key f...
ICFP
2007
ACM
15 years 9 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...
82
Voted
STTT
2008
14 years 9 months ago
2008
Protos is a popular tool for business process modelling used in more than 1500 organizations. It has a built-in Petri-net-based simulation engine which shows key performance indica...