1163 search results - page 175 / 233 » Case Studies of Model Checking for Embedded System Designs |
154
click to vote
PODS
2004
ACM
16 years 4 months ago
2004
ACM
We present a novel coding-based technique for answering spatial and spatiotemporal queries on objects moving along a system of curves on the plane such as many road networks. We h...
162
click to vote
ICCS
2004
Springer
15 years 9 months ago
2004
Springer
It is well accepted that diagrams play a crucial role in human reasoning. But in mathematics, diagrams are most often only used for visualizations, but it is doubted that diagrams ...
186
Voted
GPC
2007
Springer
15 years 8 months ago
2007
Springer
The image of a license plate is scanned by the camera attached to a mobile PDA device and the numbers on the plate are detected by the image processing parts in the proposed Mobile...
136
click to vote
EMSOFT
2006
Springer
15 years 7 months ago
2006
Springer
We designed and implemented a new programming language called Hierarchical Timing Language (HTL) for hard realtime systems. Critical timing constraints are specified within the la...
155
click to vote
VW
2000
Springer
15 years 7 months ago
2000
Springer
This article describes a 3D biomechanical simulation of a salamander to be used in experiments in computational neuroethology. The physically-based simulation represents the salama...