7296 search results - page 1226 / 1460 » informs 2010 |
228
click to vote
WCET
2010
15 years 5 months ago
2010
Safe and tight worst-case execution times (WCETs) are important when scheduling hard realtime systems. This paper presents METAMOC, a modular method, based on model checking and s...
200
click to vote
WCET
2010
15 years 5 months ago
2010
Calculating the worst-case execution time (WCET) of real-time tasks is still a tedious job. Programmers are required to provide additional information on the program flow, analyzi...
236
click to vote
WEBDB
2010
Springer
15 years 5 months ago
2010
Springer
The Semantic Web, which represents a web of knowledge, offers new opportunities to search for knowledge and information. To harvest such search power requires robust and scalable ...
177
click to vote
WEBI
2010
Springer
15 years 5 months ago
2010
Springer
The current search engine model considers users not trustworthy, so no tools are provided to let them specify what they are looking for or in what context, which severely limits wh...
173
click to vote
WEBI
2010
Springer
15 years 5 months ago
2010
Springer
Web information is increasingly used as evidence in solving various problems, including record matching. However, acquiring web-based resources is slow and can incur other access c...