4460 search results - page 263 / 892 » Formal methods for interactive systems |
169
click to vote
IV
2009
IEEE
16 years 25 days ago
2009
IEEE
Although laboratory user studies are the most common method for validating the utility of information visualization systems, it may be difficult to determine if such studies accu...
151
click to vote
ICPR
2000
IEEE
15 years 10 months ago
2000
IEEE
JKanji is an interactive character completion system that provides stroke-order-independent recognition of complex hand-written glyphs such as Japanese kanji or Chinese hanzi. As ...
177
click to vote
FORMATS
2009
Springer
16 years 22 days ago
2009
Springer
Embedded real-time systems are typically programmed in low-level languages which provide support for event-driven task processing and real-time interrupts. We show that the model c...
142
click to vote
FM
2001
Springer
15 years 10 months ago
2001
Springer
Transacted Memory offers persistence, undoability and auditing. We present a Java/JML Reference Model of the Transacted Memory system on the basis of our earlier separate Z model...
173
click to vote
ZUM
1998
Springer
15 years 10 months ago
1998
Springer
We contrast using a notation extension with using a combination of notations. Specifically, we compare the use of an extended dialect of Z [10] with a combination of Z and predicat...