Sciweavers

598 search results - page 76 / 120
» Note on parallel universes
Sort
View
CONCUR
2007
Springer
15 years 3 months ago
Coalgebraic Models for Reactive Systems
Abstract. Reactive Systems `a la Leifer and Milner allow to derive from a reaction semantics definition an LTS equipped with a bisimilarity relation which is a congruence. This th...
Filippo Bonchi, Ugo Montanari
ECAL
2007
Springer
15 years 3 months ago
Turing Complete Catalytic Particle Computers
The Bare Bones language is a programming language with a minimal set of operations that exhibits universal computation. We present a conceptual framework, Chemical Bare Bones, to c...
Anthony M. L. Liekens, Chrisantha Thomas Fernando
FCT
2007
Springer
15 years 3 months ago
A String-Based Model for Simple Gene Assembly
Abstract. The simple intramolecular model for gene assembly in ciliates is particularly interesting because it can predict the correct assembly of all available experimental data, ...
Robert Brijder, Miika Langille, Ion Petre
SKG
2005
IEEE
15 years 3 months ago
Information Services for Dynamically Assembled Semantic Grids
The information management requirements in systems based on Web Service Architecture principles include both the management of large amounts of relatively static services and assoc...
Mehmet S. Aktas, Geoffrey Fox, Marlon E. Pierce
JSSPP
2005
Springer
15 years 3 months ago
Co-scheduling with User-Settable Reservations
As grid computing becomes more commonplace, so does the importance of coscheduling these geographically distributed resourcest. Negotiating resource management and scheduling deci...
Kenneth Yoshimoto, Patricia A. Kovatch, Phil Andre...