14056 search results - page 129 / 2812 » Consistency in Model Integration |
160
click to vote
KDD
2005
ACM
15 years 10 months ago
2005
ACM
We present a probabilistic model-based framework for distributed learning that takes into account privacy restrictions and is applicable to scenarios where the different sites ha...
110
Voted
INTEGRATION
2008
15 years 5 months ago
2008
146
Voted
KBSE
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper presents a formal approach to threat-driven modeling and verification of secure software using aspect-oriented Petri nets. Based on the behavior model of intended funct...
155
click to vote
STTT
2010
15 years 3 months ago
2010
Event-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a modelling notation, the use of ent to represent systems a...
137
click to vote
BMVC
2000
15 years 6 months ago
2000
This paper addresses the problem of reconstructing surface models of indoor scenes from sparse 3D scene structure captured from N camera views. Sparse 3D measurements of real scen...