2185 search results - page 123 / 437 » Context for semantic metadata |
DASFAA
2004
IEEE
14 years 2 months ago
2004
IEEE
Information and communication infrastructures underwent a rapid and extreme decentralization process over the past decade: From a world of statically and partially connected centra...
ESWS
2008
Springer
14 years 2 days ago
2008
Springer
This paper describes a service-oriented architecture for accessing resources through semantically designed portals called hubs. The services are dedicated to: (a) ontology manageme...
IIWAS
2004
13 years 11 months ago
2004
The `SemanticLIFE' system is designed to store, manage and retrieve ones lifetime's information entities. It enables the acquisition and storage of data while giving ann...
FM
2003
Springer
14 years 3 months ago
2003
Springer
Software systems are often model checked by translating them into a directly model-checkable formalism. Any serious software system requires application of compositional reasoning ...
AMAST
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. We present a separate compositional analysis for objectoriented languages. We show how a generic static analysis of a context that uses an object can be split into two se...