367 search results - page 6 / 74 » tools 1997 |
ANLP
1997
13 years 8 months ago
1997
CogentHelp is a prototype tool for authoring dynamicallygenerated on-line help for applications with graphical user interfaces, embodying the "evolution-friendly" proper...
TACAS
1997
Springer
13 years 11 months ago
1997
Springer
In this paper, we describe the computer tool Design CPN supporting editing, simulation, and state space analysis of Coloured Petri Nets. So far, approximately 40 man-years have bee...
ICGA
2006
13 years 7 months ago
2006
The element of luck permeates every aspect of the game of poker. Random stochastic outcomes introduce a large amount of noise that can make it very difficult to distinguish a good...
CHI
1997
ACM
13 years 11 months ago
1997
ACM
d in Extended Abstracts, Human Factors in Computing Systems (CHI conference proceedings), Association for Computing Machinery, 1997, pp. 246-247. Originally appeared as Working Pap...
KBSE
1997
IEEE
13 years 11 months ago
1997
IEEE
Abstract: This paper describes some tools to support formal methods, and conversely some formal methods for developing such tools. We focus on distributed cooperative proving over ...