Sciweavers

4815 search results - page 26 / 963
» A Pattern Approach to Modeling the Provider Selection Proble...
Sort
View
QSIC
2007
IEEE
15 years 3 months ago
Model Checking Security Pattern Compositions
Security patterns capture best practice on secure software design and development. They document typical solutions to security problems. To ensure security, large software system ...
Jing Dong, Tu Peng, Yajing Zhao
ASM
2008
ASM
14 years 11 months ago
Modeling Workflows, Interaction Patterns, Web Services and Business Processes: The ASM-Based Approach
Abstract. We survey the use of the Abstract State Machines (ASM) method for a rigorous foundation of modeling and validating web services, workflows, interaction patterns and busin...
Egon Börger, Bernhard Thalheim
CVPR
2010
IEEE
14 years 7 months ago
Group motion segmentation using a Spatio-Temporal Driving Force Model
We consider the `group motion segmentation' problem and provide a solution for it. The group motion segmentation problem aims at analyzing motion trajectories of multiple obj...
Ruonan Li, Rama Chellappa
JMLR
2010
158views more  JMLR 2010»
14 years 4 months ago
Topology Selection in Graphical Models of Autoregressive Processes
An algorithm is presented for topology selection in graphical models of autoregressive Gaussian time series. The graph topology of the model represents the sparsity pattern of the...
Jitkomut Songsiri, Lieven Vandenberghe
EKAW
2008
Springer
14 years 11 months ago
A Pattern and Rule-Based Approach for Reusing Adaptive Hypermedia Creator's Models
The design of Adaptive Hypermedia is a difficult task which can be made easier if generic systems and AH creators' models are reused. We address this design problem in the set...
Nadjet Zemirline, Chantal Reynaud, Yolaine Bourda,...