Sciweavers

1030 search results - page 22 / 206
» Happenings
Sort
View
HYBRID
2005
Springer
15 years 3 months ago
Position and Force Control of Nonsmooth Lagrangian Dynamical Systems Without Friction
— Analyses of position and force control laws in the case of perfectly rigid bodies have been made so far with strong assumptions on the state of the contacts such as supposing t...
Sophie Chareyron, Pierre-Brice Wieber
GI
2004
Springer
15 years 2 months ago
Consistent Context Management in Mobile Ad Hoc Networks
: John entered his office. John left his office. The order of these updates to a context-aware system is important to reflect the state in the real world. Context information ob...
Jörg Hähner, Christian Becker, Pedro Jos...
SBIA
2004
Springer
15 years 2 months ago
Norm Consistency in Electronic Institutions
We elaborate on the verification of properties of electronic institutions, a formalism to define and analyse protocols among agents with a view to achieving global and individual...
Marc Esteva, Wamberto Weber Vasconcelos, Carles Si...
EH
2002
IEEE
108views Hardware» more  EH 2002»
15 years 2 months ago
We Need Assurance
When will we be secure? Nobody knows for sure – but it cannot happen before commercial security products and services possess not only enough functionality to satisfy customers...
Brian D. Snow
ICS
2010
Tsinghua U.
15 years 2 months ago
A query language for understanding component interactions in production systems
When something unexpected happens in a large production system, administrators must first perform a search to isolate which components and component interactions are likely to be...
Adam J. Oliner, Alex Aiken