Sciweavers

4353 search results - page 242 / 871
» Computational Challenges of Systems Biology
Sort
View
EVOW
2009
Springer
16 years 1 months ago
Swarming for Games: Immersion in Complex Systems
Abstract. The swarm metaphor stands for dynamic, complex interaction networks with the possibility of emergent phenomena. In this work, we present two games that challenge the vide...
Sebastian von Mammen, Christian Jacob
CARDIS
2006
Springer
109views Hardware» more  CARDIS 2006»
15 years 10 months ago
A Smart Card-Based Mental Poker System
On-line casinos have experienced a great expansion since the generalized use of Internet started. There exist in the literature several proposals of systems allowing secure remote ...
Jordi Castellà-Roca, Josep Domingo-Ferrer, ...
PDPTA
2008
15 years 8 months ago
A Parallel Processing Architecture for Solving Large-Scale Linear Systems
Solving linear systems with a large number of variables is at the core of many scienti c problems. Parallel processing techniques for solving such systems have received much attent...
Arun Nagari, Itamar Elhanany, Ben Thompson, Fangxi...
IPPS
2002
IEEE
15 years 11 months ago
Supporting Co-Allocation in an Auctioning-Based Resource Allocator for Grid Systems
In this paper, we present the overall design for an auctioning based resource trading/acquiring system that can be deployed in wide-area computing systems such as Grid systems. Se...
Chunming Chen, Muthucumaru Maheswaran, Michel Toul...
198
Voted
IFM
2010
Springer
190views Formal Methods» more  IFM 2010»
15 years 5 months ago
On Model Checking Techniques for Randomized Distributed Systems
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
Christel Baier