Sciweavers

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