101 search results - page 4 / 21 » A User Interface for a Game-Based Protocol Verification Tool |
ECIR
1998
Springer
13 years 9 months ago
1998
Springer
This paper describes an investigation in progress into the searching behaviour of end-users and how it is affected by interface design. The project focused on qualitative data gat...
ICA3PP
2010
Springer
13 years 6 months ago
2010
Springer
A new user-friendly visual simulation tool; ViSim is presented. ViSim could be useful for researchers, students, teachers in their works, and for the demonstration of various wirel...
BROADNETS
2006
IEEE
14 years 1 months ago
2006
IEEE
— The nature of Grid and distributed computing implies communication between heterogeneous systems over a wide and ever-changing variety of network environments. Often large amou...
CIIA
2009
13 years 8 months ago
2009
The power of Petri nets resides on the availability of several tools for analysis and verification of properties of systems. Users have to combine the functionality of tools in dif...
ICSE
1999
IEEE-ACM
14 years 21 hour ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...