1836 search results - page 283 / 368 » Hierarchies for semantic classes |
CALCO
2007
Springer
15 years 4 months ago
2007
Springer
We study the equational theory of Timed CCS as proposed by Wang Yi in CONCUR’90. Common to Wang Yi’s paper, we particularly focus on a class of linearly-ordered time domains ex...
CP
2007
Springer
15 years 4 months ago
2007
Springer
The Disjunctive Temporal Problem with Uncertainty (DTPU) is an extension of the Disjunctive Temporal Problem (DTP) that accounts for events not under the control of the executing a...
ESORICS
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Information security is a pressing challenge for mobile code technologies. In order to claim end-to-end security of mobile code, it is necessary to establish that the cod...
ICDT
2007
ACM
15 years 4 months ago
2007
ACM
Abstract. Information concerning the origin of data (that is, its provenance) is important in many areas, especially scientific recordkeeping. Currently, provenance information mu...
ICDT
2007
ACM
15 years 4 months ago
2007
ACM
Abstract. Schema mappings play a central role in both data integration and data exchange, and are understood as high-level specifications describing the relationships between data...