7457 search results - page 1265 / 1492 » The Dynamics of Computing Agent Systems |
206
click to vote
DAC
2004
ACM
15 years 10 months ago
2004
ACM
In System on Chip (SoC) design, growing design complexity has esigners to start designs at higher abstraction levels. This paper proposes an SoC design methodology that makes full...
161
click to vote
DSN
2004
IEEE
15 years 10 months ago
2004
IEEE
A correctly working Domain Name System (DNS) is essential for the Internet. Due to its significance and because of deficiencies in its current design, the DNS is vulnerable to a w...
189
click to vote
CMSB
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including sec...
198
click to vote
DEBS
2010
ACM
15 years 10 months ago
2010
ACM
An effective means for building Internet-scale distributed applications, and in particular those involving group-based information sharing, is to deploy peer-to-peer overlay netwo...
172
click to vote
AIIDE
2007
15 years 9 months ago
2007
In recent years, the fields of Interactive Storytelling and Player Modelling have independently enjoyed increased interest in both academia and the computer games industry. The c...