4018 search results - page 80 / 804 » Process algebra for performance evaluation |
150
click to vote
CORR
2010
Springer
15 years 25 days ago
2010
Springer
This paper motivates the need for a formalism for the modelling and analysis of dynamic reconfiguration of dependable real-time systems. We present requirements that the formalism ...
153
Voted
ICDE
2006
IEEE
15 years 9 months ago
2006
IEEE
— XML stream applications bring the challenge of efficiently processing queries on sequentially accessible tokenbased data. For efficient processing of queries, we need to ensu...
132
Voted
IFIP
2004
Springer
15 years 8 months ago
2004
Springer
Abstract This paper introduces new-HOPLA, a concise but powerful language for higherorder nondeterministic processes with name generation. Its origins as a metalanguage for domain ...
131
Voted
ICAC
2009
IEEE
15 years 10 months ago
2009
IEEE
—The performance of BPEL processes depends on the composing web services. Monitoring web service performance and adapting to changes in service performance are essential for crea...
141
Voted
HCI
2011
14 years 7 months ago
2011
Validation is critically important when human performance models are used to predict the effect of future system designs on human performance. A model of flight deck operations was...