2513 search results - page 325 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
104
click to vote
VLSI
2005
Springer
15 years 6 months ago
2005
Springer
This work addresses the problem of application mapping in networks-on-chip (NoCs) having as goal to minimize the total dynamic energy consumption of a complex system-on-a-chip (So...
108
Voted
MODELS
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. UML diagrams have become the de-facto standard for the visual modeling of software systems. The creation and discussion of these diagrams is a critical factor impacting t...
123
Voted
ICWS
2009
IEEE
15 years 10 months ago
2009
IEEE
Professional mashups that include complex choreographies, data mediation, and result publishing within Web pages are still affected by implementation and design practices that rel...
121
Voted
EMSOFT
2005
Springer
15 years 6 months ago
2005
Springer
Hybrid systems are an appropriate formalism to model embedded systems as they capture the theme of continuous dynamics with discrete control. A simple extension, a network of comm...
118
Voted
SARA
2009
Springer
15 years 5 months ago
2009
Springer
An important challenge in constraint programming is to rewrite constraint models into executable programs calculating the solutions. This phase of constraint processing may requir...