1222 search results - page 182 / 245 » A Bayesian Approach to Model Checking Biological Systems |
116
click to vote
DAGSTUHL
2006
15 years 5 months ago
2006
BioAmbients is a derivative of mobile ambients that has shown promise of describing interesting features of the behaviour of biological systems. The technical contribution of this...
148
click to vote
CAISE
2010
Springer
15 years 24 days ago
2010
Springer
Abstract. The increasing adoption of MDD (Model Driven Development) techniques favored the use of large models of different types. It turns out that when the modeled system gets la...
125
click to vote
ASAP
2009
IEEE
16 years 1 months ago
2009
IEEE
—This paper describes the acceleration of virtual ecology models using field-programmable gate arrays (FPGAs). Our approach targets models generated by the Virtual Ecology Workb...
133
click to vote
ASM
2005
ASM
15 years 9 months ago
2005
ASM
State machines are considered a very general means of expressing computations in an implementation-independent way. There are also ways to extend the general state machine framewor...
140
click to vote
IS
2010
15 years 2 months ago
2010
Existing Digital Rights Management systems, initiatives like Creative Commons or research works as some digital rights ontologies provide limited support for content value chains m...