Sciweavers

357 search results - page 36 / 72
» On Reversibility and Determinism in P Systems
Sort
View
CCS
2011
ACM
12 years 8 months ago
Forensic investigation of the OneSwarm anonymous filesharing system
OneSwarm is a system for anonymous p2p file sharing in use by thousands of peers. It aims to provide Onion Routing-like privacy and BitTorrent-like performance. We demonstrate se...
Swagatika Prusty, Brian Neil Levine, Marc Liberato...
IJCAI
1993
13 years 9 months ago
A Model-Theoretic Approach to the Verification of Situated Reasoning Systems
agent-oriented system. We show the complexity to be linear time for one of these logics and polynomial time for another, thus providing encouraging results with respect to the prac...
Anand S. Rao, Michael P. Georgeff
BIBM
2008
IEEE
125views Bioinformatics» more  BIBM 2008»
13 years 8 months ago
Systems Biology via Redescription and Ontologies (III): Protein Classification Using Malaria Parasite's Temporal Transcriptomic
This paper addresses the protein classification problem, and explores how its accuracy can be improved by using information from time-course gene expression data. The methods are ...
Antonina Mitrofanova, Samantha Kleinberg, Jane Car...
ICCCN
2007
IEEE
14 years 2 months ago
Understanding Peer-level Performance in BitTorrent: A Measurement Study
—The observed performance by individual peers in BitTorrent can be simply measured by their average download rate. While it is often stated that the observed peer-level performan...
Amir H. Rasti, Reza Rejaie
NSDI
2008
13 years 10 months ago
Using Salience Differentials to Making Visual Cues Noticeable
There is a large body of research on how to design user interfaces for systems so as to ensure that important messages from the systems are presented to the user to maximize the p...
Andreas P. Heiner, N. Asokan