Sciweavers

1141 search results - page 176 / 229
» From Rigorous Requirements Engineering to Formal System Desi...
Sort
View
UIST
1997
ACM
15 years 10 months ago
Solving Linear Arithmetic Constraints for User Interface Applications
Linear equality and inequality constraints arise naturally in specifying many aspects of user interfaces, such as requiring that one window be to the left of another, requiring th...
Alan Borning, Kim Marriott, Peter J. Stuckey, Yi X...
IUI
2009
ACM
16 years 3 months ago
Context-based page unit recommendation for web-based sensemaking tasks
Sensemaking tasks require users to perform complex research behaviors to gather and comprehend information from many sources. Such tasks are common and include, for example, resea...
Wen-Huang Cheng, David Gotz
ICDCSW
2006
IEEE
16 years 10 days ago
Wearable Computer for Ubiquitous Informal Communication
The rapid progress of information technology has spurred development of various communication support systems. In particular, the importance of informal communication has lately d...
Shun'ichi Tano, Tatsuhiro Takayama, Mitsuru Iwata,...
COSIT
1999
Springer
167views GIS» more  COSIT 1999»
15 years 10 months ago
Data Characterization Schema for Intelligent Support in Visual Data Analysis
The project CommonGIS1 aims at building a system allowing users to view and analyze geographically referenced thematic data. The system is oriented to the general public, i.e. peop...
Gennady L. Andrienko, Natalia V. Andrienko
ICEBE
2007
IEEE
174views Business» more  ICEBE 2007»
16 years 18 days ago
Worksheet-Driven UMM Modeling of B2B Services
In the development process of a B2B system it is crucial that the business experts are able to express and evaluate agreements and commitments between the partners and that the so...
Christian Huemer, Marco Zapletal, Philipp Liegl, R...