Sciweavers

2542 search results - page 37 / 509
» An Operational Definition of Context
Sort
View
98
Voted
IJCCBS
2010
105views more  IJCCBS 2010»
14 years 11 months ago
Software safety: relating software assurance and software integrity
: The overall safety integrity of a safety critical system, comprising both software and hardware, is typically specified quantitatively, e.g., in terms of failure rates. However, ...
Ibrahim Habli, Richard Hawkins, Tim Kelly
CISS
2008
IEEE
15 years 7 months ago
On sparse representations of linear operators and the approximation of matrix products
—Thus far, sparse representations have been exploited largely in the context of robustly estimating functions in a noisy environment from a few measurements. In this context, the...
Mohamed-Ali Belabbas, Patrick J. Wolfe
84
Voted
ENTCS
2007
91views more  ENTCS 2007»
15 years 14 days ago
Rule-Based Operational Semantics for an Imperative Language
Operational semantics for programming languages usually come in two flavours: big-step and small-step. Both are defined using deduction rules with a congruence rule allowing redu...
Florent Kirchner, François-Régis Sin...
DOCENG
2008
ACM
15 years 2 months ago
Merging changes in XML documents using reliable context fingerprints
Different dialects of XML have emerged as ubiquitous document exchange formats. For effective collaboration based on such documents, the capability to propagate edit operations pe...
Sebastian Rönnau, Christian Pauli, Uwe M. Bor...
71
Voted
HOTOS
2003
IEEE
15 years 5 months ago
Sensing User Intention and Context for Energy Management
Sensors are emerging as a key area of interest in operating systems research, with a main focus on sensor networks. Turning the relationship around, we propose the use of low-powe...
Angela B. Dalton, Carla Schlatter Ellis