Sciweavers

1916 search results - page 255 / 384
» Reconfiguring a state machine
Sort
View
DATE
2009
IEEE
120views Hardware» more  DATE 2009»
14 years 4 months ago
Towards a formal semantics for the AADL behavior annex
—AADL is an Architecture Description Language which describes embedded real-time systems. Behavior annex is an extension of the dispatch mechanism of AADL execution model. This p...
Zhibin Yang, Kai Hu, Dianfu Ma, Lei Pi
ICDAR
2009
IEEE
14 years 4 months ago
Document Analysis Support for the Manual Auditing of Elections
Recent developments have resulted in dramatic changes in the way elections are conducted, both in the United States and around the world. Well-publicized flaws in the security of...
Daniel P. Lopresti, Xiang Zhou, Xiaolei Huang, Gan...
IROS
2009
IEEE
195views Robotics» more  IROS 2009»
14 years 3 months ago
Optical flow-based controller for reactive and relative navigation dedicated to a four rotor rotorcraft
— Autonomous navigation of an unmanned aerial vehicle (UAV) can be achieved with a reactive system which allows the robot to overcome all the unexpected changes in its environmen...
Eduardo Rondon, Isabelle Fantoni-Coichot, Anand Sa...
AI
2009
Springer
14 years 3 months ago
Enhancing the Bilingual Concordancer TransSearch with Word-Level Alignment
Despite the impressive amount of recent studies devoted to improving the state of the art of Machine Translation (MT), Computer Assisted Translation (CAT) tools remain the preferre...
Julien Bourdaillet, Stéphane Huet, Fabrizio...
CAISE
2009
Springer
14 years 3 months ago
Verifying Action Semantics Specifications in UML Behavioral Models
MDD and MDA approaches require capturing the behavior of UML models in sufficient detail so that the models can be automatically implemented/executed in the production environment....
Elena Planas, Jordi Cabot, Cristina Gómez