1392 search results - page 118 / 279 » A Calculus for Dynamic Linking |
146
click to vote
EUROCAST
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Pattern-based verification trying to abstract away the concrete number of repeated memory structures is one of the approaches that have recently been proposed for verific...
150
Voted
DNIS
2005
Springer
15 years 7 months ago
2005
Springer
It is well known that context plays an important role in the meaning of a work of art. This paper addresses the dynamic context of a collection of linked multimedia documents, of ...
135
click to vote
WSC
1998
15 years 6 months ago
1998
Component-based software can be used to develop highly modular simulation environments supporting high reusability of software components. This paper examines a case study in whic...
141
click to vote
BROADNETS
2005
IEEE
15 years 10 months ago
2005
IEEE
— Ethernet over SONET (EoS) is a popular approach for interconnecting geographically distant Ethernet segments using a SONET transport infrastructure. It typically uses virtual c...
132
click to vote
INFOCOM
2000
IEEE
15 years 9 months ago
2000
IEEE
Abstract—Virtual Private Networks (VPN) and link sharing are cost effective way of realizing corporate intranets. Corporate intranets will increasingly have to provide Integrated...