713 search results - page 92 / 143 » Static and Dynamic Semantics of the Web |
ENTCS
2007
14 years 10 months ago
2007
We introduce the idea of optimisation validation, which is to formally establish that an instance of an optimising transformation indeed improves with respect to some resource mea...
100
click to vote
WORDS
2005
IEEE
15 years 3 months ago
2005
IEEE
Web services (WS) provide a technology for integrating applications over the Internet. This paper proposes a multi-agent conceptual model of WS and an agent-oriented modelling and...
DAGSTUHL
2007
14 years 11 months ago
2007
act notation, so separating the abstract syntax and semantics of the language constructs from their different concrete notations. Although the foundation constituents of the MDE a...
105
click to vote
AOSD
2011
ACM
14 years 5 months ago
2011
ACM
Block joinpoints allow programmers to explicitly mark regions of base code as “to be advised”, thus avoiding the need to extract the block into a method just for the sake of c...
JUCS
2010
14 years 8 months ago
2010
Abstract: This paper addresses the problem of expressing preferences among nonfunctional properties of services in a Web service architecture. In such a context, semantic and non-f...