209 search results - page 29 / 42 » Optimizing user views for workflows |
ECBS
2003
IEEE
14 years 20 days ago
2003
IEEE
We present an algebraic framework for evidence exploration: the process of interpreting, manipulating, and navigating the proof structure or evidence produced by a model checker w...
IADIS
2003
13 years 8 months ago
2003
Demand responsive transport services are systems that assign users’ specific transport requests to different vehicles enabled to fulfill the required service. In order to contai...
DEBU
2002
13 years 7 months ago
2002
An increasing number of business users and software applications need to process information that is accessible via multiple diverse information systems, such as database systems,...
NAR
2000
13 years 7 months ago
2000
The AMmtDB database (http://bio-www.ba.cnr.it:8000/ srs6/ ) has been updated by collecting the multi-aligned sequences of Chordata mitochondrial genes coding for proteins and tRNA...
CIDR
2011
12 years 11 months ago
2011
A stream warehouse is a Data Stream Management System (DSMS) that stores a very long history, e.g. years or decades; or equivalently a data warehouse that is continuously loaded. ...