1632 search results - page 70 / 327 » Topological Analysis of Refinement |
JSAC
2007
14 years 10 months ago
2007
Abstract— On-demand and live multimedia streaming applications (such as Internet TV) are well known to utilize a significant amount of bandwidth from media streaming servers, es...
AOSE
2003
Springer
15 years 3 months ago
2003
Springer
This paper shows how to verify a Multi-Agent System specification using human organization metaphors. This proposal applies Activity Theory, which has its roots in Sociology, to st...
SEC
2008
15 years 8 hour ago
2008
ASTRA is a security analysis method based on the systematic collection and analysis of security relevant information to detect inconsistencies and assess residual risks. ASTRA can ...
110
click to vote
HPDC
2007
IEEE
15 years 4 months ago
2007
IEEE
Adapting to the network is the key to achieving high performance for communication-intensive applications, including scientific computing, data intensive computing, and multicast...
JSAC
2006
14 years 10 months ago
2006
Abstract--The Internet is a large, heterogeneous system operating at very high speeds and consisting of a large number of users. Researchers use a suite of tools and techniques in ...