13985 search results - page 87 / 2797 » Active Feature Models |
118
Voted
JCS
2010
15 years 29 days ago
2010
raction of cryptographic operations by term algebras, called Dolev-Yao models, is essential in almost all tool-supported methods for proving security protocols. Recently significa...
120
click to vote
BPM
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. The aim of this paper is to show how the use of social networks may help users to behave as modelers they trust. Users are guided in this respect within the context of an...
127
click to vote
TIP
2008
15 years 2 months ago
2008
This paper addresses object tracking in ultrasound images using a robust multiple model tracker. The proposed tracker has the following features: 1) it uses multiple dynamic models...
204
Voted
BIOCOMP
2010
15 years 16 days ago
2010
Abstract-- Modeling the intermolecular reactions in a single cell is a critical problem in computational biology. Biochemical reaction systems often involve species in both low and...
137
Voted
EKNOW
2009
15 years 9 days ago
2009
Modeling is a complex and central activity in many domains. Domain experts and designers usually work by drawing and create models from the middle-out; however, visual and middle-...