14720 search results - page 2379 / 2944 » Interface |
196
Voted
CGI
2001
IEEE
15 years 11 months ago
2001
IEEE
Javra is a Java package for handling VRML scene graphs; it operates either stand-alone or in combination with a VRML browser. The combination of Javra and a VRML browser forms an ...
180
click to vote
CARDIS
2000
Springer
15 years 11 months ago
2000
Springer
This paper reports on an effort to increase the reliability of JavaCard-based smart cards by means of formal specification and verification of JavaCard source code. As a first ste...
267
Voted
CGI
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper gives an overview of some recent methods useful for local and global shape analysis and for the design of solids. These methods include as new tools for global and loca...
188
Voted
CLUSTER
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper introduces MadeleineII, a new adaptive and portable multi-protocol implementation of the Madeleine communication library. MadeleineII has the ability to control multipl...
198
Voted
ER
2000
Springer
15 years 11 months ago
2000
Springer
One of the obstacles that hinder database trigger systems from their wide deployment is the lack of tools that aid users in creating trigger rules. Similar to understanding and spe...