1454 search results - page 116 / 291 » Stateful traits and their formalization |
106
Voted
ACL
1998
15 years 2 months ago
1998
In orderto realize their full potential, multimodalsystems need to support not just input from multiple modes, but also synchronized integration of modes. Johnston et al (1997) mo...
CORIA
2009
15 years 1 months ago
2009
The aggregated search assembles in one interface information from different sources. It deals with different types of content (text, video, image, etc) and granularities of retriev...
112
click to vote
INFORMATICALT
2008
15 years 21 days ago
2008
In this paper, we present a method for describing the syntax and semantics of viewcharts. Viewcharts is a visual formalism for describing the dynamic behavior of system components....
102
click to vote
TAP
2008
Springer
15 years 19 days ago
2008
Springer
Formal methods can only gain widespread use in industrial software development if they are integrated into software development techniques, tools, and languages used in practice. A...
112
Voted
KBS
2007
15 years 17 days ago
2007
The paper introduces and formalizes a distributed approach for the model-based monitoring of the execution of a plan, where concurrent actions are carried on by a team of mobile r...