523 search results - page 89 / 105 » Online Testing of Real-time Systems Using Uppaal |
103
click to vote
OOPSLA
2007
Springer
15 years 8 months ago
2007
Springer
Calling context enhances program understanding and dynamic analyses by providing a rich representation of program location. Compared to imperative programs, objectoriented program...
136
Voted
PASTE
2005
ACM
15 years 7 months ago
2005
ACM
Safely updating software at remote sites is a cautious balance of enabling new functionality and avoiding adverse effects on existing functionality. A useful first step in this p...
IADIS
2008
15 years 3 months ago
2008
This paper presents FuMaS (Fuzzy Matching System), a system capable of an efficient retrieval of postal addresses from noisy queries. The fuzzy postal addresses retrieval has many...
190
Voted
IICAI
2007
15 years 3 months ago
2007
In this paper we describe an improved version of ANERsys, an Arabic Named Entity Recognition system for open-domain texts. The first version of ANERsys was totally based on the Ma...
129
click to vote
MSS
1999
IEEE
15 years 6 months ago
1999
IEEE
Benchmark tests have been designed and conducted for the purpose of evaluating the use of automated tape libraries in on-line digital check image retrieval applications. This type...