3792 search results - page 646 / 759 » Techniques for Trusted Software Engineering |
170
click to vote
CODES
2010
IEEE
15 years 2 months ago
2010
IEEE
This paper presents an approach to system-level optimization of error detection implementation in the context of fault-tolerant realtime distributed embedded systems used for safe...
182
click to vote
COMPSAC
2011
IEEE
14 years 5 months ago
2011
IEEE
— This paper discusses ongoing research into the development of an original composition portfolio themed on the concept of palimpsests of time and place. The research involves th...
195
Voted
PAMI
2012
13 years 8 months ago
2012
—In this paper, we present a novel image classification system that is built around a core of trainable filter ensembles that we call Volterra kernel classifiers. Our system trea...
144
click to vote
WWW
2005
ACM
16 years 6 months ago
2005
ACM
We present a design for verification approach to developing reliable web services. We focus on composite web services which consist of asynchronously communicating peers. Our goal...
198
click to vote
VMCAI
2010
Springer
16 years 2 months ago
2010
Springer
Abstract. Techniques such as verification condition generation, preditraction, and expressive type systems reduce software verification to proving formulas in expressive logics. Pr...