Sciweavers

1502 search results - page 200 / 301
» Computational Realizations of Living Systems
Sort
View
ICMCS
2010
IEEE
186views Multimedia» more  ICMCS 2010»
15 years 7 months ago
Worthy visual content on mobile through interactive video streaming
This paper builds on an interactive streaming architecture that supports both user feedback interpretation, and temporal juxtaposition of multiple video bitstreams in a single str...
Ivan Alen Fernandez, Christophe De Vleeschouwer, F...
ANOR
2010
125views more  ANOR 2010»
15 years 6 months ago
A Bayesian approach for the alignment of high-resolution NMR spectra
: The rapid progresses in human genome project and biotechnologies result in the sheer volume of datasets associated with in-depth scientific knowledge. Metabolomics is defined as ...
Seoung Bum Kim, Zhou Wang, Basavaraj Hiremath
SIAMCOMP
2002
90views more  SIAMCOMP 2002»
15 years 6 months ago
A Virtually Synchronous Group Multicast Algorithm for WANs: Formal Approach
This paper presents a formal design for a novel group communication service targeted for WANs. The service provides Virtual Synchrony semantics. Such semantics facilitate the desi...
Idit Keidar, Roger Khazan
ESOP
2012
Springer
14 years 2 months ago
Multiparty Session Types Meet Communicating Automata
Communicating finite state machines (CFSMs) represent processes which communicate by asynchronous exchanges of messages via FIFO channels. Their major impact has been in character...
Pierre-Malo Deniélou, Nobuko Yoshida
EUROPAR
2008
Springer
15 years 8 months ago
DGSim: Comparing Grid Resource Management Architectures through Trace-Based Simulation
Abstract. Many advances in grid resource management are still required to realize the grid computing vision of the integration of a worldwide computing infrastructure for scientifi...
Alexandru Iosup, Omer Ozan Sonmez, Dick H. J. Epem...