1222 search results - page 152 / 245 » A Bayesian Approach to Model Checking Biological Systems |
172
click to vote
ENTCS
2006
15 years 4 months ago
2006
Model-Driven Architecture is an approach of the OMG, its objective is to tackle problems such as: the high availability that a software product requires to be ready for use, the h...
122
click to vote
FPLAY
2008
15 years 6 months ago
2008
This paper presents a game-model of a gym training system, where the behavior of the system is specified using languages developed originally for reactive system design, which dri...
152
click to vote
ACSAC
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract—The traditional virtual machine usage model advocates placing security mechanisms in a trusted VM layer and letting the untrusted guest OS run unaware of the presence of...
169
click to vote
ACST
2006
15 years 5 months ago
2006
Pattern discovery in DNA sequences is one of the most challenging tasks in molecular biology and computer science. The main goal of pattern discovery in DNA sequences is to identi...
157
click to vote
ICMI
2004
Springer
15 years 9 months ago
2004
Springer
In this paper, we propose a multimodal system for detecting human activity and interaction patterns in a nursing home. Activities of groups of people are firstly treated as intera...