1969 search results - page 9 / 394 » Incremental Processing and Acceptability |
FOSSACS
2010
Springer
14 years 4 months ago
2010
Springer
We present a coinductive proof system for bisimilarity in transition systems specifiable in the de Simone SOS format. Our coinduction is incremental, in that it allows building in...
CAISE
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. This paper proposes the incremental goal evolution process methodology from the view point of the approach to business process optimization. This paper first presents a p...
CLOUD
2010
ACM
14 years 2 months ago
2010
ACM
This work addresses the need for stateful dataflow programs that can rapidly sift through huge, evolving data sets. These data-intensive applications perform complex multi-step c...
HRI
2007
ACM
14 years 1 months ago
2007
ACM
Robots that interact with humans face-to-face using natural language need to be responsive to the way humans use language in those situations. We propose a psychologicallyinspired...
ESEM
2007
ACM
14 years 1 months ago
2007
ACM
Estimation of development effort without imposing overhead on the project and the development team is of paramount importance for any software company. This study proposes a new e...