2696 search results - page 125 / 540 » Semantic Abstraction and Anaphora |
ER
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. The paper provides a conceptual framework for designing and executing business processes using semantic Web services. We envision a world in which a designer deļ¬nes a ā...
FSTTCS
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Conventional semantics for shared-variable concurrency suffers from the āgrain of timeā problem, i.e., the necessity of specifying a default level of atomicity. We pr...
PPSWR
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Time is omnipresent on the (Semantic) Web. However, formalism like XML, XML Schema, RDF, OWL and (Semantic) Web query languages have, if any, only very limited notions of...
101
click to vote
SEMWEB
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. WebML (Web Modelling Language) is a language for the design of dataintensive Web sites. It is supported by visual tools allowing the deļ¬nition of the conceptual data or...
CADE
2000
Springer
15 years 2 months ago
2000
Springer
Abstract. Proof-carrying code and other applications in computer security require machine-checkable proofs of properties of machine-language programs. These in turn require axioms ...