9110 search results - page 1373 / 1822 » Formally-Based Design Evaluation |
149
click to vote
CCS
2003
ACM
16 years 3 days ago
2003
ACM
Attacks against Internet routing are increasing in number and severity. Contributing greatly to these attacks is the absence of origin authentication: there is no way to validate ...
188
click to vote
CEEMAS
2003
Springer
16 years 3 days ago
2003
Springer
Flexibility and adaptability are essential properties of intelligent manufacturing systems. However, it is a major challenge to realize these properties and the benefits of a flexi...
231
click to vote
CIKM
2003
Springer
16 years 3 days ago
2003
Springer
There have been several techniques proposed for building statistics for static XML data. However, very little work has been done in the area of building XML statistics for data so...
178
click to vote
CIKM
2003
Springer
16 years 3 days ago
2003
Springer
Searchers can have problems devising queries that accurately express their, often dynamic, information needs. In this paper we describe an adaptive approach that uses unobtrusive ...
186
click to vote
DIGITALCITIES
2003
Springer
16 years 3 days ago
2003
Springer
Today a wide variety of virtual worlds, cities, gaming environments etc. exist and become part of life of their human inhabitants. However, our understanding on how technology infl...