4615 search results - page 38 / 923 » Virtual Classes and Their Implementation |
LCN
1996
IEEE
14 years 25 days 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...
FORTE
1997
13 years 10 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
14 years 2 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
14 years 2 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
14 years 2 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...