701 search results - page 91 / 141 » Comments on |
153
click to vote
SPIN
2000
Springer
15 years 7 months ago
2000
Springer
The Temporal Rover is a specification based verification tool for applications written in C, C++, Java, Verilog and VHDL. The tool combines formal specification, using Linear-Time ...
150
click to vote
HT
1991
ACM
15 years 7 months ago
1991
ACM
Most hypermedia systems emphasize the integration of graphics, images, video, and audio into a traditional hypertext framework. The hyperspeech system described in this paper, a s...
103
Voted
SCA
2007
15 years 6 months ago
2007
Recent efforts to visually capture the phenomena of boiling have proposed monolithic approaches that extend the basic techniques underlying existing fluid solvers. In this work, w...
131
click to vote
AAAI
2007
15 years 6 months ago
2007
This paper presents a study of the various aspects of blog reading behavior. The analyzed data are obtained from a Japanese weblog hosting service, Doblog. Four kinds of social ne...
128
click to vote
AVI
2008
15 years 6 months ago
2008
Browsing a blog archive is currently not well supported. Users cannot gain an overview of a blog easily, nor do they receive adequate support for finding potentially interesting e...