4693 search results - page 788 / 939 » Verifying Hybrid Systems |
219
Voted
ICDE
2008
IEEE
16 years 2 months ago
2008
IEEE
The overwhelming flow of information in many data stream applications forces many companies to outsource to a third-party the deployment of a Data Stream Management System (DSMS) f...
ICPR
2008
IEEE
16 years 2 months ago
2008
IEEE
Most existing sensor planning algorithms find it difficult to tackle the discrepancy between a PTZ camera's limited instant field of view (FOV) and panoramic achievable FOV. ...
93
Voted
SIGSOFT
2005
ACM
16 years 1 months ago
2005
ACM
Fluent model checking is an automated technique for verifying that an event-based operational model satisfies some state-based declarative properties. The link between the event-b...
85
Voted
WWW
2006
ACM
16 years 1 months ago
2006
ACM
Many systems use past behavior, preferences and environmental factors to attempt to predict user navigation on the Internet. However we believe that many of these models have shor...
WWW
2005
ACM
16 years 1 months ago
2005
ACM
Existing Web browsers handle security errors in a manner that often confuses users. In particular, when a user visits a secure site whose certificate the browser cannot verify, th...