4693 search results - page 749 / 939 » Verifying Hybrid Systems |
141
click to vote
INFORMATICALT
2008
15 years 5 months ago
2008
The invention of public-key cryptography makes many new network applications, such as electronic commerce (CE), possible. However, the widely used Internet is open and unprotected....
137
click to vote
CORR
2007
Springer
15 years 5 months ago
2007
Springer
This paper focuses on the use of knowledge possessed by designers. Data collection was based on observations (by the cognitive ergonomics researcher) and simultaneous verbalisation...
149
click to vote
JFR
2008
15 years 5 months 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...
105
Voted
ENTCS
2007
15 years 5 months ago
2007
We provide a new look at formal aspects of component substitutability (replacement of a component with a new one) and independent implementability (reuse of a component in any sys...
140
click to vote
PR
2006
15 years 5 months ago
2006
Photo image authentication is an interesting and demanding field in the computer vision and image processing community. This research is motivated by its wide range of application...