Sciweavers

5228 search results - page 730 / 1046
» Case Studies for Software Engineers
Sort
View
FSTTCS
2010
Springer
15 years 4 months ago
Expressiveness of streaming string transducers
Streaming string transducers [1] define (partial) functions from input strings to output strings. A streaming string transducer makes a single pass through the input string and us...
Rajeev Alur, Pavol Cerný
CISIS
2009
IEEE
15 years 4 months ago
Evaluation of a Framework for Dynamic Source Selection in Stream Processing
The volume of stream data delivered from different information sources is increasing. There are a variety of demands to utilize such stream data for applications. Stream processin...
Kousuke Ohki, Yousuke Watanabe, Hiroyuki Kitagawa
ICSEA
2009
IEEE
15 years 4 months ago
Validation of Scenario-Based Business Requirements with Coloured Petri Nets
A scenario can be used to describe a possible instantiation of a given business use case and can be expressed for example as a list of steps written in natural language, or by an ...
Óscar R. Ribeiro, João M. Fernandes
AIM
2010
15 years 4 months ago
An Analysis of Current Trends in CBR Research Using Multi-View Clustering
The European Conference on Case-Based Reasoning (CBR) in 2008 marked 15 years of international and European CBR conferences where almost seven hundred research papers were publish...
Derek Greene, Jill Freyne, Barry Smyth, Pád...
SIAMCO
2011
15 years 1 months ago
Semismooth Newton Methods for Optimal Control of the Wave Equation with Control Constraints
In this paper optimal control problems governed by the wave equation with control constraints are analyzed. Three types of control action are considered: distributed control, Neuma...
Axel Kröner, Karl Kunisch, Boris Vexler