Sciweavers

660 search results - page 68 / 132
» Problems of Consolidating Usability Problems
Sort
View
MMS
2007
13 years 9 months ago
Die benutzerzentrierte Entwicklung mobiler Unternehmenssoftware
: Der vorliegende Artikel beschreibt eine aus agilen Entwicklungsmethoden und Usability Engineering zusammengesetzte Methode zur Entwicklung mobiler Unternehmenssoftware. Er führt...
Thomas Ritz
BMCBI
2005
104views more  BMCBI 2005»
13 years 7 months ago
Wildfire: distributed, Grid-enabled workflow construction and execution
Background: We observe two trends in bioinformatics: (i) analyses are increasing in complexity, often requiring several applications to be run as a workflow; and (ii) multiple CPU...
Francis Tang, Ching Lian Chua, Liang-Yoong Ho, Yun...
WWW
2001
ACM
14 years 8 months ago
Support concepts for Web navigation: a cognitive engineering approach
Current Network User Interfaces (NUIs) provide entrances to an enormous amount of Web-based services, bringing about new use problems such as laborious and unsuccessful navigation...
Mark A. Neerincx, Jasper Lindenberg, Steven Pember...
CAV
2009
Springer
212views Hardware» more  CAV 2009»
14 years 8 months ago
Beaver: Engineering an Efficient SMT Solver for Bit-Vector Arithmetic
We present the key ideas in the design and implementation of Beaver, an SMT solver for quantifier-free finite-precision bit-vector logic (QF BV). Beaver uses an eager approach, enc...
Susmit Jha, Rhishikesh Limaye, Sanjit A. Seshia
MATES
2010
Springer
13 years 6 months ago
Context-Aware Route Planning
Context-aware routing is the problem of finding the shortest route from a start location to a destination location while taking into account the planned movements of other agents...
Adriaan ter Mors, Cees Witteveen, Jonne Zutt, Fern...