2513 search results - page 281 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
FDL
2005
IEEE
15 years 6 months ago
2005
IEEE
In the Software/Hardware Engineering model-driven design methodology, preservation of real-time system properties can be guaranteed in the model synthesis up to a small time-deviat...
116
click to vote
ISORC
2000
IEEE
15 years 5 months ago
2000
IEEE
The decomposition of large systems into parts is a general principle of software design. Even more, in the scope of distributed systems a partition of the whole system into distri...
VAMOS
2007
Springer
15 years 7 months ago
2007
Springer
On our ongoing research on variability analysis, two major drawbacks have been identified: a) the lack of an effective tracing from the rationale to the selected variant, and b) t...
89
Voted
COLLABORATION
1999
Springer
15 years 5 months ago
1999
Springer
The paper presents the computational model underlying new agent communication languages. The model, called STROBE, has been identified and two prototypical languages inspired by th...
TASE
2009
IEEE
15 years 7 months ago
2009
IEEE
A modelling language can be defined by a metamodel in UML class diagram. This paper defines the semantics of such metamodels through two mappings: a signature mapping from metamod...