589 search results - page 69 / 118 » A Software Prototyping Framework and Methods for Supporting ... |
ICSE
2001
IEEE-ACM
14 years 1 months ago
2001
IEEE-ACM
: The design and development of Internet applications, requiring dynamic and possibly mobile access to Internet resources, can take advantage of an approach based on autonomous mob...
AVI
2006
13 years 10 months ago
2006
Structured graphics models such as Scalable Vector Graphics (SVG) enable designers to create visually rich graphics for user interfaces. Unfortunately current programming tools ma...
IUI
2003
ACM
14 years 2 months ago
2003
ACM
We present a primarily speech-based user interface to a wide range of entertainment, navigation and communication applications for use in vehicles. The multimodal dialog enables t...
IPPS
1999
IEEE
14 years 1 months ago
1999
IEEE
Parallel and distributed systems are representative of large and complex systems that require the application of formal methods. These systems are often unreliable because implemen...
CSMR
2003
IEEE
14 years 2 months ago
2003
IEEE
Testing a distributed system is difficult. Good testing depends on both skill and understanding the system under test. We have developed a method to observe the system at the CORB...