5639 search results - page 838 / 1128 » Timed Abstract Non-interference |
145
click to vote
ICCS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. The complexity of virtual environments has grown spectacularly over the recent years, mainly thanks to the use of the currently cheap high performance graphics cards. As ...
135
click to vote
ICCS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Infinite contexts and their corresponding lattices are of theoretical and practical interest since they may offer connections with and insights from other mathematical ...
116
click to vote
ICWE
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. In recent years numerous Web application modeling languages have been developed and others improved. There has, however, been little research on how these languages may b...
108
click to vote
IH
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Existing navigation services, such as GPS, offer no signalintegrity (anti-spoof) protection for the general public, especially not with systems for remote attestation of...
135
click to vote
ISER
2004
Springer
15 years 9 months ago
2004
Springer
We present a series of experiments concerned with the inspection of regular, engineered structures carried out using swarms of five to twenty autonomous, miniature robots, solely ...