523 search results - page 76 / 105 » Online Testing of Real-time Systems Using Uppaal |
119
click to vote
EMSOFT
2009
Springer
15 years 8 months ago
2009
Springer
The major obstacle to use multicores for real-time applications is that we may not predict and provide any guarantee on real-time properties of embedded software on such platforms...
IPM
2000
15 years 1 months ago
2000
In this paper, we present the system MULINEX, a fully implemented system which supports cross-lingual search of the WWW. Users can formulate, expand and disambiguate queries, filt...
182
Voted
SIGMOD
2005
ACM
16 years 2 months ago
2005
ACM
Applications that require real-time processing of high-volume data steams are pushing the limits of traditional data processing infrastructures. These stream-based applications in...
114
click to vote
ICALT
2010
IEEE
15 years 2 months ago
2010
IEEE
—Adaptive educational hypermedia allows lessons to be personalized according to the needs of the learner. However, to achieve this, content must be split into stand-alone fragmen...
140
click to vote
LREC
2008
15 years 3 months ago
2008
We present an approach to the discovery of semantically similar terms that utilizes a web search engine as both a source for generating related terms and a tool for estimating the...