2450 search results - page 119 / 490 » On Application of Structural Decomposition for Process Model... |
164
click to vote
FMICS
2010
Springer
15 years 4 months ago
2010
Springer
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...
139
click to vote
FLAIRS
2007
15 years 6 months ago
2007
Semantic relations are an important element in the construction of ontology-based linguistic resources and models of problem domains. Nevertheless, they remain under-specified. Th...
136
Voted
ESA
2007
Springer
15 years 10 months ago
2007
Springer
We review recent progress in the study of arrangements in computational and combinatorial geometry, and discuss several open problems and areas for further research. In this talk I...
163
click to vote
SWQD
2012
13 years 11 months ago
2012
This manuscript proposes a guiding methodology to obtain a software system that supports the execution of the business processes existing within an organization. The methodology pr...
123
click to vote
DAGM
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Model-based image interpretation extracts high-level information from images using a priori knowledge about the object of interest. The computational challenge is to dete...