1965 search results - page 26 / 393 » On the analysis of interacting pushdown systems |
DSN
2007
IEEE
14 years 3 months ago
2007
IEEE
Dynamic Fault Trees (DFT) extend standard fault trees by allowing the modeling of complex system components’ behaviors and interactions. Being a high level model and easy to use...
IUI
2009
ACM
14 years 5 months ago
2009
ACM
In music information retrieval (MIR), there are two main research directions, which are based either on a folder hierarchy and metadata, or on the actual acoustic content. We beli...
SIGSOFT
2010
ACM
13 years 6 months ago
2010
ACM
The global interaction behavior in message-based systems can be specified as a finite-state machine defining acceptable sequences of messages exchanged by a group of peers. Realiz...
ICIP
2009
IEEE
14 years 9 months ago
2009
IEEE
We consider a video streaming system in which the user can interactively watch an arbitrary region of a high-spatial-resolution scene. Region-of-interest (RoI) prediction helps pr...
BIOCOMP
2008
13 years 10 months ago
2008
Computational analyses of protein structure-function relationships have traditionally been based on sequence homology, fold family analysis and 3D motifs/templates. Previous struct...