3147 search results - page 226 / 630 » Open-Source Model Checking |
152
click to vote
FROCOS
2005
Springer
16 years 16 days ago
2005
Springer
We describe results and status of a sub project of the Verisoft [1] project. While the Verisoft project aims at verification of a complete computer system starting with hardware a...
158
click to vote
ICCS
2003
Springer
16 years 7 days ago
2003
Springer
Abstract. We describe a virtual telemetry system that allows us to devise and augment dynamic data-driven application simulations (DDDAS). Virtual telemetry has the advantage that ...
196
Voted
DATE
2010
IEEE
16 years 3 days ago
2010
IEEE
—We present a new technique for statistical static timing analysis (SSTA) based on Markov chain Monte Carlo (MCMC), that allows fast and accurate estimation of the right-hand tai...
204
click to vote
ACMDIS
2000
ACM
15 years 11 months ago
2000
ACM
One fundamental challenge for the design of the interactive systems of the future is to invent and design environments and cultures in which humans can express themselves and enga...
193
Voted
CCS
2000
ACM
15 years 11 months ago
2000
ACM
Conventional firewalls rely on topology restrictions and controlled network entry points to enforce traffic filtering. Furthermore, a firewall cannot filter traffic it does ...