217 search results - page 40 / 44 » System-Level Modeling and Verification: a Comprehensive Desi... |
112
click to vote
WSC
2000
15 years 1 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...
147
click to vote
HYBRID
2010
Springer
15 years 2 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...
MOBIHOC
2009
ACM
16 years 24 days 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...
VISUALIZATION
2003
IEEE
15 years 5 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...
128
click to vote
SIGSOFT
2002
ACM
16 years 1 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...