Sciweavers

1195 search results - page 47 / 239
» Modeling an Algebraic Stepper
Sort
View
EPEW
2008
Springer
15 years 8 months ago
A Ticking Clock: Performance Analysis of a Circadian Rhythm with Stochastic Process Algebra
We apply performance analysis techniques to a biological modelling problem, that of capturing and reproducing the Circadian rhythm. A Circadian rhythm provides cells with a clock b...
Jeremy T. Bradley
ADBIS
2007
Springer
137views Database» more  ADBIS 2007»
16 years 10 days ago
An Object-Oriented Based Algebra for Ontologies and Their Instances
Nowadays, ontologies are used in a lot of diverse research fields. They provide with the capability to describe a huge set of information contents. Therefore, several approaches f...
Stéphane Jean, Yamine Aït Ameur, Guy P...
IEEEARES
2010
IEEE
16 years 1 months ago
Formalization of Viruses and Malware Through Process Algebras
Abstract—Abstract virology has seen the apparition of successive viral models, all based on Turing-equivalent formalisms. Considering recent malware, these are only partially cov...
Grégoire Jacob, Eric Filiol, Hervé D...
BPSC
2009
152views Business» more  BPSC 2009»
15 years 7 months ago
A Formal Temporal Semantics for Microsoft Project based on Allen's Interval Algebra
Process modelling systems are complex and difficult to compare. A key attribute of any process modelling formalism or tool is time which involves how it handles and represents tem...
Denis Gagné, André Trudel
ENTCS
2010
119views more  ENTCS 2010»
15 years 6 months ago
Bio-PEPA for Epidemiological Models
Many models have been defined in order to describe the evolution of a disease in a population. The modelling of diseases is helpful to understand the mechanisms for their spread a...
Federica Ciocchetta, Jane Hillston