Sciweavers

3414 search results - page 335 / 683
» System Support for Object Groups
Sort
View
NDSS
2007
IEEE
15 years 11 months ago
Secret Handshakes with Dynamic and Fuzzy Matching
The need for communication privacy over public networks is of growing concern in today’s society. As a result, privacy-preserving authentication and key exchange protocols have ...
Giuseppe Ateniese, Jonathan Kirsch, Marina Blanton
142
Voted
ICFEM
2004
Springer
15 years 10 months ago
Timed Patterns: TCOZ to Timed Automata
Abstract. The integrated logic-based modeling language, Timed Communicating Object Z (TCOZ), is well suited for presenting complete and coherent requirement models for complex real...
Jin Song Dong, Ping Hao, Shengchao Qin, Jun Sun 00...
145
Voted
AMS
2007
Springer
274views Robotics» more  AMS 2007»
15 years 11 months ago
Exploring Toe Walking in a Bipedal Robot
The design and development of locomotory subsystems such as legs is a key issue in the broader topic of autonomous mobile systems. Simplification of substructures, sensing, actuat...
James Andrew Smith, André Seyfarth
SOUPS
2005
ACM
15 years 10 months ago
Social navigation as a model for usable security
As interest in usable security spreads, the use of visual approaches in which the functioning of a distributed system is made visually available to end users is an approach that a...
Paul DiGioia, Paul Dourish
CAISE
2005
Springer
15 years 10 months ago
Operation-based Merging of Hierarchical Documents
Abstract. Version control systems allow a group of people to work together on a set of documents over a network by merging their changes into the same source repository. The existi...
Claudia-Lavinia Ignat, Moira C. Norrie