866 search results - page 123 / 174 » A compositional semantics for CHR |
ADBIS
2005
Springer
14 years 3 months ago
2005
Springer
The current period of IT development is characterized by an explosive growth of diverse information representation languages. Applying integration and composition of heterogeneous ...
ICSOC
2005
Springer
14 years 3 months ago
2005
Springer
There have been significant efforts in providing semantic descriptions for Web services, including the approach as exemplified by OWLS. Part of the semantic description in OWL-S is...
ESORICS
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. Enterprise privacy enforcement allows enterprises to internally enforce a privacy policy that the enterprise has decided to comply to. An enterprise privacy policy often ...
APN
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. In this paper, we introduce a framework composed of a syntax and its compositional Petri net semantics, for the specification and verification of properties (like authent...
ATAL
2008
Springer
13 years 11 months ago
2008
Springer
Service-Oriented Computing and Agent Technology are nowadays two of the most active research fields in distributed and open systems. However, when trying to bridge the two worlds,...