407 search results - page 30 / 82 » An Automated Verification Method for Distributed Systems Sof... |
DSN
2005
IEEE
14 years 2 months ago
2005
IEEE
While inherent resource redundancies in distributed applications facilitate gracefully degradable services, methods to enhance their dependability may have subtle, yet significan...
ICSE
2001
IEEE-ACM
14 years 1 months ago
2001
IEEE-ACM
Software maintenance costs dominate software engineering costs, partly because most such engineering is done manually. Program Transformation tools leverage an engineer-provided b...
TCSV
2010
13 years 3 months ago
2010
Background subtraction (BS) is an efficient technique for detecting moving objects in video sequences. A simple BS process involves building a model of the background and extractin...
ICST
2008
IEEE
14 years 3 months ago
2008
IEEE
In recent years the development of automotive embedded devices has changed from an electrical and mechanical engineering discipline to a combination of software and electrical/mec...
TMI
2010
13 years 7 months ago
2010
—This paper presents a procedure for automatic extraction and segmentation of a class-specific object (or region) by learning class-specific boundaries. We describe and evaluat...