2513 search results - page 281 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
156
click to vote
FDL
2005
IEEE
16 years 4 days 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...
179
click to vote
ISORC
2000
IEEE
15 years 11 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...
165
click to vote
VAMOS
2007
Springer
16 years 19 days 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...
165
click to vote
COLLABORATION
1999
Springer
15 years 10 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...
172
click to vote
TASE
2009
IEEE
16 years 1 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...