2513 search results - page 347 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
87
Voted
EUROSYS
2009
ACM
15 years 9 months ago
2009
ACM
Managing the power consumption of computing platforms is a complicated problem thanks to a multitude of hardware configuration options and characteristics. Much of the academic r...
129
Voted
LSO
2004
Springer
15 years 6 months ago
2004
Springer
Selection of Commercial-off-The-Shelf (COTS) software products is a knowledge-intensive process. In this paper, we show how knowledge bases can be used to facilitate the COTS selec...
103
Voted
DATE
2005
IEEE
15 years 6 months ago
2005
IEEE
— We introduce galsC, a language designed for programming event-driven embedded systems such as sensor networks. galsC implements the TinyGALS programming model. At the local lev...
120
click to vote
GI
2005
Springer
15 years 6 months ago
2005
Springer
Abstract: Model based development, like proposed by the OMG’s Model Driven Arre (MDA), aims to raise the level of abstraction from working on the code to working with models. For...
99
Voted
ISORC
2009
IEEE
15 years 7 months ago
2009
IEEE
In the automotive domain, several loosely-coupled Architecture Description Languages (ADLs) compete to proet of abstract modeling and analysis services on top of the implementatio...