217 search results - page 40 / 44 » System-Level Modeling and Verification: a Comprehensive Desi... |
167
click to vote
WSC
2000
15 years 7 months ago
2000
We present a technique for analyzing a simulation metamodel that has been constructed using a variancestabilizing transformation. To compute a valid confidence interval for the ex...
203
click to vote
HYBRID
2010
Springer
15 years 7 months ago
2010
Springer
In this paper, we describe a receding horizon scheme that satisfies a class of linear temporal logic specifications sufficient to describe a wide range of properties including saf...
132
Voted
MOBIHOC
2009
ACM
16 years 6 months ago
2009
ACM
In this paper, we consider a non-saturated IEEE 802.11 based wireless network. We use a three-way fixed point to model the node behavior with Bernoulli packet arrivals and determi...
155
click to vote
VISUALIZATION
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper, we describe a set of 3D and 4D visualization tools and techniques for CORIE, a complex environmental observation and forecasting system (EOFS) for the Columbia Rive...
185
Voted
SIGSOFT
2002
ACM
16 years 6 months ago
2002
ACM
Security is a very important issue in information processing, especially in open network environments like the Internet. The Common Criteria (CC) is the standard requirements cata...