4693 search results - page 868 / 939 » Verifying Hybrid Systems |
DGO
2003
15 years 2 months ago
2003
The Internet has become the most frequently accessed medium for obtaining various types of data. In particular, government agencies, academic institutions, and private enterprises...
111
Voted
WSC
2000
15 years 1 months ago
2000
As part of the design of the next generation Naval Amphibious Transport Dock Ship (LPD17), simulation was used to evaluate the arrangement and flow of cargo on the ship and to int...
116
Voted
IJCV
2002
15 years 8 days ago
2002
Current vision systems are designed to perform in clear weather. Needless to say, in any outdoor application, there is no escape from "bad" weather. Ultimately, computer ...
89
Voted
SAC
2008
ACM
15 years 2 days ago
2008
ACM
In this paper, we present the idea of offline count-limited certificates (or clics for short), and show how these can be implemented using minimal trusted hardware functionality a...
119
Voted
ICSOC
2010
Springer
14 years 11 months ago
2010
Springer
In this demo paper we present the prototype of our fault injection testbed generator. Our tool empowers engineers to generate emulated SOA environments and to program fault injecti...