2467 search results - page 449 / 494 » Finite State Machines |
105
click to vote
JFR
2008
15 years 14 days ago
2008
A novel method for estimating vehicle roll, pitch and yaw using machine vision and inertial sensors is presented that is based on matching images captured from an on-vehicle camer...
71
Voted
ISI
2006
Springer
15 years 14 days ago
2006
Springer
Security of civil aviation has become a major concern in recent years, leading to a variety of protective measures related to airport and aircraft security to be established by re...
107
click to vote
JUCS
2008
15 years 14 days ago
2008
: This paper gives a definition of ASM refinement suitable for the verification that a protocol implements atomic transactions. We used this definition as the basis of the formal v...
102
Voted
JUCS
2008
15 years 14 days ago
2008
Abstract: The abstract syntax and static semantics of UML, the widely-used generalpurpose graphical modeling language, have been standardized in a four-layer metamodeling framework...
NETWORK
2008
15 years 14 days ago
2008
While it is widely understood that criminal miscreants are subverting large numbers of Internet-connected computers (e.g., for bots, spyware, SPAM forwarding), it is less well app...