1812 search results - page 293 / 363 » Dynamic Query Scheduling in Data Integration Systems |
132
click to vote
BTW
2001
Springer
15 years 7 months ago
2001
Springer
Mediators – used in federated information systems – provide a homogeneous read-only access to a set of autonomous information sources. To achieve semantic integration of the h...
135
click to vote
CSREASAM
2009
15 years 3 months ago
2009
Security defense tools like firewalls and antivirus softwares are not sufficient to defend against dynamic threats to database systems. Successful attacks could not only seriously ...
155
Voted
CADE
2007
Springer
16 years 2 months ago
2007
Springer
Manna and Pnueli have extensively shown how a mixture of first-order logic (FOL) and discrete Linear time Temporal Logic (LTL) is sufficient to precisely state verification problem...
119
click to vote
VW
2009
Springer
15 years 9 months ago
2009
Springer
—Over two decades, a great expectation on digital museums has been addressed but most of them have been implemented based on web technologies. Emerging Second Life, which support...
121
click to vote
ROBOCUP
2004
Springer
15 years 7 months ago
2004
Springer
We present a complete system for obstacle avoidance for a mobile robot. It was used in the RoboCup 2003 obstacle avoidance challenge in the Sony Four Legged League. The system enab...