2072 search results - page 99 / 415 » Multibook's test environment |
186
click to vote
RTCSA
1999
IEEE
15 years 10 months ago
1999
IEEE
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...
171
click to vote
SIGDOC
1997
ACM
15 years 10 months ago
1997
ACM
This paper describes the strengths and weaknesses of two usability assessment methods frequently applied to web sites. It uses case histories of WWW usability studies conducted by...
172
click to vote
ISBI
2004
IEEE
16 years 7 months ago
2004
IEEE
SCIRun is a general purpose problem solving environment that seeks to integrate the steps of preparing, executing, and visualizing simulations of physical and biological systems. ...
175
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
Digital content is not only stored by servers on the Internet, but also on various embedded devices belonging to ubiquitous networks. In this paper, we propose a content processin...
173
click to vote
PPAM
2005
Springer
15 years 11 months ago
2005
Springer
We present a web computing library (PUBWCL) in Java that allows to execute tightly coupled, massively parallel algorithms in the bulk-synchronous (BSP) style on PCs distributed ove...