Sciweavers

713 search results - page 27 / 143
» Static and Dynamic Semantics of the Web
Sort
View
ESWS
2007
Springer
15 years 1 months ago
Web Service Contracting: Specification and Reasoning with SCIFF
The semantic web vision will facilitate automation of many tasks, including the location and dynamic reconfiguration of web services. In this article, we are concerned with a speci...
Marco Alberti, Federico Chesani, Marco Gavanelli, ...
FASE
2009
Springer
15 years 4 months ago
A Formal Way from Text to Code Templates
Abstract. We present an approach to define template languages for generating syntactically correct code. In the first part of the paper, we define the syntax and semantics of a ...
Guido Wachsmuth
ATVA
2007
Springer
115views Hardware» more  ATVA 2007»
15 years 3 months ago
A Compositional Semantics for Dynamic Fault Trees in Terms of Interactive Markov Chains
Abstract. Dynamic fault trees (DFTs) are a versatile and common formalism to model and analyze the reliability of computer-based systems. This paper presents a formal semantics of ...
Hichem Boudali, Pepijn Crouzen, Mariëlle Stoe...

Book
355views
16 years 5 months ago
JavaScript Essentials
"Before JavaScript was created, a typical web browsing experience consisted largely of displaying static pages of information. Any type of user interaction with a web page usu...
techotopia.com
CCGRID
2005
IEEE
15 years 3 months ago
Using semantic Web technology to automate data integration in grid and Web service architectures
While the Grid and Web Services have helped us support heterogeneous resource access through the use of service oriented architectures, they have not addressed the issue of hetero...
Martin Szomszor, Terry R. Payne, Luc Moreau