14331 search results - page 408 / 2867 » On the modeling and analysis of obligations |
188
click to vote
FMCAD
2006
Springer
15 years 10 months ago
2006
Springer
In this paper we formally specify and verify an implementation of the IEEE802.11a standard physical layer based OFDM (Orthogonal Frequency Division Multiplexing) modem using the HO...
202
click to vote
ISW
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. In recent years, protocols have been developed to ensure secure communications over the Internet, e.g., the secure sockets layer (SSL) and secure electronic transaction (...
232
click to vote
WSC
2007
15 years 9 months ago
2007
Effectively managing a supply chain requires visibility to detect unexpected variations in the dynamics of the supply chain environment at an early stage. This paper proposes a me...
161
click to vote
CDC
2008
IEEE
15 years 8 months ago
2008
IEEE
The objective of this contribution is to analyze statistical properties of estimated models of cascade systems. Models of such systems are important in for example cascade control ...
187
click to vote
WSC
2004
15 years 8 months ago
2004
Wafers in a 300-mm semiconductor fabrication facility are transported throughout the factory in carriers called front opening unified pods (FOUPs). Two standard capacities of FOUP...