3765 search results - page 454 / 753 » Formal Methods for Systems Engineering Behavior Models |
201
click to vote
ATAL
2005
Springer
16 years 8 days ago
2005
Springer
Although social research into group interaction has flourished since the 20th century, the technology of embodied conversational agents for handling multiparty interaction is stil...
161
click to vote
AC
2005
Springer
15 years 6 months ago
2005
Springer
The aim of this chapter is to give an overview of the theoretical foundation and the practical application of logic model checking techniques for the verification of multi-threade...
208
Voted
SAC
2009
ACM
15 years 11 months ago
2009
ACM
This paper presents a novel software engineering approach for developing a dynamic web interface that meets the quality criterion of “WYDIWYS” - What You Do Is What You See. T...
177
click to vote
LAWEB
2003
IEEE
15 years 12 months ago
2003
IEEE
In order to the software and web measurement field becomes a more robust engineering discipline it is mandatory to start reaching a common agreement between researchers and other s...
172
click to vote
ICSM
2000
IEEE
15 years 11 months ago
2000
IEEE
The research described in this paper is concerned with the application of information retrieval to software maintenance, and in particular to the problem of recovering traceabilit...