451 search results - page 35 / 91 » Goal-oriented Analysis of Regulations |
137
click to vote
CSFW
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper contrasts two existing type-based techniques for the analysis of authentication protocols. The former, proposed by Gordon and Jeffrey, uses dependent types for nonces a...
133
click to vote
QSHINE
2005
IEEE
15 years 9 months ago
2005
IEEE
Despite its support of prioritized services, the IEEE 802.11e Enhanced Distributed Channel Access (EDCA) cannot guarantee strict QoS required by real-time services such as voice a...
138
click to vote
INFOCOM
2002
IEEE
15 years 9 months ago
2002
IEEE
Abstract— We consider stochastic guarantees for networks with aggregate scheduling, in particular, Expedited Forwarding (EF). Our approach on the assumption that a node can be ab...
136
click to vote
CIBCB
2007
IEEE
15 years 8 months ago
2007
IEEE
Gene regulatory network model is the most widely used mechanism to model and predict the behavior of living organisms. Network Component Analysis (NCA) as an emerging issue for unc...
WSC
2004
15 years 5 months ago
2004
2004 brought a landmark event in the changes to regulations governing hours of service for truck drivers. This paper describes an effort utilizing modeling and simulation for eval...