58 search results - page 5 / 12 » Static consistency checking of web applications with WebDSL |
SEMWEB
2004
Springer
15 years 2 months ago
2004
Springer
As the use of Semantic Web ontologies continues to expand there is a growing need for tools that can validate ontological consistency and provide guidance in the correction of dete...
OOPSLA
2005
Springer
15 years 2 months ago
2005
Springer
A number of effective error detection tools have been built in recent years to check if a program conforms to certain design rules. An important class of design rules deals with s...
84
Voted
VLC
2002
14 years 9 months ago
2002
In this paper, we introduce an XML-based Hierarchical QoS Markup Language, called HQML, to enhance distributed multimedia applications on the World Wide Web (WWW) with Quality of ...
103
click to vote
TSE
2011
14 years 4 months ago
2011
— We present Bristlecone, a programming language for robust software systems. Bristlecone applications have two components: a high-level organization specification that describe...
FSEN
2007
Springer
15 years 3 months ago
2007
Springer
We define a type system for COWS, a formalism for specifying and combining services, while modelling their dynamic behaviour. Our types permit to express policies constraining dat...