4109 search results - page 165 / 822 » User Interface Software Tools |
KBSE
1997
IEEE
15 years 3 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 ...
110
click to vote
TEI
2012
ACM
13 years 6 months ago
2012
ACM
This paper introduces DressUp, a computerized system for designing dresses with 3D input using the form of the human body as a guide. It consists of a body-sized physical mannequi...
ESCIENCE
2005
IEEE
15 years 4 months ago
2005
IEEE
Security is a critical component of grid systems and while there are numerous software components and tools that provide some capabilities relating to security, there are few comp...
68
Voted
HICSS
1998
IEEE
15 years 3 months ago
1998
IEEE
Typically, users submit very simple search queries to digital document data collections. Often these queries can result in extremely broad answers or answers in which document rel...
ICSE
1995
IEEE-ACM
15 years 2 months ago
1995
IEEE-ACM
-- While a large fraction of application code is devoted to graphical user interface (GUI) functions, support for reuse in this domain has largely been confined to the creation of...