1054 search results - page 157 / 211 » Translation Validation of System Abstractions |
165
Voted
GAMESEC
2010
15 years 4 months ago
2010
Abstract. Many computer protection tools incorporate learning techniques that build mathematical models to capture the characteristics of system's activity and then check whet...
229
click to vote
ICSEA
2009
IEEE
15 years 3 months ago
2009
IEEE
The emerging Model-Driven Engineering paradigm advocates the use of models as first-class citizens in the software development process, while artifacts such as documentation and so...
149
Voted
SIGCOMM
2009
ACM
16 years 18 days ago
2009
ACM
BGP routing policies are mainly used by network operators to enforce business relationships between Autonomous Systems (AS), and to prefer some routes over others. In this paper, ...
145
Voted
KBSE
2008
IEEE
16 years 14 days ago
2008
IEEE
Finite state machine-based abstractions of software behaviour are popular because they can be used as the basis for a wide range of (semi-) automated verification and validation ...
207
click to vote
PLDI
2006
ACM
16 years 1 days ago
2006
ACM
Constructing correct concurrent garbage collection algorithms is notoriously hard. Numerous such algorithms have been proposed, implemented, and deployed – and yet the relations...