12118 search results - page 476 / 2424 » User interface tools |
142
click to vote
KBSE
1997
IEEE
15 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 ...
147
click to vote
ISMIR
2005
Springer
16 years 11 days ago
2005
Springer
This paper presents the CLAM Annotator tool. This application has been developed in the context of the CLAM framework and can be used to manually edit any previously computed audi...
151
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
Previous research suggests working on multiple projects may lead to stress and misallocation of attention. A modest redesign of Instant Messenger (IM) could help team members jugg...
163
click to vote
BNCOD
2003
15 years 8 months ago
2003
This paper describes ProSQL, a novel prototyping tool to support the development of extensions to SQL. ProSQL provides a simple way to prototype the features of a proposed extensio...
204
click to vote
BWCCA
2010
15 years 1 months ago
2010
As popularity of the Internet continues to grow, it changes the way of computer crime. Number of computer crime increases dramatically in recent years and investigators have been f...