Sciweavers

2509 search results - page 303 / 502
» Transactional stream processing
Sort
View
COMPASS
1994
15 years 10 months ago
Equations for Describing Dynamic Nets of Communicating Systems
We give a notation and a logical calculus for the description and deductive manipulation of dynamic networks of communicating components. We represent such nets by hierarchical sys...
Manfred Broy
FSTTCS
2007
Springer
15 years 10 months ago
Efficient and Expressive Tree Filters
Abstract. We investigate streaming evaluation of filters on XML documents, evaluated both at the root node and at an arbitrary node. Motivated by applications in protocol processin...
Michael Benedikt, Alan Jeffrey
FSE
2006
Springer
109views Cryptology» more  FSE 2006»
15 years 10 months ago
Computing the Algebraic Immunity Efficiently
The purpose of algebraic attacks on stream and block ciphers is to recover the secret key by solving an overdefined system of multivariate algebraic equations. They become very eff...
Frédéric Didier, Jean-Pierre Tillich
ICWS
2008
IEEE
15 years 8 months ago
Multimedia Content Provisioning Using Service Oriented Architectures
Today, multimedia system are still widely realized as monolithic systems. But building such applications using Service-Oriented Architectures -- especially for the Processing and ...
Ingo Brunkhorst, Sascha Tönnies, Wolf-Tilo Ba...
IADT
1998
149views more  IADT 1998»
15 years 7 months ago
Transparent Integration of Continuous Media Support into a Multimedia DBMS
Multimedia Database Management Systems (MMDBMS) have to efficiently provide the specific functionalities required by time-dependent multimedia data types. During presentation play...
Silvia Hollfelder, Florian Schmidt, Matthias Hemmj...