591 search results - page 65 / 119 » MDA Transformations Applied to Web Application Development |
103
click to vote
CADE
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Pocket KRHyper is a reasoning system for Java-enabled mobile devices. The core of the system is a first order theorem prover and model generator based on the hyper table...
102
Voted
FP
1989
15 years 5 months ago
1989
This paper reports an explanation of an intricate algorithm in the terms of a potentially mechanisable rigorous-development method. It uses notations and techniques of Sheeran 1] ...
WWW
2004
ACM
16 years 2 months ago
2004
ACM
This paper presents a method and a tool for designing and automatically creating an HTML web site for publishing Semantic Web content represented in RDF(S). The idea is to specify...
109
click to vote
SAC
2005
ACM
15 years 7 months ago
2005
ACM
is a planning framework for mapping abstract workflows for execution on the Grid. This paper presents the implementation of a web-based portal for submitting workflows to the Grid...
148
click to vote
ISSTA
2012
ACM
13 years 4 months ago
2012
ACM
Since web applications are easily accessible, and often store a large amount of sensitive user information, they are a common target for attackers. In particular, attacks that foc...