Sciweavers

2556 search results - page 204 / 512
» The Triconnected Abstraction of Process Models
Sort
View
ERLANG
2006
ACM
16 years 1 months ago
Concurrency oriented programming in termite scheme
Termite Scheme is a variant of Scheme intended for distributed computing. It offers a simple and powerful concurrency model, inspired by the Erlang programming language, which is ...
Guillaume Germain
FM
2005
Springer
125views Formal Methods» more  FM 2005»
16 years 21 days ago
End-to-End Integrated Security and Performance Analysis on the DEGAS Choreographer Platform
Abstract. We present a software tool platform which facilitates security and performance analysis of systems which starts and ends with UML model descriptions. A UML project is pre...
Mikael Buchholtz, Stephen Gilmore, Valentin Haenel...
SAMOS
2004
Springer
16 years 15 days ago
A High-Level Programming Paradigm for SystemC
The SystemC language plays an increasingly important role in the system-level design domain, facilitating designers to start with modeling and simulating system components and thei...
Mark Thompson, Andy D. Pimentel
DILS
2009
Springer
15 years 11 months ago
An Integration and Analysis Pipeline for Systems Biology in Crop Plant Metabolism
Abstract. To advance the comprehension of complex biological processes occurring in crop plants (e.g. for improvement of growth or yield) it is of high interest to reconstruct and ...
Stephan Weise, Christian Colmsee, Eva Grafahrend-B...
WSC
2008
15 years 9 months ago
Applying causal inference to understand emergent behavior
Emergent behaviors in simulations require explanation, so that valid behaviors can be separated from design or coding errors. Validation of emergent behavior requires accumulation...
Ross Gore, Paul F. Reynolds Jr.