3971 search results - page 620 / 795 » On the Use of Properties in Java Applications |
150
click to vote
IFIP
2003
Springer
15 years 10 months ago
2003
Springer
Sensor networks are being used for implementation of a large number of applications involving distributed and collaborative computation. Extensive research has focused upon design ...
167
Voted
SACMAT
2010
ACM
15 years 10 months ago
2010
ACM
We show the practical feasibility of monitoring complex security properties using a runtime monitoring approach for metric first-order temporal logic. In particular, we show how ...
146
Voted
CCS
2001
ACM
15 years 9 months ago
2001
ACM
hfulness of Abstract Protocol Analysis: Message Authentication∗ Joshua D. Guttman F. Javier Thayer Lenore D. Zuck December 18, 2002 Dolev and Yao initiated an approach to studyi...
162
click to vote
SIGGRAPH
2010
ACM
15 years 9 months ago
2010
ACM
We present an interactive system for the artistic control of visual phenomena visible on surfaces. Our method allows the user to intuitively reposition shadows, caustics, and indi...
230
click to vote
ICANN
2001
Springer
15 years 9 months ago
2001
Springer
Humans tend to group together related properties in order to understand complex phenomena. When modeling large problems with limited representational resources, it is important to...