Sciweavers

11462 search results - page 94 / 2293
» Developing Application-Centric Methods
Sort
View
ACMDIS
2006
ACM
15 years 9 months ago
Investigating design knowledge reuse for interface development
Reusing HCI design knowledge shows potential in allowing practitioners to design based on previously identified concerns. A reuse approach is presented that is based on claims, de...
Shahtab Wahid
CAISE
2003
Springer
15 years 8 months ago
Development of Embedded System for Storing and Retrieving XML data
This paper describes the design and implementation of an embedded-type XML storage and retrieval system which is built on top of relational databases. The proposed system stores ea...
Joonho Kwon, Dongseop Kwon, Hyoseop Shin, Sukho Le...
WETICE
2000
IEEE
15 years 7 months ago
Towards an Evaluation Methodology for the Development of Research-Oriented Virtual Communities
A virtual community is a group of people whose shared needs and/or interests are largely communicated within, and mediated by Webenabled interactions, e.g., within a Website. Whil...
Janet Ho, Monica M. C. Schraefel, Mark H. Chignell
AISC
2010
Springer
15 years 7 months ago
Structured Formal Development with Quotient Types in Isabelle/HOL
General purpose theorem provers provide sophisticated proof methods, but lack some of the advanced structuring mechanisms found in specification languages. This paper builds on pr...
Maksym Bortin, Christoph Lüth
VL
1999
IEEE
112views Visual Languages» more  VL 1999»
15 years 7 months ago
Visual Specification of Spatio-Temporal Developments
In this paper we propose a visual interface for the specification of predicates to be used in queries on spatio-temporal databases. The approach is based on a visual specification...
Martin Erwig, Markus Schneider