263 search results - page 29 / 53 » An Extensible Type System for Component-Based Design |
CDC
2008
IEEE
14 years 3 months ago
2008
IEEE
Abstract— This paper considers the control problem for selfservowriting in disk drives where information propagation occurs in two independent directions, i.e. time and track num...
WINE
2010
Springer
13 years 6 months ago
2010
Springer
Trust propagation is a fundamental topic of study in the theory and practice of ranking and recommendation systems on networks. The Page Rank [9] algorithm ranks web pages by propa...
FOAL
2009
ACM
14 years 3 months ago
2009
ACM
Programs of a software product line can be synthesized by composing features which implement some unit of program functionality. In most product lines, only some combination of fe...
CSFW
2011
IEEE
12 years 8 months ago
2011
IEEE
—This paper introduces YARRA, a conservative extension to C to protect applications from non-control data attacks. YARRA programmers specify their data integrity requirements by ...
ER
2001
Springer
14 years 1 months ago
2001
Springer
Abstract Spatio-temporal extensions to data models have been an active area of research for a number of years. To date, much of this work has focused on the relational data model, ...