Sciweavers

3745 search results - page 447 / 749
» Sonic: System Description
Sort
View
TVCG
2010
116views more  TVCG 2010»
15 years 5 months ago
Streak Lines as Tangent Curves of a Derived Vector Field
—Characteristic curves of vector fields include stream, path, and streak lines. Stream and path lines can be obtained by a simple vector field integration of an autonomous ODE ...
Tino Weinkauf, Holger Theisel
GI
2007
Springer
16 years 25 days ago
Achieving Semantic Interoperability By Using Complex Event Processing Technology
: State-of-the-art interoperability between heterogeneous systems on a technical level builds on services oriented architectures (SOA) for a given problem space. Semantics can be i...
Margarete Donovang-Kuhlisch
MEMOCODE
2003
IEEE
15 years 12 months 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