Sciweavers

2757 search results - page 324 / 552
» On separating systems
Sort
View
VISUALIZATION
2005
IEEE
15 years 11 months ago
Opening the Can of Worms: An Exploration Tool for Vortical Flows
Gaining a comprehensive understanding of turbulent flows still poses one of the great challenges in fluid dynamics. A wellestablished approach to advance this research is the an...
Simon Stegmaier, Ulrich Rist, Thomas Ertl
SRDS
2003
IEEE
15 years 11 months ago
Pesto Flavoured Security
We demonstrate that symmetric-key cryptography can be used for both read and write access control. One-time write access can be granted by handing over an encryption key, and our ...
Feike W. Dillema, Tage Stabell-Kulø
SIVP
2010
164views more  SIVP 2010»
15 years 4 months ago
Adaptive and personalized multimedia content delivery for disabled users in Internet TV
This paper aims at the delivery of adaptive and personalized multimedia content in interactive IPTV environments, using programmable IP services through the MPEG-21 standard, suppo...
Ioannis Anagnostopoulos, Christos-Nikolaos Anagnos...
CP
2005
Springer
15 years 11 months ago
2-Way vs. d-Way Branching for CSP
Abstract. Most CSP algorithms are based on refinements and extensions of backtracking, and employ one of two simple “branching schemes”: 2-way branching or d-way branching, fo...
Joey Hwang, David G. Mitchell
RTSS
1999
IEEE
15 years 10 months ago
High-Level Modeling and Analysis of TCAS
In this paper, we demonstrate a high-level approach to modeling and analyzing complex safety-critical systems through a case study in the area of air traffic management. In partic...
Carolos Livadas, John Lygeros, Nancy A. Lynch