588 search results - page 90 / 118 » Using UML Environment Models for Test Case Generation |
106
Voted
ICRA
2010
IEEE
14 years 11 months ago
2010
IEEE
— Building upon previous work that demonstrates the effectiveness of WiFi localization information per se, in this paper we contribute a mobile robot that autonomously navigates ...
111
click to vote
TPHOL
2008
IEEE
15 years 6 months ago
2008
IEEE
We introduce a lightweight approach for reasoning about programs involving imperative data structures using the proof assistant Isabelle/HOL. It is based on shallow embedding of pr...
108
click to vote
CAEPIA
2005
Springer
15 years 6 months ago
2005
Springer
This paper presents an architecture that makes it possible to construct dynamic systems capable of growing in dimension and adapting its knowledge to environmental changes. An arch...
114
Voted
SAFECOMP
1998
Springer
15 years 4 months ago
1998
Springer
Abstract. We present a method to specify software for a special kind of safetycritical embedded systems, where sensors deliver low-level values that must be abstracted and pre-proc...
108
click to vote
CASES
2005
ACM
15 years 2 months ago
2005
ACM
Digital Signal Processing (DSP) is becoming increasingly widespread in portable devices. Due to harsh constraints on power, latency, and throughput in embedded environments, devel...