2513 search results - page 145 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
146
click to vote
WADT
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. We consider the verification of a simple pipelined microprocessor in Maude, by implementing an equational theoretical model of systems. Maude is an equationally-based la...
148
click to vote
COMPSAC
2008
IEEE
15 years 11 months ago
2008
IEEE
In this paper, we describe a framework for the computeraided evolution of the designs of object-oriented software systems. Evolution mechanisms are software structures that prepar...
148
Voted
WER
2005
Springer
15 years 10 months ago
2005
Springer
Requirement traceability is intended to ensure continued alignment between stakeholders’ requirements and various outputs of the system development process. Therefore a process f...
142
Voted
MSA
2007
15 years 6 months ago
2007
- The requirement for a commonly accepted efficient mapping between multimedia metadata standards and semantic web-ontology standards is a major issue recognized by semantic multim...
148
click to vote
JUCS
2008
15 years 4 months ago
2008
: This paper presents a proposal to tackle the design and development of user interfaces for groupware applications. This proposal includes important design and implementation issu...