3384 search results - page 361 / 677 » More Testable Properties |
190
click to vote
MABS
2005
Springer
16 years 6 days ago
2005
Springer
Currently there is a diversity of tools for agent-based simulation, which can be applied to the understanding of social phenomena. Describing this kind of phenomena with a visual l...
200
click to vote
PET
2005
Springer
16 years 6 days ago
2005
Springer
Trust negotiation between two subjects require each one proving its properties to the other. Each subject specifies disclosure policies stating the types of credentials and attrib...
174
click to vote
RT
2005
Springer
16 years 6 days ago
2005
Springer
We present a technique for capturing high-resolution 4D reflectance fields using the reciprocity property of light transport. In our technique we place the object inside a diffu...
197
click to vote
ISSTA
2004
ACM
16 years 4 days ago
2004
ACM
Model checking based on validating temporal logic formulas has proven practical and effective for numerous software engineering applications. As systems based on this approach ha...
189
click to vote
NSPW
2004
ACM
16 years 4 days ago
2004
ACM
Digital rights management systems allow copyrighted content to be commercialized in digital format without the risk of revenue loss due to piracy. Making such systems secure is no...