4460 search results - page 146 / 892 » Formal methods for interactive systems |
133
click to vote
ISIM
2007
15 years 5 months ago
2007
Common features of current information systems have significant impact on software architectures of these systems. The systems can not be realised as monoliths, formal specifica...
148
Voted
COMPSAC
2007
IEEE
15 years 10 months ago
2007
IEEE
In a component-based system components are basic computation units implementing specific business functions, and their interactions are explicitly represented by connectors. If th...
110
Voted
APCHI
2004
IEEE
15 years 7 months ago
2004
IEEE
We have developed a menu-selection-based Japanese input method for a pen device. To obtain user-input kanji-form text rapidly, the system requires sequence of consonant. Following ...
139
Voted
MICS
2010
15 years 2 months ago
2010
Abstract. In this paper we introduce the concept of an interactive mathematical document. We give a formal description of such a document, which enables us to introduce the notion ...
141
click to vote
PRDC
2002
IEEE
15 years 8 months ago
2002
IEEE
Feature interaction is a kind of inconsistent conflict between multiple communication services and considered an obstacle to developing reliable telephony systems. In this paper ...