975 search results - page 169 / 195 » Declarative Aspect-Oriented Programming |
CC
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. Xtatic is a lightweight extension of C offering native support for statically typed XML processing. XML trees are built-in values in Xtatic, and static analysis of the t...
CCS
2004
ACM
14 years 4 months ago
2004
ACM
WS-SecurityPolicy is a declarative configuration language for driving web services security mechanisms. We describe a formal sefor WS-SecurityPolicy, and propose a more abstract ...
HICSS
2003
IEEE
14 years 4 months ago
2003
IEEE
Abstract— This paper presents a framework for verifying compilation tools for parametrised hardware libraries with placement information. Such libraries are captured in Pebble, a...
EPIA
2003
Springer
14 years 3 months ago
2003
Springer
The Semantic Web is a “living organism”, which combines autonomously evolving data sources/knowledge repositories. This dynamic character of the Semantic Web requires (declarat...
ECOOPWEXCEPTION
2000
Springer
14 years 3 months ago
2000
Springer
Interface exceptions (explicitly declared exceptions that a method can propagate outside) are an inherent part of the interface describing the behaviour of a particular class of ob...