2513 search results - page 66 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
VLSID
2002
IEEE
14 years 10 months ago
2002
IEEE
The development of application specific instruction set processors comprises several design phases: architecture exploration, software tools design, system verification and design...
SIGSOFT
2008
ACM
14 years 10 months ago
2008
ACM
Alloy specifications are used to define lightweight models of systems. We present Alchemy, which compiles Alloy specifications into implementations that execute against persistent...
COMPSAC
2006
IEEE
14 years 4 months ago
2006
IEEE
This paper presents behavior contracts as a new assertion mechanism and a tool that uses such contracts to support the testing of Object-Oriented (OO) systems. A behavior contract...
EMSOFT
2001
Springer
14 years 2 months ago
2001
Springer
Abstract. This paper presents our experience implementing the memory management extensions in the Real-Time Specification for Java. These extensions are designed to given real-tim...
ICSE
2007
IEEE-ACM
14 years 4 months ago
2007
IEEE-ACM
Abstract. We describe an approach to designing and implementing a distributed system as a family of related finite state machines, generated from a single abstract model. Various a...