166 search results - page 26 / 34 » Timed Behavior Trees and Their Application to Verifying Real... |
ACIVS
2009
Springer
13 years 5 months ago
2009
Springer
Abstract. Following a review of current hidden objects detection techniques in a range of security applications, a strategy based on an innovative, low-cost photometric stereo tech...
EMSOFT
2007
Springer
13 years 11 months ago
2007
Springer
Synchronous reactive formalisms associate concurrent behaviors to precise schedules on global clock(s). This allows a non-ambiguous notion of "absent" signal, which can ...
CCGRID
2001
IEEE
13 years 11 months ago
2001
IEEE
Recent advances in computing and communication have given rise to the computational grid notion. The core of this computing paradigm is the design of a system for drawing compute ...
SPIN
2000
Springer
13 years 11 months ago
2000
Springer
The Temporal Rover is a specification based verification tool for applications written in C, C++, Java, Verilog and VHDL. The tool combines formal specification, using Linear-Time ...
WWIC
2005
Springer
14 years 28 days ago
2005
Springer
The needs for run-time data storage in modern wired and wireless network applications are increasing. Additionally, the nature of these applications is very dynamic, resulting in ...