2513 search results - page 293 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
107
Voted
IADIS
2003
15 years 2 months ago
2003
The vast majority of IT systems are implemented using a traditional procedural paradigm approach using a suitable procedural language such as COBOL. However, with recent developme...
123
click to vote
VLC
2008
15 years 21 days ago
2008
Ensuring model quality is a key success factor in many computer science areas, and becomes crucial in recent software engineering paradigms like the one proposed by model-driven s...
131
click to vote
PACT
2005
Springer
15 years 6 months ago
2005
Springer
The goal of our investigation is to find automatically the best rule for a cell in the cellular automata model. The cells are either of type Obstacle, Empty or Creature. Only Crea...
97
Voted
AOSE
2005
Springer
15 years 6 months ago
2005
Springer
Autonomy has always been conceived as one of the defining attributes of intelligent agents. While the past years have seen considerable progress regarding theoretical aspects of a...
134
Voted
CL
2010
Springer
15 years 28 days ago
2010
Springer
In this paper we present the syntax, semantics, and compilation of a new system-level programming language called SystemJ. SystemJ is a multiclock language supporting the Globally...