101 search results - page 19 / 21 » A User Interface for a Game-Based Protocol Verification Tool |
W4A
2006
ACM
14 years 2 months ago
2006
ACM
We argue that while work to optimize the accessibility of the World Wide Web through the publication and dissemination of a range of guidelines is of great importance, there is al...
DGO
2004
13 years 10 months ago
2004
The interdisciplinary project uses a variety of research designs, data collection methodologies, and analysis techniques and two ballot designs to assess five commercially availab...
SOFTVIS
2003
ACM
14 years 2 months ago
2003
ACM
An active research area in telecommunications concerns how to specify and control the addition of new services, such as call waiting or instant messaging, into existing software. ...
BIB
2005
13 years 9 months ago
2005
The Biomolecular Interaction Network Database (BIND) (http://bind.ca) archives biomolecular interaction, reaction, complex and pathway information. Our aim is to curate the detail...
FCCM
1998
IEEE
14 years 1 months ago
1998
IEEE
Software radios have emerged as important tools in the development of new signal processing algorithms, networking protocols, and propagation experiments in wireless environments....