1078 search results - page 177 / 216 » Modelling and Verifying of e-Commerce Systems |
139
click to vote
CIVR
2010
Springer
15 years 6 months ago
2010
Springer
In this paper, we present a methodology to estimate a detailed state of a video scene involving multiple humans and vehicles. In order to annotate and retrieve videos containing a...
133
click to vote
EMSOFT
2001
Springer
15 years 6 months ago
2001
Springer
ltiple Levels of Abstractions in Embedded Software Design Jerry R. Burch1, Roberto Passerone1, and Alberto L. Sangiovanni-Vincentelli2 1 Cadence Berkeley Laboratories, Berkeley CA ...
ICCAD
2000
IEEE
15 years 6 months ago
2000
IEEE
A tool is presented that gives a high-level estimation of the power consumed by an analog continuous-time OTA-C filter when given only high-level input parameters such as dynamic ...
131
click to vote
ESOP
1999
Springer
15 years 6 months ago
1999
Springer
Safety of interoperation of program fragments written in different safe languages may fail when the languages have different systems of computational effects: an exception raised b...
EMNETS
2007
15 years 5 months ago
2007
Deployment of a wireless sensor network (WSN) system is a critical step because theoretical models and assumptions often differ from real environmental characteristics and perform...