3623 search results - page 374 / 725 » Functionally Modeled User Interfaces |
125
click to vote
ENTCS
2002
15 years 4 months ago
2002
This paper presents PLCTools, a formal environment for designing and simulating programmable controllers. Control models are specified with IEC FBD (Function Block Diagram), and t...
138
click to vote
PROMS
2001
Springer
15 years 9 months ago
2001
Springer
—This paper presents a model-based approach to service creation. We observe that the complexity of software services increases. To manage this complexity, and to quickly create s...
125
click to vote
STTT
2008
15 years 4 months ago
2008
Abstract. This paper shows how a formal method in the form of Coloured Petri Nets (CPNs) and the supporting CPN Tools have been used in the development of the Course of Action Sche...
118
Voted
CHI
2006
ACM
16 years 5 months ago
2006
ACM
For the majority of us, inter-personal communication is an essential part of our daily lives. Instant Messaging, or IM, has been growing in popularity for personal and workrelated...
152
click to vote
ICASSP
2009
IEEE
15 years 11 months ago
2009
IEEE
A voice search system requires a speech interface that can correctly recognize spoken queries uttered by users. The recognition performance strongly relies on a robust language mo...