Sciweavers

634 search results - page 76 / 127
» Consistent price systems under model uncertainty
Sort
View
ICPPW
2002
IEEE
15 years 2 months ago
SNOW: Software Systems for Process Migration in High-Performance, Heterogeneous Distributed Environments
This paper reports our experiences on the Scalable Network Of Workstation (SNOW) project, which implements a novel methodology to support user-level process migration for traditio...
Kasidit Chanchio, Xian-He Sun
ADHOC
2007
169views more  ADHOC 2007»
14 years 10 months ago
Ensuring strong data guarantees in highly mobile ad hoc networks via quorum systems
Ensuring the consistency and the availability of replicated data in highly mobile ad hoc networks is a challenging task because of the lack of a backbone infrastructure. Previous ...
Daniela Tulone
AICOM
2005
97views more  AICOM 2005»
14 years 9 months ago
The Ants' Garden: Complex interactions between populations and the scalability of qualitative models
Ecological theories often explain the behaviour of communities in terms of the underlying interactions that take place between the species that are part of the community. This clos...
Bert Bredeweg, Paulo Salles
JBI
2002
14 years 9 months ago
Revising regulatory networks: from expression data to linear causal models
Discovering the complex regulatory networks that govern mRNA expression is an important but difficult problem. Many current approaches use only expression data from microarrays to...
Stephen D. Bay, Jeff Shrager, Andrew Pohorille, Pa...
CORR
2008
Springer
179views Education» more  CORR 2008»
14 years 10 months ago
Practical Automated Partial Verification of Multi-Paradigm Real-Time Models
This article introduces a fully automated verification technique that permits to analyze real-time systems described using a continuous notion of time and a mixture of operational...
Carlo A. Furia, Matteo Pradella, Matteo Rossi