1761 search results - page 46 / 353 » Performance Evaluation : = (Process Algebra Model Checking... |
ECBS
2007
IEEE
14 years 27 days ago
2007
IEEE
We present in this paper a new approach for the automatic verification and performance analysis of SysML activity diagrams. Since timeliness is important in the design and analysi...
CN
2004
13 years 8 months ago
2004
Differentiated services (DiffServ) is an architecture for the Internet in which various applications are supported using a simple classification scheme. Packets entering the DiffS...
DAMON
2007
Springer
14 years 3 months ago
2007
Springer
We propose a general framework for improving the query processing performance on multi-level memory hierarchies. Our motivation is that (1) the memory hierarchy is an important pe...
MONTEREY
2007
Springer
14 years 3 months ago
2007
Springer
In this paper, we describe an approach to formally assess whether an organization conforms to a body of regulation. Conformance is cast as a model checking question where the regul...
ISSAC
2001
Springer
14 years 1 months ago
2001
Springer
The following questions are often encountered in system and control theory. Given an algebraic model of a physical process, which variables can be, in theory, deduced from the inp...