2513 search results - page 318 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
ICSE
2009
IEEE-ACM
14 years 10 months ago
2009
IEEE-ACM
Aerospace systems have strict dependability and real-time requirements, as well as a need for flexible resource reallocation and reduced size, weight and power consumption. To cope...
116
click to vote
CORR
2010
Springer
14 years 10 months ago
2010
Springer
The ever-increasing amount of data in biomedical research, and in cancer research in particular, needs to be managed to support efficient data access, exchange and integration. Exi...
185
Voted
AOSD
2011
ACM
14 years 7 months ago
2011
ACM
This paper proposes EventCJ, a context-oriented programming (COP) language that can modularly control layer activation based on user-defined events. In addition to defining cont...
116
click to vote
TCBB
2010
14 years 7 months ago
2010
Abstract-The discovery of motifs in biosequences is frequently torn between the rigidity of the model on the one hand and the abundance of candidates on the other. In particular, m...
111
click to vote
TCIAIG
2010
14 years 7 months ago
2010
In this paper, we present the design, implementation, and evaluation of an end-to-end camera planning system called Darshak. Darshak automatically constructs cinematic narrative di...