36 search results - page 3 / 8 » From a domain analysis to the specification and detection of... |
CSMR
1999
IEEE
13 years 10 months ago
1999
IEEE
Philips Electronics is a world wide electronics company that develops many products containing embedded software. These products range from shavers with only few hundred bytes of ...
PERVASIVE
2010
Springer
13 years 7 months ago
2010
Springer
We present the design and evaluation of Panoramic, a tool that enables end-users to specify and verify an important family of complex location events. Our approach aims to reduce o...
DAC
2009
ACM
14 years 6 months ago
2009
ACM
Traditionally, synchronous languages, such as Esterel, have been compiled into hardware, where timing analysis is relatively easy. When compiled into software ? e.g., into sequent...
DOCENG
2010
ACM
13 years 6 months ago
2010
ACM
Modern GUI toolkits, and especially RIA ones, propose the concept of binding to dynamically link domain data and their presentations. Bindings are very simple to use for predefine...
TMM
2008
13 years 5 months ago
2008
In this paper, we propose an approach to learning appearance models of moving objects directly from compressed video. The appearance of a moving object changes dynamically in vide...