183 search results - page 32 / 37 » Trace Semantics is Fully Abstract |
FOSSACS
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. We introduce a generic framework for hybrid logics, i.e. modal logics additionally featuring nominals and satisfaction operators, thus providing the necessary facilities ...
ERCIMDL
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. The Multivalent Document Model offers a practical, proven, nocompromises architecture for preserving digital documents of potentially any data format. We have implemented...
FM
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. The key to the integration of formal methods into engineering practice is education. In teaching, domain-independent problems -i.e., not requiring prior engineering backg...
DOOD
1995
Springer
15 years 1 months ago
1995
Springer
Abstract. Semistructured data has no absolute schema xed in advance and its structure may be irregular or incomplete. Such data commonly arises in sources that do not impose a rigi...
93
Voted
GEOINFO
2004
14 years 10 months ago
2004
Abstract With the proliferation of Geographic Information Systems (GIS) and spatial resources over the Internet, there is an increasing demand for robust geospatial information ser...