1054 search results - page 164 / 211 » Translation Validation of System Abstractions |
185
click to vote
JSAC
2010
15 years 26 days ago
2010
Abstract--The continuously increasing complexity of communication networks and the increasing diversity and unpredictability of traffic demand has led to a consensus view that the ...
172
click to vote
POPL
2012
ACM
14 years 1 months ago
2012
ACM
We present a general theory of Gifford-style type and effect annotations, where effect annotations are sets of effects. Generality is achieved by recourse to the theory of algebra...
175
click to vote
SAT
2007
Springer
16 years 5 days ago
2007
Springer
Abstract. We continue a study initiated by Kraj´ıˇcek of a Resolutionlike proof system working with clauses of linear inequalities, R(CP). For all proof systems of this kind Kra...
162
click to vote
ICST
2008
IEEE
16 years 14 days ago
2008
IEEE
–Abstract for conference - preliminary Model-Based Testing: Models for Test Cases Jan Tretmans, Embedded Systems Institute, Eindhoven : Systematic testing of software plays an im...
192
click to vote
INFOCOM
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract—With rising concerns on user privacy over the Internet, anonymous communication systems that hide the identity of a participant from its partner or third parties are hig...