3147 search results - page 226 / 630 » Open-Source Model Checking |
101
click to vote
FROCOS
2005
Springer
15 years 8 months 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...
102
Voted
ICCS
2003
Springer
15 years 8 months 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 ...
137
click to vote
DATE
2010
IEEE
15 years 8 months 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...
145
click to vote
ACMDIS
2000
ACM
15 years 7 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...
135
click to vote
CCS
2000
ACM
15 years 7 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 ...