Sciweavers

5683 search results - page 1032 / 1137
» Interactive Schedulability Analysis
Sort
View
SSDBM
2011
IEEE
239views Database» more  SSDBM 2011»
14 years 8 months ago
Recipes for Baking Black Forest Databases - Building and Querying Black Hole Merger Trees from Cosmological Simulations
Large-scale N-body simulations play an important role in advancing our understanding of the formation and evolution of large structures in the universe. These computations require ...
Julio López, Colin Degraf, Tiziana DiMatteo...
ACNS
2011
Springer
237views Cryptology» more  ACNS 2011»
14 years 8 months ago
Private Discovery of Common Social Contacts
The increasing use of computing devices for social interactions propels the proliferation of online social applications, yet, it prompts a number of privacy concerns. One common p...
Emiliano De Cristofaro, Mark Manulis, Bertram Poet...
BMCBI
2011
14 years 8 months ago
Determinants of Antigenicity and Specificity in immune response for Protein Sequences
Background: Target specific antibodies are pivotal for the design of vaccines, immunodiagnostic tests, studies on proteomics for cancer biomarker discovery, identification of prot...
Yulong Wang, Wenjun Wu, Nicolas N. Negre, Kevin P....
FASE
2011
Springer
14 years 8 months ago
Automated Learning of Probabilistic Assumptions for Compositional Reasoning
Probabilistic verification techniques have been applied to the formal modelling and analysis of a wide range of systems, from communication protocols such as Bluetooth, to nanosca...
Lu Feng, Marta Z. Kwiatkowska, David Parker
INFOCOM
2011
IEEE
14 years 7 months ago
Ubiquitous data collection for mobile users in wireless sensor networks
Abstract—We study the ubiquitous data collection for mobile users in wireless sensor networks. People with handheld devices can easily interact with the network and collect data....
Zhenjiang Li, Mo Li, Jiliang Wang, Zhichao Cao
« Prev « First page 1032 / 1137 Last » Next »