Sciweavers

2555 search results - page 85 / 511
» Putting complex systems to work
Sort
View
PODS
2007
ACM
171views Database» more  PODS 2007»
16 years 1 months ago
Monadic datalog over finite structures with bounded treewidth
Bounded treewidth and Monadic Second Order (MSO) logic have proved to be key concepts in establishing fixed-parameter tractability results. Indeed, by Courcelle's Theorem we ...
Georg Gottlob, Reinhard Pichler, Fang Wei
113
Voted
CIKM
2008
Springer
15 years 3 months ago
A heuristic approach for checking containment of generalized tree-pattern queries
Query processing techniques for XML data have focused mainly on tree-pattern queries (TPQs). However, the need for querying XML data sources whose structure is very complex or not...
Pawel Placek, Dimitri Theodoratos, Stefanos Soulda...
117
Voted
PATMOS
2007
Springer
15 years 7 months ago
Fast Calculation of Permissible Slowdown Factors for Hard Real-Time Systems
This work deals with the problem to optimise the energy consumption of an embedded system. On system level, tasks are assumed to have a certain CPU-usage they need for completion. ...
Henrik Lipskoch, Karsten Albers, Frank Slomka
BMCBI
2006
87views more  BMCBI 2006»
15 years 1 months ago
XML schemas for common bioinformatic data types and their application in workflow systems
Background: Today, there is a growing need in bioinformatics to combine available software tools into chains, thus building complex applications from existing single-task tools. T...
Philipp N. Seibel, Jan Krüger, Sven Hartmeier...
INFOCOM
2006
IEEE
15 years 7 months ago
SmartSeer: Using a DHT to Process Continuous Queries Over Peer-to-Peer Networks
— As the academic world moves away from physical journals and proceedings towards online document repositories, the ability to efficiently locate work of interest among the torr...
Jayanthkumar Kannan, Beverly Yang, Scott Shenker, ...