11112 search results - page 3 / 2223 » Computing Stuttering Simulations |
ENTCS
2006
13 years 5 months ago
2006
Temporal logics are well suited for the specification and verification of systems of communicating agents. In this paper we adopt a social approach to agent communication, where c...
FECS
2010
13 years 3 months ago
2010
In this paper, we present a method to help teach computer architecture (or computer organization) by developing an in class system where the students, themselves, compile high-leve...
CORR
2010
Springer
13 years 4 months ago
2010
Springer
In this work we present a prototype for simulating computer network attacks. Our objective is to simulate large networks (thousands of hosts, with applications and vulnerabilities)...
SIGCSE
2002
ACM
13 years 5 months ago
2002
ACM
As the complexity and variety of computer system hardware increases, its suitability as a pedagogical tool in computer organization/architecture courses diminishes. As a consequen...
FGCS
2000
13 years 5 months ago
2000
With a heavy emphasis on distribution and reuse, web-based simulation portends a dramatic shift in the application of simulation as a problem-solving technique and decision-suppor...