Sciweavers

100 search results - page 14 / 20
» Formal Executable Descriptions of Biological Systems
Sort
View
WSC
1998
15 years 1 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
ASM
2008
ASM
15 years 2 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
105
Voted
EAGC
2004
Springer
15 years 5 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...
95
Voted
ICST
2008
IEEE
15 years 6 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 ...
105
Voted
HYBRID
2001
Springer
15 years 4 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