4693 search results - page 580 / 939 » Verifying Hybrid Systems |
203
click to vote
MICAI
2000
Springer
15 years 10 months ago
2000
Springer
This work presents a real time system for detection and tracking of facial features in video sequences. Such system may be used in visual communication applications, such as teleco...
157
click to vote
SPIN
2000
Springer
15 years 10 months ago
2000
Springer
In this paper, we describe our application of SPIN 1 to model an algorithm used to synchronize the clocks of modules that provide periodic real-time communication over a network. W...
218
click to vote
HPCNCS
2007
15 years 8 months ago
2007
The objective of the proposed work is to formally specify and implement a federated web service model in which the identity management problem and security features are analyzed. ...
184
click to vote
WCET
2008
15 years 8 months ago
2008
Real-Time embedded systems must enforce strict timing constraints. In this context, achieving precise Worst Case Execution Time is a prerequisite to apply scheduling analysis and ...
172
click to vote
FLAIRS
2001
15 years 8 months ago
2001
Lessons learned systems (LLS) are systems that support a lessons learned process (LLP) to collect, verify, store, disseminate, and reuse organizational lessons. In this paper we e...