1601 search results - page 116 / 321 » The affordable application of formal methods to software eng... |
CSSE
2008
IEEE
14 years 3 months ago
2008
IEEE
—The feedback of sonification on CAD analyzing information in addition to picture interface increases user’s accepting information and decreases the load of visual channel. Dat...
TCBB
2011
13 years 4 months ago
2011
A TOPS diagram is a simplified description of the topology of a protein using a graph where nodes are α-helices and β-strands, and edges correspond to chirality relations and p...
COMPSAC
2006
IEEE
14 years 3 months ago
2006
IEEE
Even though traceability is legally required in most safety critical software applications and is a recognized component of many software process improvement initiatives, organiza...
COMPSAC
2002
IEEE
14 years 2 months ago
2002
IEEE
Technology presented in the paper [1] allows validation of software architecture before component upgrades. This paper presents a case study of applying this method to the upgrade ...
UIST
2004
ACM
14 years 2 months ago
2004
ACM
We describe a new widget and interaction technique, known as a “Frisbee,” for interacting with areas of a large display that are difficult or impossible to access directly. A ...