14331 search results - page 385 / 2867 » On the modeling and analysis of obligations |
209
Voted
EMSOFT
2005
Springer
16 years 11 days ago
2005
Springer
Key challenges in distributed real-time embedded (DRE) system developments include safe composition of system components and mapping the functional specifications onto the target...
199
click to vote
PCM
2004
Springer
16 years 5 days ago
2004
Springer
Kernel based methods have been of wide concern in the field of machine learning. This paper proposes a novel Gabor-Kernel Fisher analysis method (G-EKFM) for face recognition, whi...
155
click to vote
PVM
2004
Springer
16 years 5 days ago
2004
Springer
We introduce a refinement strategy to bring the parallel performance analysis closer to the user. The analysis starts with a simple high-level performance model. It is based on fir...
175
click to vote
CSFW
2002
IEEE
15 years 11 months ago
2002
IEEE
We present a formal analysis technique for probabilistic security properties of peer-to-peer communication systems based on random message routing among members. The behavior of g...
168
click to vote
ICSM
1994
IEEE
15 years 11 months ago
1994
IEEE
An experimental study is presented in which participants perform impact analysis on alternate forms of design record information. The primary objective of the research is to asses...