1761 search results - page 22 / 353 » Performance Evaluation : = (Process Algebra Model Checking... |
159
click to vote
MSS
1999
IEEE
15 years 9 months ago
1999
IEEE
Benchmark tests have been designed and conducted for the purpose of evaluating the use of automated tape libraries in on-line digital check image retrieval applications. This type...
123
click to vote
IPPS
2010
IEEE
15 years 2 months ago
2010
IEEE
This paper is the first extensive performance study of a recently proposed parallel programming model, called Concurrent Collections (CnC). In CnC, the programmer expresses her co...
179
click to vote
BDA
2004
15 years 6 months ago
2004
XQuery is the emerging standard for querying XML data sources. XLive is a light XML/XQuery mediator developed at University of Versailles whose engine processes an XML algebra der...
158
click to vote
CCS
2007
ACM
15 years 11 months ago
2007
ACM
A high-level security policy states an overall safety requirement for a sensitive task. One example of a high-level security policy is a separation of duty policy, which requires ...
126
click to vote
QEST
2008
IEEE
15 years 11 months ago
2008
IEEE
The UML profile for Modeling and Analysis of Real Time and Embedded systems (MARTE) provides a powerful, standardised framework for the specification of non-functional propertie...