100 search results - page 17 / 20 » Formal Executable Descriptions of Biological Systems |
102
click to vote
CSIE
2009
IEEE
15 years 1 months ago
2009
IEEE
Succinct test script with high efficiency is one of key point for automation of embedded software testing. In this paper, we integrated object technique with automated simulation ...
DEBS
2009
ACM
15 years 6 months ago
2009
ACM
We study the development of distributed agent environments as distributed event-based systems specified in the Ambient Event Calculus (AEC). The AEC is a logic-based formalism th...
108
click to vote
SAC
2003
ACM
15 years 5 months ago
2003
ACM
Based on the limitations raised by existing approaches in the context of the Semantic Web, we propose a formalism, Web Sources Global Ontology (WebSOGO), a data meta-model for the...
114
Voted
HPDC
2010
IEEE
15 years 1 months ago
2010
IEEE
The explosion of data in the biological community demands the development of more scalable and flexible portals for bioinformatic computation. To address this need, we put forth c...
108
click to vote
SIGSOFT
2002
ACM
16 years 1 months ago
2002
ACM
We propose a unifying framework for model-based specification notations. Our framework captures the execution semantics that are common among model-based notations, and leaves the...