2060 search results - page 57 / 412 » The Composition of Event-B Models |
133
click to vote
CLUSTER
2007
IEEE
15 years 3 months ago
2007
IEEE
Large-scale scientific computing applications frequently make use of closely-coupled distributed parallel components. The performance of such applications is therefore dependent o...
126
click to vote
WISA
2007
Springer
15 years 10 months ago
2007
Springer
Multilevel security policies aim at only confidentiality assurance, with less consideration on integrity assurance and weakness in expressing channel control policies. Besides, the...
153
Voted
CVPR
2007
IEEE
16 years 5 months ago
2007
IEEE
This paper presents a method of learning and recognizing generic object categories using part-based spatial models. The models are multiscale, with a scene component that specifie...
160
click to vote
ECOOP
1992
Springer
15 years 8 months ago
1992
Springer
This paper introduces a new model, based on so-called object-composition filters, that uniformly integrates database-like features into an object-oriented language. The focus is o...
161
click to vote
ISLPED
1997
ACM
15 years 7 months ago
1997
ACM
- The objective of this paper is to provide an effective technique for accurate modeling of the external input sequences that affect the behavior of Finite State Machines (FSMs). B...