Sciweavers

1075 search results - page 105 / 215
» Toward a Verified Relational Database Management System
Sort
View
CHI
2009
ACM
14 years 9 months ago
Towards systematic usability verification
Although usability is the core aspect of the whole HCI research field, it still waits for its economic breakthrough. There are some corporations that are famous for their usable p...
Jan Borchers, Jonathan Diehl, Markus Jordans, Max ...
DEXAW
1998
IEEE
160views Database» more  DEXAW 1998»
14 years 1 months ago
Coordination in Message-Based Environments: Restructuring Internet E-Mail to Accomplish Tasks
In this paper we consider e-mail as a task management tool. Our general goal is to restructure the domain of e-mail. The purpose is to make e-mail even more suitable for messageba...
Juha Takkinen, Nahid Shahmehri
SIGMOD
2007
ACM
225views Database» more  SIGMOD 2007»
14 years 9 months ago
From complete to incomplete information and back
Incomplete information arises naturally in numerous data management applications. Recently, several researchers have studied query processing in the context of incomplete informat...
Lyublena Antova, Christoph Koch, Dan Olteanu
BMCBI
2010
153views more  BMCBI 2010»
13 years 9 months ago
MimoSA: a system for minimotif annotation
Background: Minimotifs are short peptide sequences within one protein, which are recognized by other proteins or molecules. While there are now several minimotif databases, they a...
Jay Vyas, Ronald J. Nowling, Thomas Meusburger, Da...
DEBU
2007
75views more  DEBU 2007»
13 years 8 months ago
SQL Anywhere: An Embeddable DBMS
We present an overview of the embeddability features of SQL Anywhere, a full-function relational database system designed for frontline business environments with minimal administ...
Ivan T. Bowman, Peter Bumbulis, Dan Farrar, Anil K...