3384 search results - page 423 / 677 » More Testable Properties |
176
click to vote
LSMS
2007
Springer
16 years 23 days ago
2007
Springer
Understanding how the retina encodes visual information is a key issue for the development of a retinal prosthesis. To study this issue, the neural retina is modeled as a retina mo...
163
click to vote
MODELS
2007
Springer
16 years 23 days ago
2007
Springer
Class diagrams must be complemented with a set of system operations that describes how users can modify and evolve the system state. To be useful, such a set must be complete (i.e....
170
click to vote
SAFECOMP
2007
Springer
16 years 22 days ago
2007
Springer
With the rapid progress in science and technology, we find ubiquitous use of safety-critical systems in avionics, consumer electronics, and medical instruments. In such systems, u...
154
click to vote
SARA
2007
Springer
16 years 22 days ago
2007
Springer
Multi-robot area coverage poses several research challenges. The challenge of coordinating multiple robots’ actions coupled with the challenge of minimizing the overlap in covera...
157
click to vote
SAS
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. Shape analyses are often imprecise in their numerical reasoning, whereas numerical static analyses are often largely unaware of the shape of a program’s heap. In this p...