Sciweavers

100 search results - page 14 / 20
» Formal Executable Descriptions of Biological Systems
Sort
View
122
Voted
WSC
1998
15 years 5 months ago
Informational Macrodynamics: System Modelling and Simulation Methodologies
Informational Macrodynamics (IMD) presents a unified informational systemic approach with common information language for modeling, analysis and optimization of a variety of inter...
Vladimir S. Lerner
132
Voted
ASM
2008
ASM
15 years 5 months ago
Using EventB to Create a Virtual Machine Instruction Set Architecture
A Virtual Machine (VM) is a program running on a conventional microprocessor that emulates the binary instruction set, registers, and memory space of an idealized computing machine...
Stephen Wright
139
Voted
EAGC
2004
Springer
15 years 9 months ago
Pegasus: Mapping Scientific Workflows onto the Grid
In this paper we describe the Pegasus system that can map complex workflows onto the Grid. takes an abstract description of a workflow and finds the appropriate data and Grid reso...
Ewa Deelman, James Blythe, Yolanda Gil, Carl Kesse...
128
Voted
ICST
2008
IEEE
15 years 10 months ago
Scheduling Timed Modules for Correct Resource Sharing
Real-time embedded systems typically include concurrent tasks of different priorities with time-dependent operations accessing common resources. In this context, unsynchronized pa...
Cristina Cerschi Seceleanu, Paul Pettersson, Hans ...
146
Voted
HYBRID
2001
Springer
15 years 8 months ago
Hybrid Modeling and Simulation of Biomolecular Networks
Abstract. In a biological cell, cellular functions and the genetic regulatory apparatus are implemented and controlled by a network of chemical reactions in which regulatory protei...
Rajeev Alur, Calin Belta, Franjo Ivancic