5075 search results - page 608 / 1015 » Model-based interface development |
184
click to vote
RTA
2004
Springer
16 years 6 days ago
2004
Springer
We describe the system AProVE, an automated prover to verify (innermost) termination of term rewrite systems (TRSs). For this system, we have developed and implemented efficient al...
171
click to vote
SEKE
2004
Springer
16 years 6 days ago
2004
Springer
Designers need guidance in tracing knowledge to support the iterative development of interactive software interfaces. Claims show promise in capturing design knowledge with concis...
161
click to vote
SIGADA
2004
Springer
16 years 6 days ago
2004
Springer
This paper describes one method for identifying global variables in Ada procedures and adding them to the parameter list of appropriate procedures. Global variables, ones that are...
155
click to vote
DATE
2003
IEEE
16 years 5 days ago
2003
IEEE
We are investigating an integrated design method for a device driver and a device in order to efficiently develop device drivers used in embedded systems. This paper evaluates wh...
169
Voted
DISCEX
2003
IEEE
16 years 4 days ago
2003
IEEE
Secure group communication protocols have been designed to meet needs such as secure management of group membership, confidential group communication, and access control. New lan...