Sciweavers

1922 search results - page 89 / 385
» Systems biology, models, and concurrency
Sort
View
ICLP
2010
Springer
15 years 10 months ago
Structured Interactive Musical Scores
Interactive Scores is a formalism for the design and performance of interactive scenarios that provides temporal relations (TRs) among the objects of the scenario. We can model TRs...
Mauricio Toro-Bermudez
DAC
1999
ACM
16 years 7 months ago
Synthesis of Embedded Software Using Free-Choice Petri Nets
Software synthesis from a concurrent functional specification is a key problem in the design of embedded systems. A concurrent specification is well-suited for medium-grained part...
Marco Sgroi, Luciano Lavagno
ISTCS
1992
Springer
15 years 9 months ago
Concurrent Timestamping Made Simple
Concurrent Time-stamp Systems (ctss) allow processes to temporally order concurrent events in an asynchronous shared memorysystem, a powerful tool for concurrency control, serving...
Rainer Gawlick, Nancy A. Lynch, Nir Shavit
BMCBI
2007
95views more  BMCBI 2007»
15 years 6 months ago
Logical modelling and analysis of the budding yeast cell cycle
ent> <title> <p>Highlights from the Third International Society for Computational Biology (ISCB) Student Council Symposium at the Fifteenth Annual International Conf...
Adrien Fauré, Claudine Chaouiya, Andrea Cil...
AIME
2009
Springer
16 years 27 days ago
Towards the Merging of Multiple Clinical Protocols and Guidelines via Ontology-Driven Modeling
Abstract. Decision support systems based on computerized Clinical Protocols (CP) and Clinical Practice Guidelines (CPG) fall short when dealing with patient co-morbidites, as this ...
Samina Raza Abidi, Syed Sibte Raza Abidi