1038 search results - page 4 / 208 » Towards A Peer-to-Peer Simulator |
SIGDIAL
2011
14 years 4 months ago
2011
SIMULATION
2008
15 years 1 months ago
2008
151
Voted
AOIS
2003
15 years 3 months ago
2003
Abstract. Agent-oriented modelling of software systems and agent-based simulation are commonly viewed as two separate fields with different concepts and techniques. We show that th...
122
Voted
ICCAD
2009
IEEE
14 years 11 months ago
2009
IEEE
Boolean satisfiability (SAT) based methods have traditionally been popular for formally verifying properties for digital circuits. We present a novel methodology for formulating a...
113
click to vote
IADIS
2004
15 years 3 months ago
2004
This paper presents an analysis of the degree to which attitudes towards an Internet-based simulation depend on how satisfied participants are with the software used. The theoreti...