5855 search results - page 1012 / 1171 » Test generation and minimization with |
109
click to vote
ATAL
2009
Springer
15 years 8 months ago
2009
Springer
Sensor nodes are often used to collect data from locations inaccessible or hazardous for humans. As they are not under normal supervision, these nodes are particularly susceptible...
126
click to vote
ICMCS
2006
IEEE
15 years 7 months ago
2006
IEEE
We present an event-driven video adaptation system in this paper. Events are detected by audio/video analysis and annotated by the description schemes (DSs) provided by MPEG-7 Mul...
142
click to vote
ICAIL
2005
ACM
15 years 7 months ago
2005
ACM
Computational resources for research in legal environments have historically implied remote access to large databases of legal documents such as case law, statutes, law reviews an...
139
click to vote
PASTE
2005
ACM
15 years 7 months ago
2005
ACM
Forward symbolic execution is a program analysis technique that allows using symbolic inputs to explore program executions. The traditional applications of this technique have foc...
EMSOFT
2005
Springer
15 years 7 months ago
2005
Springer
The correct interplay among components in a distributed, reactive system is a crucial development task, particularly for embedded systems such as those in the automotive domain. M...