226 search results - page 32 / 46 » IF: A Validation Environment for Timed Asynchronous Systems |
AAAI
2006
13 years 10 months ago
2006
hibition: Extended Abstract Social insects, such as ants and termites, collectively build large and complex structures, with many individuals following simple rules and no centrali...
ICVS
2009
Springer
14 years 3 months ago
2009
Springer
The faithful detection of the motion and of the distance of the objects in the visual scene is a desirable feature of any artificial vision system designed to operate in unknown e...
TRIDENTCOM
2005
IEEE
14 years 2 months ago
2005
IEEE
With the rapid growth in research activity on future wireless networking applications and protocols, experimental study and validation is becoming an increasingly important tool t...
ICFEM
2009
Springer
14 years 3 months ago
2009
Springer
It is believed that reusability in formal development should reduce the time and cost of formal modelling within a production environment. Along with the ability to reuse formal mo...
WCE
2007
13 years 9 months ago
2007
— The paper deals with the design and realization of a secure multicarrier modem on FPGA. The crypto-modem principle is adopted. An encryption block is integrated in the modem tr...