977 search results - page 116 / 196 » Logic-Based Modeling in Systems Biology |
174
click to vote
ECAL
2007
Springer
15 years 6 months ago
2007
Springer
Current biological theory has no commonly accepted view on the phenomenon of aging. On the one hand it is considered as an inescapable degradation immanent to complex biological sy...
108
click to vote
ASM
2010
ASM
15 years 3 months ago
2010
ASM
The B method is one of the most used formal methods, when reactive systems is under question, due to good support for refinement. However, obtaining the formal model from requireme...
ASM
2008
ASM
15 years 1 months ago
2008
ASM
A Virtual Machine (VM) is a program running on a conventional microprocessor that emulates the binary instruction set, registers, and memory space of an idealized computing machine...
ACSAC
2008
IEEE
15 years 6 months ago
2008
IEEE
Computer security systems protect computers and networks from unauthorized use by external agents and insiders. The similarities between computer security and the problem of prote...
FGR
1996
IEEE
15 years 4 months ago
1996
IEEE
We present a system for generation and recognition of oscillatory gestures. Inspired by gestures used in two representative human-tohuman control areas, we consider a set of oscil...