Sciweavers

13913 search results - page 184 / 2783
» models 2007
Sort
View
LCPC
2007
Springer
16 years 1 months ago
Capsules: Expressing Composable Computations in a Parallel Programming Model
Hasnain A. Mandviwala, Umakishore Ramachandran, Ka...
MDM
2007
Springer
101views Communications» more  MDM 2007»
16 years 1 months ago
CADD: A Tool for Context Modeling and Data Tailoring
Cristiana Bolchini, Carlo Curino, Giorgio Orsi, El...
MEMBRANE
2007
Springer
16 years 1 months ago
The Calculus of Looping Sequences for Modeling Biological Membranes
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo ...
OR
2007
Springer
16 years 1 months ago
Coping with Incomplete Information in Scheduling - Stochastic and Online Models
version of this extended abstract is published as [6].
Nicole Megow
PROMAS
2007
Springer
16 years 1 months ago
Hybrid Multiagent Systems with Timed Synchronization - Specification and Model Checking
Ulrich Furbach, Jan Murray, Falk Schmidsberger, Fr...