14331 search results - page 289 / 2867 » On the modeling and analysis of obligations |
173
click to vote
WSC
2000
15 years 8 months ago
2000
This paper presents an approach to the operational analysis of future space transportation systems. The approach combines knowledge from government and industry space operation an...
178
click to vote
CCECE
2009
IEEE
15 years 11 months ago
2009
IEEE
This paper presents a performance analysis of best effort support over the MAC protocol proposed in the IEEE 802.16 standard. We focus on the uplink channel since it is the critic...
174
click to vote
TACAS
1998
Springer
15 years 11 months ago
1998
Springer
A state/event model is a concurrent version of Mealy machines used for describing embedded reactive systems. This paper introduces a technique that uses compositionality and depend...
188
click to vote
DILS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. To advance the comprehension of complex biological processes occurring in crop plants (e.g. for improvement of growth or yield) it is of high interest to reconstruct and ...
192
click to vote
NETWORKING
2007
15 years 8 months ago
2007
This paper presents a general model to study the medium access control (MAC) layer performance and equilibrium of WLANs consisting of nodes with different MAC parameters (e.g., ba...