1052 search results - page 80 / 211 » Foundations for Virtual Types |
IVA
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. In human relations engagement and continuous communication is promoted by the process of sharing experiences. This type of social behaviour plays an important role in the...
IICS
2009
Springer
14 years 1 months ago
2009
Springer
: This article describes the use of a service-oriented architecture to bridge the gap between different eLearning types and tools. The basic concept is a bi-directional distributio...
PLDI
2003
ACM
14 years 2 months ago
2003
ACM
CCured is a program transformation system that adds memory safety guarantees to C programs by verifying statically that memory errors cannot occur and by inserting run-time checks...
POPL
1992
ACM
14 years 1 months ago
1992
ACM
Polymorphic record calculi have recently attracted much attention as a typed foundation for objectoriented programming. This is based on the fact that a function that selects a fi...
SWAT
1998
Springer
14 years 1 months ago
1998
Springer
Let C be a collection of n Jordan regions in the plane in general position, such that each pair of their boundaries intersect in at most s points, where s is a constant. Let U den...