1653 search results - page 273 / 331 » Directed tree-width examples |
153
click to vote
SIES
2008
IEEE
16 years 16 days ago
2008
IEEE
—Distributed, time-triggered communication based on FlexRay is likely to become an enabler for future safety related applications in the automotive domain. Prior to series deploy...
189
click to vote
TPHOL
2008
IEEE
16 years 16 days ago
2008
IEEE
g to the well-known “LCF approach” of secure inferences as abstract datatype constructors in ML [16]; explicit proof terms are also available [8]. Isabelle/Isar provides sophis...
167
click to vote
CBMS
2007
IEEE
16 years 15 days ago
2007
IEEE
The abundance of complex media-rich information in state-of-the-art bio-medical sciences underlines the importance of paradigms for organizing, searching, browsing, and assimilati...
160
click to vote
DASFAA
2007
IEEE
16 years 15 days ago
2007
IEEE
TinTO is an experimental system aiming at demonstrating the usefulness and feasibility of applying conventional SQL queries for analyzing a wide spectrum of data streams. As applic...
173
click to vote
ICC
2007
IEEE
16 years 15 days ago
2007
IEEE
—For label switched networks, such as MPLS and GMPLS, most existing traffic engineering (TE) solutions work in a single routing domain. These solutions do not work when a route ...