Sciweavers

3038 search results - page 326 / 608
» Controlling Engineering Problem Solving
Sort
View
OTM
2005
Springer
16 years 3 days ago
An Hybrid Intermediation Architectural Approach for Integrating Cross-Organizational Services
Nowadays, workflow research has shifted from fundamentals of workflow modelling and enactment towards improvement of the workflow modelling lifecycle and integration of workflow en...
Giannis Verginadis, Panagiotis Gouvas, Gregoris Me...
CHI
2004
ACM
16 years 2 days ago
MetaCrystal: visual interface for meta searching
MetaCrystal visualizes the degree of overlap between the top results returned by different search engines. Linked overview tools support rapid exploration, facilitate advanced fil...
Anselm Spoerri
KBSE
2003
IEEE
15 years 12 months ago
Testing Database Transaction Concurrency
Database application programs are often designed to be executed concurrently by many clients. By grouping related database queries into transactions, DBMS systems can guarantee th...
Yuetang Deng, Phyllis G. Frankl, Zhongqiang Chen
UIST
1999
ACM
15 years 11 months ago
Nested User Interface Components
Nested User Interface Components combine the concepts of Zooming User Interfaces (ZUIs) with recursive nesting of active graphical user interface widgets. The resulting system of ...
Ken Perlin, Jon Meyer
KBSE
1998
IEEE
15 years 11 months ago
Towards the Automated Debugging and Maintenance of Logic-based Requirements Models
In this paper we describe a tools environment which automates the validation and maintenance of a requirements model written in many-sorted first order logic. We focus on: a trans...
T. L. McCluskey, Margaret Mary West