9067 search results - page 1648 / 1814 » Adaptive Model Checking |
157
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
Locating arteries hidden beneath superficial tissue can be a difficult task in minimally invasive surgery. This paper reports the development of a system that finds the paths of a...
145
click to vote
INFOCOM
2002
IEEE
15 years 11 months ago
2002
IEEE
Abstract— This paper introduces a new packet marking algorithm that can be used in the context of Assured Forwarding (AF) in the Differentiated Services (DiffServ) framework [1],...
149
click to vote
VISUALIZATION
2002
IEEE
15 years 11 months ago
2002
IEEE
We present a method for interactive rendering of large outdoor scenes. Complex polygonal plant models and whole plant populations are represented by relatively small sets of point...
214
click to vote
WMCSA
2002
IEEE
15 years 11 months ago
2002
IEEE
Many “ubiquitous computing” applications need a constant flow of information about their environment to be able to adapt to their changing context. To support these “contex...
193
click to vote
HAIS
2010
Springer
15 years 11 months ago
2010
Springer
One of the most serious security threats to recently deployed databases has been the SQL Injection attack. This paper presents an agent specialised in the detection of SQL injectio...