994 search results - page 3 / 199 » Declarative Programming of User Interfaces |
EUPROJECTS
2006
Springer
14 years 1 months ago
2006
Springer
The mobile user can interact with devices in the environment using either the devices themselves or a device she carries with her. This requires an adaption of the user interface t...
WCFLP
2005
ACM
14 years 3 months ago
2005
ACM
In this paper we present CurryBrowser, a generic analysis environment for the declarative multi-paradigm language Curry. CurryBrowser supports browsing through the implementation ...
WWW
2001
ACM
14 years 10 months ago
2001
ACM
XQForms is the first generator of Web-based query forms and reports for XML data. XQForms takes as input (i) XML Schemas that model the data to be queried and presented, (ii) decl...
KBSE
1994
IEEE
14 years 1 months ago
1994
IEEE
This paper describes a formal approach to domain-oriented software design environments, based on declarative domain theories, formal specifications, and deductive program synthesi...
GIS
2002
ACM
13 years 9 months ago
2002
ACM
The focus of this paper is on interoperability issues to achieve data integration in distributed databases for geographic applications. Our concrete application is in the context ...