1281 search results - page 35 / 257 » End-user Development in a Graphical user Interface Setting |
WWW
2001
ACM
15 years 10 months ago
2001
ACM
We propose a new Web search system that helps users clarify their information needs through interaction. The system represents the user's information needs using a query grap...
HASE
1997
IEEE
15 years 2 months ago
1997
IEEE
The Reusable Software Fault Tolerance Testbed ReSoFT was developed to facilitate the development and evaluation of high-assurance systems that require tolerance of both hardware...
FGCS
2007
14 years 10 months ago
2007
The UK Department of Trade and Industry (DTI) funded BRIDGES project (Biomedical Research Informatics Delivered by Grid Enabled Services) has developed a Grid infrastructure to su...
FASE
2000
Springer
15 years 1 months ago
2000
Springer
We present a family of tools for program development and verification, comprising the transformation system TAS and the theorem proving interface IsaWin. Both are based on the theo...
OTM
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. Model Driven Engineering (MDE) aims to help software deto abstract the system implementations by means of models and meta-models. In Web-based Collaborative Information S...