1995 search results - page 383 / 399 » interfaces 2008 |
197
Voted
SIGMOD
2008
ACM
16 years 15 days ago
2008
ACM
Data integration systems offer a uniform interface to a set of data sources. Despite recent progress, setting up and maintaining a data integration application still requires sign...
164
click to vote
SIGMOD
2008
ACM
16 years 15 days ago
2008
ACM
Online bibliographic databases, such as DBLP in computer science and PubMed in medical sciences, contain abundant information about research publications in different fields. Each...
117
Voted
ICFP
2008
ACM
16 years 9 days ago
2008
ACM
Transactional events (TE) are an approach to concurrent programming that enriches the first-class synchronous message-passing of Concurrent ML (CML) with a combinator that allows ...
103
click to vote
ICFP
2008
ACM
16 years 9 days ago
2008
ACM
We describe an axiomatic extension to the Coq proof assistant, that supports writing, reasoning about, and extracting higher-order, dependently-typed programs with side-effects. C...
115
Voted
MOBISYS
2008
ACM
15 years 12 months ago
2008
ACM
Personal mobile devices are increasingly equipped with the capability to sense the physical world (through cameras, microphones, and accelerometers, for example) and the network w...