Sciweavers

835 search results - page 26 / 167
» A calculus of challenges and responses
Sort
View
CMSB
2009
Springer
14 years 2 months ago
The Equivalence between Biology and Computation
A major challenge in computational systems biology is the articulation of a biological process in a form which can be understood by the biologist yet is amenable to computational e...
John K. Heath
IANDC
2010
83views more  IANDC 2010»
13 years 6 months ago
Static analysis of topology-dependent broadcast networks
Broadcast semantics poses significant challenges over point-to-point communication when it comes to formal modelling and analysis. Current approaches to analysing broadcast netwo...
Sebastian Nanz, Flemming Nielson, Hanne Riis Niels...
HICSS
2007
IEEE
122views Biometrics» more  HICSS 2007»
14 years 2 months ago
Conversational Coherence in Instant Messaging and Getting Work Done
This paper explores the critical role conversational coherence plays in facilitating the ongoing, distributed work of one virtual team as they engage in instant messaging (IM) con...
Stephanie L. Woerner, JoAnne Yates, Wanda J. Orlik...
CTRSA
2005
Springer
88views Cryptology» more  CTRSA 2005»
14 years 1 months ago
Sub-linear Queries Statistical Databases: Privacy with Power
Abstract. We consider a statistical database in which a trusted administrator introduces noise to the query responses with the goal of maintaining privacy of individual database en...
Cynthia Dwork
RTSS
1997
IEEE
13 years 12 months ago
Response-time guarantees in ATM networks
We present a method for providing response-time guarantees in Asynchronous Transfer Mode (ATM) networks. The method is based on traditional real-time CPU Response-Time Analysis (R...
Andreas Ermedahl, Hans Hansson, Mikael Sjödin