2252 search results - page 291 / 451 » Regular expression patterns |
124
click to vote
TOOLS
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract. A popular approach to compositional verification of component-based applications is based on the assume-guarantee paradigm, where an assumption models behavior of an env...
158
click to vote
ECOWS
2007
Springer
15 years 9 months ago
2007
Springer
Execution monitoring of complex web service process models is critical for effective management and control of web services based systems. During the composite process model execu...
131
click to vote
DEXAW
2005
IEEE
15 years 8 months ago
2005
IEEE
We describe a methodology for creating composite web services, a key ingredient in spatial data infrastructure (SDI) applications, which we demonstrate on an emergency management ...
101
click to vote
ISMIR
2005
Springer
2005
Springer
Specmurt Analysis of Multi-Pitch Music Signals with Adaptive Estimation of Common Harmonic Structure
15 years 8 months ago
This paper describes a multi-pitch analysis method using specmurt analysis with iterative estimation of the quasioptimal common harmonic structure function. Specmurt analysis (Sag...
114
click to vote
IWPC
2002
IEEE
15 years 8 months ago
2002
IEEE
Program understanding tools manipulate program represensuch as abstract syntax trees, control-flow graphs, or data-flow graphs. This paper deals with the use of visitor combinat...