337 search results - page 57 / 68 » Predicate abstraction for software verification |
100
click to vote
CBSE
2009
Springer
15 years 7 months ago
2009
Springer
To build highly available or reliable applications out of unreliable third-party components, some software-implemented fault-tolerant mechanisms are introduced to gracefully deal w...
103
Voted
CSREASAM
2008
15 years 1 months ago
2008
Abstract--Packet Level Authentication (PLA) is a novel countermeasure against distributed denial-of-service attacks. Each packet sent across a network has a digital signature and p...
EMSOFT
2010
Springer
14 years 10 months ago
2010
Springer
SystemC is the de facto standard for modeling embedded systems. It allows system design at various levels of abstractions, provides typical object-orientation features and incorpo...
111
click to vote
ICST
2009
IEEE
14 years 10 months ago
2009
IEEE
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...
121
Voted
IHI
2010
14 years 7 months ago
2010
One goal of medical device certification is to show that a given medical device satisfies its requirements. The requirements that should be met by a device, however, depend on the...