14331 search results - page 359 / 2867 » On the modeling and analysis of obligations |
170
Voted
CONCUR
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. In this paper we show how to compress efficiently the statespace of a concurrent system (here applied to a simple shared memory model, but this is no way limited to that ...
174
click to vote
WSC
2007
15 years 9 months ago
2007
This paper reviews statistical methods for analyzing output data from computer simulations. Specifically, it focuses on the estimation of steady-state system parameters. The esti...
206
click to vote
ASMTA
2008
Springer
15 years 8 months ago
2008
Springer
Recently, a quality-of-service (QoS) extension of the IEEE 802.11 standard (known as IEEE 802.11e) for wireless LANs has been proposed. We present a versatile and accurate performa...
179
click to vote
CSREASAM
2006
15 years 8 months ago
2006
- In this paper, we propose a method to analyze the firewall policy or rule-set using Relational Algebra and Raining 2D-Box Model. It can discover all the anomalies in the firewall...
160
click to vote
WSC
1998
15 years 8 months ago
1998
This paper reviews statistical methods for analyzing output data from computer simulations of single systems. In particular, it focuses on the problems of choosing initial conditi...