6527 search results - page 1299 / 1306 » On Typing Information Flow |
NAR
2011
13 years 2 months ago
2011
miRGator is an integrated database of microRNA (miRNA)-associated gene expression, target prediction, disease association and genomic annotation, which aims to facilitate function...
IJAHUC
2010
13 years 2 months ago
2010
Abstract: The unique characteristics of space networks lead to different research approaches from those in terrestrial networks. In this paper, a routing framework called Space Gat...
JCST
2010
13 years 2 months ago
2010
Abstract The significant overhead related to frequent location updates from moving objects often results in poor performance. As most of the location updates do not affect the quer...
SIGSOFT
2010
ACM
13 years 2 months ago
2010
ACM
Although a number of automatic tools have been developed to detect faults, much of the diagnosis is still being done manually. To help with the diagnostic tasks, we formally intro...
TOPNOC
2010
13 years 2 months ago
2010
Information systems supporting business process are mostly very complex. If we have to ensure that certain business rules are enforced in a business process, it is often easier to ...