3384 search results - page 361 / 677 » More Testable Properties |
231
click to vote
MABS
2005
Springer
16 years 1 months 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...
227
Voted
PET
2005
Springer
16 years 1 months 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...
200
click to vote
RT
2005
Springer
16 years 1 months 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...
216
Voted
ISSTA
2004
ACM
16 years 29 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...
216
click to vote
NSPW
2004
ACM
16 years 29 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...