11397 search results - page 239 / 2280 » A Relational Abstraction for Functions |
171
click to vote
APSEC
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--Real-time embedded systems (RTESs) are becoming increasingly ubiquitous, controlling a wide variety of popular and safety-critical devices. Effective testing techniques c...
223
click to vote
JMIV
2010
15 years 2 months ago
2010
Abstract We consider the problem of estimating the geometric deformation of an object, with respect to some reference observation on it. Existing solutions, set in the standard coo...
220
click to vote
COMSUR
2011
14 years 7 months ago
2011
Abstract—The Border Gateway Protocol (BGP) is the Internet’s inter-domain routing protocol. One of the major concerns related to BGP is its lack of effective security measures,...
171
click to vote
ITC
2003
IEEE
16 years 15 days ago
2003
IEEE
A fault fj is said to dominate another fault fi if all tests for fi detect fj . When two faults dominate each other, they are called equivalent. Dominance and equivalence relation...
194
click to vote
BMCBI
2007
15 years 7 months ago
2007
Background: With the popularisation of high-throughput techniques, the need for procedures that help in the biological interpretation of results has increased enormously. Recently...