1038 search results - page 4 / 208 » Towards A Peer-to-Peer Simulator |
SIGDIAL
2011
12 years 8 months ago
2011
SIMULATION
2008
13 years 5 months ago
2008
AOIS
2003
13 years 7 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...
ICCAD
2009
IEEE
13 years 3 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...
IADIS
2004
13 years 7 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...