726 search results - page 105 / 146 » Formal Verification and Validation of Interactive Systems Sp... |
JLP
2008
15 years 4 months ago
2008
A bio-inspired language is presented. Its terms are processes enclosed into boxes with typed interaction sites. The main feature of the formalism lays in the fact that the key-loc...
116
click to vote
ACOM
2004
Springer
15 years 8 months ago
2004
Springer
The Cognitive Agent Specification Language (CASL) is a framework for specifying and verifying complex communicating multiagent systems. In this paper, we develop an extended versi...
128
click to vote
ECAI
2008
Springer
15 years 6 months ago
2008
Springer
Multiagent research provides an extensive literature on formal Belief-Desire-Intention (BDI) based models describing the notions of teamwork and cooperation, but adversarial and c...
145
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: Genetic interaction profiles are highly informative and helpful for understanding the functional linkages between genes, and therefore have been extensively exploited ...
159
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: MicroRNAs (miRNAs) are a set of small non-coding RNAs serving as important negative gene regulators. In animals, miRNAs turn down protein translation by binding to the...