Sciweavers

4353 search results - page 219 / 871
» Computational Challenges of Systems Biology
Sort
View
BIRTHDAY
2008
Springer
15 years 8 months ago
A Type System for Client Progress in a Service-Oriented Calculus
We introduce a type system providing a guarantee of client progress for a fragment of CaSPiS, a recently proposed process calculus for serviceoriented applications. The interplay o...
Lucia Acciai, Michele Boreale
DEBS
2010
ACM
15 years 4 months ago
Reliable fault-tolerant sensors for distributed systems
Providing reliable fault-tolerant sensors is a challenge for distributed systems. The demonstration setup combines three sensors and allows to inject different faults that are rel...
Sebastian Zug, Michael Schulze, André Dietr...
BMCBI
2010
135views more  BMCBI 2010»
15 years 6 months ago
Detecting disease associated modules and prioritizing active genes based on high throughput data
Background: The accumulation of high-throughput data greatly promotes computational investigation of gene function in the context of complex biological systems. However, a biologi...
Yu-Qing Qiu, Shi-Hua Zhang, Xiang-Sun Zhang, Luona...
NSDI
2010
15 years 8 months ago
Carousel: Scalable Logging for Intrusion Prevention Systems
We address the problem of collecting unique items in a large stream of information in the context of Intrusion Prevention Systems (IPSs). IPSs detect attacks at gigabit speeds and...
Vinh The Lam, Michael Mitzenmacher, George Varghes...
KIVS
2005
Springer
16 years 5 days ago
Reconfigurable consumer direct logistics systems
Abstract: The goals of the interdisciplinary project HORN were as well to improve competitiveness of service providers that deliver grocery items as to develop new hardware and sof...
Sébastien Truchat, Alexander Pflaum