Sciweavers

5689 search results - page 61 / 1138
» A Performance Process Maturity Model
Sort
View
139
Voted
LCTRTS
2010
Springer
15 years 9 months ago
Modeling structured event streams in system level performance analysis
This paper extends the methodology of analytic real-time analysis of distributed embedded systems towards merging and extracting sub-streams based on event type information. For e...
Simon Perathoner, Tobias Rein, Lothar Thiele, Kai ...
105
Voted
AOSE
2007
Springer
15 years 8 months ago
Developing a Multiagent Conference Management System Using the O-MaSE Process Framework
This paper describes how the Organization-based Multiagent Systems Engineering (O-MaSE) methodology can be applied to an exemplar multiagent system, the Conference Management Syste...
Scott A. DeLoach
DGO
2008
99views Education» more  DGO 2008»
15 years 4 months ago
Specifying and verifying requirements for election processes
In this paper we outline an approach for modeling election processes and then performing rigorous analysis to verify that these process models meet selected behavioral requirement...
Borislava I. Simidchieva, Matthew Marzilli, Lori A...
142
Voted
PDPTA
1996
15 years 3 months ago
Document Retrieval Performance on Parallel Systems
The problem of eciently retrieving and ranking documents from a huge collection according to their relevance to a research topic is addressed. A broad class of queries is de ned a...
David Hawking
ARTS
1999
Springer
15 years 6 months ago
Specifying Performance Measures for PEPA
Stochastic process algebras such as PEPA provide ample support for the component-based construction of models. Tools compute the numerical solution of these models; however, the st...
Graham Clark, Stephen Gilmore, Jane Hillston