1415 search results - page 131 / 283 » Verified systems by composition from verified components |
171
click to vote
FOSSACS
2009
Springer
16 years 1 months ago
2009
Springer
Bisimulation between processes has been proven a successful method for formalizing security properties. We argue that in certain cases, a scheduler that has full information on the...
168
click to vote
ICMCS
2007
IEEE
16 years 22 days ago
2007
IEEE
This paper considers extractive summarization of Chinese spoken documents. In contrast to conventional approaches, we attempt to deal with the extractive summarization problem und...
179
click to vote
PR
2007
15 years 5 months ago
2007
Skew estimation and page segmentation are the two closely related processing stages for document image analysis. Skew estimation needs proper page segmentation, especially for doc...
163
click to vote
ICDCS
1990
IEEE
15 years 10 months ago
1990
IEEE
The underlying model of distributed systems is that of loosely coupled components r running in parallel and communicating by message passing. Description, construction and evoluti...
151
click to vote
ICWL
2005
Springer
15 years 12 months ago
2005
Springer
In this paper we investigate the use of Latent Semantic Analysis (LSA), Critiquing Systems, and Knowledge Building to support computerbased teaching of English composition. We have...