Sciweavers

3719 search results - page 435 / 744
» RACER System Description
Sort
View
MEMOCODE
2003
IEEE
16 years 2 days ago
LOTOS Code Generation for Model Checking of STBus Based SoC: the STBus interconnect
In the design process of SoC (System on Chip), validation is one of the most critical and costly activity. The main problem for industrial companies like STMicroelectronics, stand...
Pierre Wodey, Geoffrey Camarroque, Fabrice Baray, ...
TITB
2008
186views more  TITB 2008»
15 years 6 months ago
DOORS to the Semantic Web and Grid With a PORTAL for Biomedical Computing
Abstract--The semantic web remains in the early stages of development. It has not yet achieved the goals envisioned by its founders as a pervasive web of distributed knowledge and ...
Carl Taswell
WWW
2008
ACM
16 years 7 months ago
Xml data dissemination using automata on top of structured overlay networks
We present a novel approach for filtering XML documents using nondeterministic finite automata and distributed hash tables. Our approach differs architecturally from recent propos...
Iris Miliaraki, Zoi Kaoudi, Manolis Koubarakis
CHI
2009
ACM
16 years 7 months ago
FacetLens: exposing trends and relationships to support sensemaking within faceted datasets
Previous research has shown that faceted browsing is effective and enjoyable in searching and browsing large collections of data. In this work, we explore the efficacy of interact...
Bongshin Lee, Greg Smith, George G. Robertson, Mar...
SIGMOD
2009
ACM
177views Database» more  SIGMOD 2009»
16 years 7 months ago
ORDEN: outlier region detection and exploration in sensor networks
Sensor networks play a central role in applications that monitor variables in geographic areas such as the traffic volume on roads or the temperature in the environment. A key fea...
Conny Franke, Michael Gertz