4693 search results - page 31 / 939 » Verifying Hybrid Systems |
71
Voted
HYBRID
2000
Springer
15 years 4 months ago
2000
Springer
69
Voted
USS
2008
15 years 2 months ago
2008
Administrative verifiability gives election officials the means to protect against certain kinds of errors and fraud. This is typically accomplished with tools like paper audit tr...
100
click to vote
DCC
2008
IEEE
16 years 2 days ago
2008
IEEE
We studied the problem of distributed coding and transmission of intercorrelated sources with memory. Different from the conventional distributed source coding structure which rel...
121
Voted
ICDAR
2005
IEEE
15 years 6 months ago
2005
IEEE
On-line pen input benefits greatly from mode detection when the user is in a free writing situation, where he is allowed to write, to draw, and to generate gestures. Mode detecti...
95
Voted
CAV
2010
Springer
15 years 3 months ago
2010
Springer
We present a graphical toolset for verifying AADL models, which are gaining widespread acceptance in aerospace, automobile and avionics industries for comprehensively specifying sa...