3104 search results - page 392 / 621 » Using quantitative analysis to implement autonomic IT system... |
173
click to vote
TACAS
2007
Springer
16 years 4 days ago
2007
Springer
Abstract. Our main objective is to combine partial-order methods with verification techniques for infinite-state systems in order to obtain efficient verification algorithms fo...
157
click to vote
SIGSOFT
2006
ACM
15 years 12 months ago
2006
ACM
Developers of distributed systems routinely construct discrete-event simulations to help understand and evaluate the behavior of inter-component protocols. Simulations are abstrac...
143
click to vote
HICSS
2008
IEEE
16 years 15 days ago
2008
IEEE
E-government research has become a recognized research domain and many policies and strategies are formulated for e-government implementations. Most of these target the next few y...
160
click to vote
ESOP
2007
Springer
16 years 6 days ago
2007
Springer
In this paper we present an alternative approach to interprocedurally g linear inequality relations. We propose an abstraction of the effects of procedures through convex sets of t...
190
click to vote
ICMCS
2008
IEEE
16 years 14 days ago
2008
IEEE
We design a test methodology to analyze in detail the video quality received at each peer in a peer-to-peer (P2P) video streaming system. The metrics that we employ at each peer i...