3888 search results - page 546 / 778 » Change-Driven Model Transformations |
183
click to vote
RTAS
2008
IEEE
16 years 1 months ago
2008
IEEE
We build on PTIDES, a programming model for distributed embedded systems that uses discrete-event (DE) models as program specifications. PTIDES improves on distributed DE executi...
152
click to vote
ISMVL
2007
IEEE
16 years 26 days ago
2007
IEEE
The clock rate of modern chips is still increasing and at the same time the gate size decreases. As a result, already slight variations during the production process may cause a f...
172
click to vote
ATAL
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. This paper introduces semantical concepts to support a formal structural dynamics of situated multiagent systems. Multiagent systems are seen from the perspective of the ...
186
click to vote
BTW
2007
Springer
16 years 23 days ago
2007
Springer
: Ontology and schema matching are well established techniques, which have been applied in various integration scenarios, e.g., web service composition and database integration. Co...
156
Voted
ACSAC
2005
IEEE
16 years 7 days ago
2005
IEEE
Fault induction attacks are a serious concern for designers of secure embedded systems. An ideal solution would be a generic circuit transformation that would produce circuits tha...