Sciweavers

12115 search results - page 282 / 2423
» Bisimulation of Dynamical Systems
Sort
View
ITCC
2005
IEEE
16 years 6 days ago
Dynamic Web Content Filtering based on User's Knowledge
This paper focuses on the development of a maintainable information filtering system. The simple and efficient solution to this problem is to block the Web sites by URL, including...
N. Churcharoenkrung, Yang Sok Kim, Byeong Ho Kang
LCPC
2009
Springer
15 years 11 months ago
Enforcing Textual Alignment of Collectives Using Dynamic Checks
Abstract. Many parallel programs are written in a single-program, multipledata (SPMD) style, in which synchronization is provided using collective operations that all threads execu...
Amir Kamil, Katherine A. Yelick
DEBS
2007
ACM
15 years 10 months ago
Encryption-enforced access control in dynamic multi-domain publish/subscribe networks
Publish/subscribe systems provide an efficient, event-based, wide-area distributed communications infrastructure. Large scale publish/subscribe systems are likely to employ compon...
Lauri I. W. Pesonen, David M. Eyers, Jean Bacon
CGA
1999
15 years 6 months ago
Dynamics Modeling and Culling
emsintovirtualenvironments,whileabstracting the modeling process as much as possible. To achieve efficiency,weconcentrateoncullingdynamicalsystems: if the system is not in view, we...
Stephen Chenney, Jeffrey Ichnowski, David A. Forsy...
CDC
2010
IEEE
103views Control Systems» more  CDC 2010»
15 years 1 months ago
Integrator forwarding via dynamic scaling
The problem of integrator forwarding is revisited using the notion of dynamically scaled (control) Lyapunov function. A new class of dynamic stabilizing control laws is presented, ...
Laurent Praly, Daniele Carnevale, Alessandro Astol...