4615 search results - page 38 / 923 » Virtual Classes and Their Implementation |
98
Voted
LCN
1996
IEEE
15 years 1 months ago
1996
IEEE
Development of new transport protocols or protocol algorithms suffers from the complexity of the envir onment in which they ar e intended to run. Modeling techniques attempt to av...
102
click to vote
FORTE
1997
14 years 11 months ago
1997
This paper presents a testing theory that is parameterised with assumptions about the way implementations communicate with their environment. In this way some existing testing the...
OOPSLA
2005
Springer
15 years 3 months ago
2005
Springer
Generalized algebraic data types (GADTs) have received much attention recently in the functional programming community. They generalize the (type) parameterized algebraic datatype...
ICA3PP
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. This paper describes an object-oriented design and efficient implementation of 3G-324M protocol stack for real-time multimedia transmission. In particular, we discuss the...
WDAG
2005
Springer
15 years 3 months ago
2005
Springer
We introduce a new object, BH, and prove that a system with one BH object and single-writer Registers has the same computational power as a system with countably many commutative a...