1965 search results - page 354 / 393 » On the analysis of interacting pushdown systems |
WWW
2008
ACM
14 years 9 months ago
2008
ACM
We conduct the first systematical adoption of the Semantic Web solution in the integration, management, and utilization of TCM information and knowledge resources. As the results,...
SIGMOD
2007
ACM
14 years 9 months ago
2007
ACM
Dataspaces are collections of heterogeneous and partially unstructured data. Unlike data-integration systems that also offer uniform access to heterogeneous data sources, dataspac...
ICSE
2004
IEEE-ACM
14 years 8 months ago
2004
IEEE-ACM
Connectors and connector wrappers explicitly specify the protocol of interaction among components and afford the reusable application of extra-functional behaviors, such as reliabi...
TACAS
2009
Springer
14 years 3 months ago
2009
Springer
Reference counting is a widely-used resource management idiom which maintains a count of references to each resource by incrementing the count upon an acquisition, and decrementing...
GLOBECOM
2008
IEEE
14 years 3 months ago
2008
IEEE
— Naming and addressing are important issues for Next Generation Internet (NGI). In this paper, we discuss a new Mobility and Multihoming supporting Identifier Locator Split Arch...