2777 search results - page 442 / 556 » Understanding ontological engineering |
163
Voted
ICST
2010
IEEE
15 years 3 months ago
2010
IEEE
—In this case study we test a landing gear control system of a military aircraft with the new version of LUTESS, a tool for testing automatically synchronous software. LUTESS req...
120
click to vote
INFSOF
2010
15 years 3 months ago
2010
Program analysis techniques are used by software engineers to deduce and infer characteristics of software systems. Recent research has suggested that certain program analysis tec...
155
click to vote
WCRE
2010
IEEE
15 years 2 months ago
2010
IEEE
—There are numerous studies that examine whether or not cloned code is harmful to software systems. Yet, few of them study which characteristics of cloned code in particular lead...
140
Voted
CIKM
2010
Springer
15 years 2 months ago
2010
Springer
The power of search is with no doubt one of the main aspects for the success of the Web. Currently available search engines on the Web allow to return results with a high precisio...
162
click to vote
FSTTCS
2010
Springer
15 years 2 months ago
2010
Springer
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...