1054 search results - page 173 / 211 » Translation Validation of System Abstractions |
153
click to vote
PEPM
2007
ACM
16 years 4 days ago
2007
ACM
Program query languages and pattern-detection techniques are an essential part of program analysis and manipulation systems. Queries and patterns permit the identification of the...
157
click to vote
OPODIS
2010
15 years 3 months ago
2010
: Provide application processes with strong agreement guarantees despite failures is a fundamental problem of fault-tolerant distributed computing. Correct processes have not to be...
148
click to vote
ISSTA
2006
ACM
15 years 12 months ago
2006
ACM
This paper presents a specification-based testing approach that compares software specifications defined at different f abstraction, e.g. architecture and implementation, agai...
175
click to vote
SAC
2005
ACM
15 years 11 months ago
2005
ACM
Many biological information systems rely on relational database management systems (RDBMS) to manage high-throughput biological data. While keeping these data well archived, organ...
149
click to vote
OTM
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. The X Protocol, an asynchronous network protocol, was developed at MIT amid the need to provide a network transparent graphical user interface primarily for the UNIX Oper...