253 search results - page 12 / 51 » Software Engineering: A System Dynamics Simulated Pedagogica... |
PLDI
2009
ACM
14 years 2 months ago
2009
ACM
Decentralized information flow control (DIFC) is a promising model for writing programs with powerful, end-to-end security guarantees. Current DIFC systems that run on commodity ...
ADAEUROPE
2004
Springer
14 years 25 days ago
2004
Springer
Abstract. This paper describes a laboratory equipped for the teaching of realtime systems. The laboratory has been built around a Digital Model Railroad Platform and it allows the ...
CGO
2007
IEEE
14 years 1 months ago
2007
IEEE
Dynamic instrumentation systems have proven to be extremely valuable for program introspection, architectural simulation, and bug detection. Yet a major drawback of modern instrum...
ISARCS
2010
13 years 9 months ago
2010
Voting is a critical component of any democratic process; and electronic voting systems should be developed following best practices for critical system development. E-voting has i...
ICFEM
2004
Springer
14 years 24 days ago
2004
Springer
Abstract. In this paper we present a technique for the Spin tool, inspired by practical experiences with Spin and a FireWire protocol. We show how to guide simulations with Spin, b...