368 search results - page 31 / 74 » Compositional performance modelling with the TIPPtool |
APSEC
2010
IEEE
14 years 4 months ago
2010
IEEE
Organizations are adopting multiple best practices models to improve overall performance. Their objective is to capture the cumulative added value of each model into one single env...
GI
2009
Springer
15 years 2 months ago
2009
Springer
: We present an extension of the programming-by-contract (PBC) paradigm to a concurrent and distributed environment. Classical PBC is characterized by absolute conformance of code ...
HPDC
1996
IEEE
15 years 1 months ago
1996
IEEE
This document describes the core Legion object model. The model specifies the composition and functionality of Legion's core objects--those objects that cooperate to create, ...
KBSE
1999
IEEE
15 years 2 months ago
1999
IEEE
This paper describes the application of advanced formal modelling techniques and tools from the CADP toolset to the verification of CFS, a distributed file system kernel. After a ...
EUROS
2008
14 years 11 months ago
2008
This paper presents an approach to create POMDP models, used for decision making by an autonomous service robot, from background knowledge. This allows the power of POMDP decision ...