4460 search results - page 365 / 892 » Formal methods for interactive systems |
170
click to vote
PTS
2008
15 years 8 months ago
2008
Verification of a modular system composed of communicating components is a difficult problem, especially when the models of the components are not available. Conventional testing t...
180
click to vote
CAISE
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. There is an increasing need to provide methods for describing information systems which incorporate the integrated use of multiple channels of interaction. To achieve thi...
165
click to vote
IFIP13
2004
15 years 8 months ago
2004
: This paper describes a method aiming to support the design of interactive-safety critical systems. The method proposes an original integration of approaches usually considered se...
159
click to vote
ACMDIS
1997
ACM
15 years 11 months ago
1997
ACM
This paper describes the teleradiology application CHILI from the graphical user interface point of view. We present the most important design decisions taken during the construct...
194
click to vote
JISBD
2001
15 years 8 months ago
2001
Migration of Legacy Systems to the Web is one of the main concerns of enterprises looking for more flexible distributed application environments. This migration process comprises t...