527 search results - page 61 / 106 » Words and Bisimulations of Dynamical Systems |
CHI
2001
ACM
14 years 8 months ago
2001
ACM
The DataTiles system integrates the benefits of two major interaction paradigms: graphical and physical user interfaces. Tagged transparent tiles are used as modular construction ...
VMCAI
2009
Springer
14 years 2 months ago
2009
Springer
We present a lightweight type-and-effect system for Java programs that features two major innovations over extant object-oriented effects systems: initialization effects, which ...
ICARIS
2007
Springer
14 years 1 months ago
2007
Springer
This paper presents a novel immune inspired algorithm, named DERA (Dynamic Effector Regulatory Algorithm), aimed at fault detection and other anomaly detection problems. It integr...
CL
2006
Springer
13 years 7 months ago
2006
Springer
Many software systems suffer from missing support for behavioral (runtime) composition and configuration of software components. The concern "behavioral composition and confi...
SIAMCO
2000
13 years 7 months ago
2000
Abstract. For discrete-time linear systems over a principal ideal domain, three types of (C, A)invariance can be distinguished. Connections between these notions are investigated. ...