1528 search results - page 139 / 306 » Performance Assertion Checking |
119
click to vote
LISP
2008
15 years 2 months ago
2008
We describe the use of a flexible meta-interpreter for performing access control checks on deductive databases. The meta-program is implemented in Prolog and takes as input a datab...
135
Voted
ECEASST
2008
15 years 2 months ago
2008
In software engineering, reliability and development time are two of the most important aspects, therefore, modeling environments, which aide both, are widely used during software ...
114
click to vote
FC
2010
Springer
15 years 1 months ago
2010
Springer
This work presents a cryptographic analysis of AN.ON’s anonymization protocols. We have discovered three flaws of differing severity. The first is caused by the fact that the ...
140
Voted
ISOLA
2010
Springer
15 years 28 days ago
2010
Springer
Abstract. This article deals with performance verifications of architecture models of real-time embedded systems. We focus on models verified with the real-time scheduling theory...
130
Voted
GPCE
2009
Springer
15 years 8 days ago
2009
Springer
Template languages are widely used within generative programming, because they provide intuitive means to generate software artefacts expressed in a specific object language. Howe...