634 search results - page 99 / 127 » Separability in the Ambient Logic |
ICN
2005
Springer
14 years 3 months ago
2005
Springer
In this paper, we propose an architecture to regulate the bandwidth usage of multimedia streams in networked virtual environments. In this architecture, intelligent proxies are pla...
ISPA
2005
Springer
14 years 3 months ago
2005
Springer
Grid technologies are becoming more and more mature in recent years. In contrast to this trend, the resource measurement landscape in Grids looks rather dismal. As part of ChinaGri...
ITRUST
2005
Springer
14 years 3 months ago
2005
Springer
Business Processes for Web Services are the new paradigm for lightweight enterprise integration. They cross organizational boundaries, are provided by entities that see each other ...
PPDP
2005
Springer
14 years 3 months ago
2005
Springer
Type checking and type inference are fundamentally similar problems. However, the algorithms for performing the two operations, on the same type system, often differ significant...
SEMWEB
2005
Springer
14 years 3 months ago
2005
Springer
A common practice in conceptual modeling is to separate the conceptual from the data model. Although very intuitive, this approach is inadequate for many complex domains, in which...