4963 search results - page 897 / 993 » Implementing a Categorical Information System |
179
click to vote
RV
2010
Springer
15 years 4 months ago
2010
Springer
We describe a combination of runtime information and static analysis for checking properties of complex and configurable systems. The basic idea of our approach is to 1) let the p...
180
click to vote
SIGOPS
2010
15 years 4 months ago
2010
Today’s Rich Internet Application (RIA) technologies such as Ajax, Flex, or Silverlight, are designed around the client-server paradigm and cannot easily take advantage of repli...
213
click to vote
IMC
2010
ACM
15 years 4 months ago
2010
ACM
Network-level redundancy elimination (RE) algorithms reduce traffic volume on bandwidth-constrained network paths by avoiding the transmission of repeated byte sequences. Previous...
201
click to vote
NAR
2011
14 years 9 months ago
2011
Genome-wide association studies often incorporate information from public biological databases in order to provide a biological reference for interpreting the results. The dbSNP d...
204
click to vote
ICDE
2012
IEEE
13 years 8 months ago
2012
IEEE
Abstract— Recently, lots of micro-blog message sharing applications have emerged on the web. Users can publish short messages freely and get notified by the subscriptions instan...