671 search results - page 98 / 135 » Semantics Preserving Model Composition |
EMSOFT
2007
Springer
14 years 3 months ago
2007
Springer
We address the problem of mapping a set of processes which communicate synchronously on a distributed platform. The Time Triggered Architecture (TTA) proposed by Kopetz for the co...
DILS
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Ecologists spend considerable effort integrating heterogeneous data for statistical analyses and simulations, for example, to run and test predictive models. Our research...
BMCBI
2008
13 years 9 months ago
2008
Background: Research in life sciences is benefiting from a large availability of formal description techniques and analysis methodologies. These allow both the phenomena investiga...
ICLP
2005
Springer
14 years 3 months ago
2005
Springer
We present a methodology for the modeling of complex program behavior in CLP. In the first part we present an informal description about how to represent a system in CLP. At its ...
DEXAW
2004
IEEE
14 years 1 months ago
2004
IEEE
The preservation and representation of folklore collections is a basic priority for every country because they are valuable for studying the customs and the tradition of specific ...