4693 search results - page 660 / 939 » Verifying Hybrid Systems |
213
click to vote
KBSE
2010
IEEE
15 years 5 months ago
2010
IEEE
Named constants are used heavily in operating systems code, both as internal flags and in interactions with devices. Decision making within an operating system thus critically de...
193
click to vote
JSS
2010
15 years 1 months ago
2010
In this paper we investigate the effect of three time-triggered system rejuvenation policies on service availability using a queuing model. The model is formulated as an extended ...
189
click to vote
AGI
2011
14 years 10 months ago
2011
A novel approach to computer vision is outlined, involving the use of imprecise probabilities to connect a deep learning based hierarchical vision system with both local feature de...
191
click to vote
SENSYS
2003
ACM
15 years 12 months ago
2003
ACM
Wireless ad-hoc sensor networks have emerged as an interesting and important research area in the last few years. The applications envisioned for such networks require collaborati...
174
click to vote
FSTTCS
2003
Springer
15 years 12 months ago
2003
Springer
Tagging schemes have been used in security protocols to ensure that the analysis of such protocols can work with messages of bounded length. When the set of nonces is bounded, this...