2413 search results - page 140 / 483 » Models for universal usability |
NAR
2006
13 years 10 months ago
2006
WormBase (http://wormbase.org), the public database for genomics and biology of Caenorhabditis elegans, has been restructured for stronger performance and expanded for richer biol...
IEEEARES
2006
IEEE
14 years 4 months ago
2006
IEEE
Authentication and Authorisation Infrastructures (AAIs) are gaining momentum throughout the Internet. Solutions have been proposed for various scenarios among them academia, GRID ...
VRML
2006
ACM
14 years 4 months ago
2006
ACM
In this paper, we present a new approach for remote visualization of large 3D cities. Our approach is based on expressive rendering (also known as Non-Photorealistic Rendering), a...
TACAS
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. We present the FocusCheck model-checking tool for the verification and easy debugging of assertion violations in sequential C programs. The main functionalities of the t...
OOPSLA
1998
Springer
14 years 3 months ago
1998
Springer
Dynamic information collected as a software system executes can help software engineers perform some tasks on a system more effectively. To interpret the sizable amount of data ge...