Sciweavers

1270 search results - page 114 / 254
» A Domain Specific Language to Generate Web Applications
Sort
View
IEEESCC
2008
IEEE
15 years 7 months ago
Development Tool for Service-Oriented Applications in Smart Homes
In this paper, we present a model-driven, domaincentric tool allowing the specification of service-oriented ions through abstract services composition. Executable applications, ma...
Jianqi Yu, Philippe Lalanda, Stéphanie Chol...
ASE
2005
140views more  ASE 2005»
15 years 18 days ago
Automated Procedure Construction for Deductive Synthesis
Deductive program synthesis systems based on automated theorem proving offer the promise of software that is correct by construction. However, the difficulty encountered in constru...
Steve Roach, Jeffrey Van Baalen
70
Voted
WWW
2001
ACM
16 years 1 months ago
An Investigation of XML-technologies for Infrastructures for Web-based Virtual Courses
The emergence of XML has lead to a change in the development style for Web sites. XML's advantages, such as the separation of content and presentation, or the possibility to ...
Claus Pahl
ICS
2001
Tsinghua U.
15 years 5 months ago
Optimizing strategies for telescoping languages: procedure strength reduction and procedure vectorization
At Rice University, we have undertaken a project to construct a framework for generating high-level problem solving languages that can achieve high performance on a variety of pla...
Arun Chauhan, Ken Kennedy
167
Voted
CADUI
2006
15 years 2 months ago
Designing And Developing Multi-User, Multi-Device Web Interfaces
: The need for support of multi-user interaction is growing in several application domains, including the Web. However, there is a lack of tools able to support designers and devel...
Fabio Paternò, Ines Santos