523 search results - page 98 / 105 » Online Testing of Real-time Systems Using Uppaal |
CIVR
2007
Springer
14 years 1 months ago
2007
Springer
In this paper, we present the FOX-MIIRE 3D-Model Search Engine. Our search engine is based on Adaptive Views Vlustering (AVC) algorithm [4]. The AVC method uses statistical model ...
SYSTOR
2009
ACM
14 years 2 months ago
2009
ACM
Virtualization is becoming widely deployed in servers to efficiently provide many logically separate execution environments while reducing the need for physical servers. While th...
ISSTA
2010
ACM
13 years 11 months ago
2010
ACM
Dynamic loading of software components (e.g., libraries or modules) is a widely used mechanism for improved system modularity and flexibility. Correct component resolution is cri...
DAS
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Automatic identification of a script in a given document image facilitates many important applications such as automatic archiving of multilingual documents, searching on...
SIGUCCS
2000
ACM
13 years 12 months ago
2000
ACM
Open Source Software (OSS) has made great strides toward mainstream acceptance over the past two years. However, many IT managers, both in business and academia, are still cautiou...