Sciweavers

1611 search results - page 320 / 323
» Crawler-Friendly Web Servers
Sort
View
NAR
2007
131views more  NAR 2007»
13 years 10 months ago
Snap: an integrated SNP annotation platform
Snap (Single Nucleotide Polymorphism Annotation Platform) is a server designed to comprehensively analyze single genes and relationships between genes basing on SNPs in the human ...
Shengting Li, Lijia Ma, Heng Li, Søren Vang...
ICFEM
2010
Springer
13 years 9 months ago
A Modular Scheme for Deadlock Prevention in an Object-Oriented Programming Model
Despite the advancements of concurrency theory in the past decades, practical concurrent programming has remained a challenging activity. Fundamental problems such as data races an...
Scott West, Sebastian Nanz, Bertrand Meyer
PVLDB
2010
91views more  PVLDB 2010»
13 years 9 months ago
Navigating in Complex Mashed-Up Applications
Mashups integrate a set of Web-services and data sources, often referred to as mashlets. We study in this paper a common scenario where these mashlets are components of larger Web...
Daniel Deutch, Ohad Greenshpan, Tova Milo
SAS
2010
Springer
141views Formal Methods» more  SAS 2010»
13 years 9 months ago
Statically Inferring Complex Heap, Array, and Numeric Invariants
We describe Deskcheck, a parametric static analyzer that is able to establish properties of programs that manipulate dynamically allocated memory, arrays, and integers. Deskcheck c...
Bill McCloskey, Thomas W. Reps, Mooly Sagiv
IEEECIT
2010
IEEE
13 years 8 months ago
Learning Autonomic Security Reconfiguration Policies
Abstract--We explore the idea of applying machine learning techniques to automatically infer risk-adaptive policies to reconfigure a network security architecture when the context ...
Juan E. Tapiador, John A. Clark