Sciweavers

119 search results - page 14 / 24
» State Checksum and Its Role in System Stabilization
Sort
View
DBSEC
2010
152views Database» more  DBSEC 2010»
13 years 9 months ago
Modelling Dynamic Access Control Policies for Web-Based Collaborative Systems
Abstract. We present a modelling language, called X-Policy, for webbased collaborative systems with dynamic access control policies. The access to resources in these systems depend...
Hasan Qunoo, Mark Ryan
IROS
2008
IEEE
100views Robotics» more  IROS 2008»
14 years 1 months ago
A robotic KANSEI communication system based on emotional synchronization
- Human-robot communication is an important subject for housekeeping, elderly care and entertainment robots. To make a natural communication entrainment between human and robot emo...
Tatsuya Usui, Kazuomi Kume, Misaki Yamano, Minoru ...
CDC
2008
IEEE
174views Control Systems» more  CDC 2008»
14 years 2 months ago
Consensus under communication delays
— This paper deals with the consensus problem under communication network inducing delays. It is well-known that introducing a delay leads in general to a reduction of the perfor...
Alexandre Seuret, Dimos V. Dimarogonas, Karl Henri...
CDC
2008
IEEE
162views Control Systems» more  CDC 2008»
14 years 2 months ago
Synchronization in networks of nonlinear oscillators with coupling delays
Abstract— We consider the synchronization problem of an arbitrary number of coupled nonlinear oscillators with delays in the interconnections. The emphasis is on coupled Lorenz s...
Wim Michiels, Henk Nijmeijer
FM
2005
Springer
156views Formal Methods» more  FM 2005»
14 years 1 months ago
Testing Concurrent Object-Oriented Systems with Spec Explorer
Abstract Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, and Margus Veanes Microsoft Research, Redmond, WA, USA Abstract. We describe a pract...
Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson...