2282 search results - page 404 / 457 » Active property checking |
ESOP
2005
Springer
14 years 3 months ago
2005
Springer
Since the 1980s, two approaches have been developed for analyzing security protocols. One of the approaches relies on a computational model that considers issues of complexity and ...
ISMIR
2005
Springer
14 years 3 months ago
2005
Springer
Audio descriptor extraction is the activity of finding mathematical models which describe properties of the sound, requiring signal processing skills. The scientific literature pr...
NORDICHI
2004
ACM
14 years 3 months ago
2004
ACM
If interactive computer media is engaging and immersive, it may trigger similar feelings that people experience when they, for example, are wandering in nature, participating in h...
DSOM
2004
Springer
14 years 3 months ago
2004
Springer
Resource reservations in advance are a mature concept for the allocation of various resources, particularly in grid environments. Common grid toolkits such as Globus support advanc...
AINA
2003
IEEE
14 years 3 months ago
2003
IEEE
This paper endeavors to present a scheme to detect and estimate bottleneck bandwidth along the path in the Internet. We have participated in the RIPE NCC’s TTM project to perfor...