Sciweavers

9974 search results - page 142 / 1995
» Software Interconnection Models
Sort
View
SSIRI
2010
14 years 11 months ago
Model-Based Argument Analysis for Evolving Security Requirements
Thein Than Tun, Yijun Yu, Charles B. Haley, Bashar...
ICSE
2009
IEEE-ACM
14 years 11 months ago
A formal model for self-adaptive and self-healing organizations
Robrecht Haesevoets, Danny Weyns, Tom Holvoet, Wou...
ICFEM
2010
Springer
14 years 11 months ago
Model Checking Hierarchical Probabilistic Systems
Jun Sun 0001, Songzheng Song, Yang Liu 0003
PAMI
2012
13 years 4 months ago
Discriminative Latent Models for Recognizing Contextual Group Activities
Tian Lan, Yang Wang, Weilong Yang, Stephen N. Robi...
PAMI
2012
13 years 4 months ago
Layered Object Models for Image Segmentation
Yi Yang, Sam Hallman, Deva Ramanan, Charless C. Fo...