521 search results - page 9 / 105 » Model-Driven Performance Analysis Methodology for Distribute... |
151
click to vote
ICFEM
2010
Springer
15 years 10 days ago
2010
Springer
We present an algorithm based on temporal-epistemic model checking combined with fault injection to analyse automatically the diagnosability of faults by agents in the system. We d...
124
click to vote
HICSS
2007
IEEE
15 years 8 months ago
2007
IEEE
Systems using Software Agents (or Multi-Agent Systems, MAS) are becoming more popular within the development mainstream because, as the name suggests, an Agent aims to handle task...
167
Voted
WOSP
1998
ACM
15 years 6 months ago
1998
ACM
The POEMS project is creating an environment for end-to-end performance modeling of complex parallel and distributed systems, spanning the domains of application software, runti...
110
click to vote
EUROSEC
2008
ACM
15 years 3 months ago
2008
ACM
In this paper we propose a sound methodology to perform the forensic analysis of hard disks protected with whole-disk encryption software, supposing to be in possession of the app...
100
click to vote
SERP
2003
15 years 3 months ago
2003
This paper presents an integrated set of tools for performance-oriented development of software targeted to distributed heterogeneous systems. Using these tools, software developm...