Sciweavers

3653 search results - page 521 / 731
» Analyzing language development from a network approach
Sort
View
POPL
2005
ACM
16 years 6 months ago
Permission accounting in separation logic
A lightweight logical approach to race-free sharing of heap storage between concurrent threads is described, based on the notion of permission to access. Transfer of permission be...
Richard Bornat, Cristiano Calcagno, Peter W. O'Hea...
IMC
2009
ACM
16 years 1 months ago
Modeling user activities in a large IPTV system
Internet Protocol Television (IPTV) has emerged as a new delivery method for TV. In contrast with native broadcast in traditional cable and satellite TV system, video streams in I...
Tongqing Qiu, Zihui Ge, Seungjoon Lee, Jia Wang, J...
BMCBI
2007
120views more  BMCBI 2007»
15 years 6 months ago
Recognition of interferon-inducible sites, promoters, and enhancers
Background: Computational analysis of gene regulatory regions is important for prediction of functions of many uncharacterized genes. With this in mind, search of the target genes...
Elena A. Ananko, Yury V. Kondrakhin, Tatyana I. Me...
PERCOM
2009
ACM
16 years 7 months ago
Towards Adaptive Resource-Driven Routing
In pervasive computing environments, applications find themselves in constantly changing operating conditions. Such applications often need to discover locally available resources ...
Angela Dalton, Christine Julien
DSN
2009
IEEE
16 years 1 months ago
I-JVM: a Java Virtual Machine for component isolation in OSGi
The OSGi framework is a Java-based, centralized, component oriented platform. It is being widely adopted as an execution environment for the development of extensible applications...
Nicolas Geoffray, Gaël Thomas, Gilles Muller,...