10038 search results - page 1677 / 2008 » Model Checking for Managers |
156
click to vote
CSMR
2000
IEEE
15 years 11 months ago
2000
IEEE
In practice, a pure top-down and refinement-based development process is not applicable. A more iterative and incremental approach is usually applied with respect to changing req...
182
click to vote
SC
2000
ACM
15 years 11 months ago
2000
ACM
Advances in computing and networking technology, and an explosion in information sources has resulted in a growing number of distributed systems getting constructed out of resourc...
168
click to vote
SIGIR
2000
ACM
15 years 11 months ago
2000
ACM
Abstract We introduce OCELOT, a prototype system for automatically generating the “gist” of a web page by summarizing it. Although most text summarization research to date has ...
166
click to vote
DIAGRAMS
2000
Springer
15 years 11 months ago
2000
Springer
This paper examines capacity limits in mental animation of static diagrams of mechanical systems and interprets these limits within current theories of working memory. I review emp...
171
click to vote
MM
1999
ACM
15 years 11 months ago
1999
ACM
In this article, we have introduced a “Live Synchronized Hypermedia Live Lecture (SHLL) System” using RTP to synchronize the live presentation of streaming video lecture, HTML...