1312 search results - page 191 / 263 » Embedded contract languages |
135
Voted
GW
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. Estimation of 3D hand pose is useful in many gesture recognition applications, ranging from human-computer interaction to automated recognition of sign languages. In this...
110
click to vote
IPSN
2003
Springer
15 years 8 months ago
2003
Springer
High-level query languages are an attractive interface for sensor networks, potentially relieving application programmers from the burdens of distributed, embedded programming. In ...
127
Voted
APN
2000
Springer
15 years 7 months ago
2000
Springer
: In this paper, we suggest a requirement engineering process that generates a user interface prototype from scenarios and yields a formal specification of the system in form of a ...
135
click to vote
APSEC
1999
IEEE
15 years 7 months ago
1999
IEEE
For the practical development of provably correct software for embedded systems the close integration of CASE tools and verification tools is required. This paper describes the co...
132
click to vote
RE
1999
Springer
15 years 7 months ago
1999
Springer
Requirements capture by scenarios and user interface prototyping have become popular techniques. Yet, the transition from scenarios to formal specifications is still ill-defined, ...