2513 search results - page 178 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
115
click to vote
CEEMAS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract In this work we describe the development process of multiagent application design and implementation with Mulan. Our approach can be characterized as model driven developm...
165
Voted
CMG
2003
15 years 6 months ago
2003
The queueing Petri net (QPN) paradigm provides a number of benefits over conventional modeling paradigms such as queueing networks and generalized stochastic Petri nets. Using qu...
120
click to vote
DAC
2007
ACM
15 years 8 months ago
2007
ACM
It has long been the practice to create models in C or C++ for architectural studies, software prototyping and RTL verification in the design of Systems-on-Chip (SoC). It is often...
148
click to vote
WSC
2008
15 years 7 months ago
2008
In this paper, we propose an integrated architecture for modeling, simulation, and execution of PLC (Programmable Logic Controller) based manufacturing system. The main objective ...
129
click to vote
BIRTHDAY
2012
Springer
14 years 13 days ago
2012
Springer
Abstract. Model-Driven Engineering (MDE) places models as firstclass artifacts throughout the software lifecycle. In this context, model transformations are crucial for the succes...