1054 search results - page 190 / 211 » Compositional Refinement of Interactive Systems Modelled by ... |
ACMDIS
2004
ACM
14 years 6 days ago
2004
ACM
The success of translating an analog or manual practice into a digital interactive system may depend on how well that translation captures not only the functional what and how asp...
MC
2003
13 years 8 months ago
2003
Web systems suffer from an inability to satisfy heterogeneous needs of many users. A remedy for the negative effects of the traditional "one-size-fits-all'' approac...
KDD
2008
ACM
14 years 7 months ago
2008
ACM
The BioJournalMonitor is a decision support system for the analysis of trends and topics in the biomedical literature. Its main goal is to identify potential diagnostic and therap...
WWW
2008
ACM
14 years 7 months ago
2008
ACM
Contextual advertising supports much of the Web's ecosystem today. User experience and revenue (shared by the site publisher ad the ad network) depend on the relevance of the...
SIGMOD
2007
ACM
14 years 7 months ago
2007
ACM
Translating data and data access operations between applications and databases is a longstanding data management problem. We present a novel approach to this problem, in which the...