101 search results - page 20 / 21 » A User Interface for a Game-Based Protocol Verification Tool |
SIGSOFT
2003
ACM
14 years 6 months ago
2003
ACM
Although graphical user interfaces (GUIs) constitute a large part of the software being developed today and are typically created using rapid prototyping, there are no effective r...
CORR
1998
Springer
13 years 5 months ago
1998
Springer
Abstract In this paper we describe a hands-on laboratory oriented instructional package that we have developed for data communications and networking. The package consists of a sof...
BMCBI
2008
13 years 5 months ago
2008
Background: Molecular-docking-based virtual screening is an important tool in drug discovery that is used to significantly reduce the number of possible chemical compounds to be i...
COMGEO
2010
ACM
13 years 3 months ago
2010
ACM
The vision of an integrated Earth observation system to help protect and sustain the planet and its inhabitants is significant and timely, and thus has been identified recently by...
VIZSEC
2005
Springer
13 years 11 months ago
2005
Springer
The massive amount of alarm data generated from intrusion detection systems is cumbersome for network system administrators to analyze. Often, important details are overlooked and...