Sciweavers

5793 search results - page 395 / 1159
» Individual communication complexity
Sort
View
SCAM
2007
IEEE
16 years 1 months ago
The Programmer's Lexicon, Volume I: The Verbs
ames make or break abstractions: good ones communicate the intention of the method, whereas bad ones cause confusion and frustration. The task of naming is subject to the whims an...
Einar W. Høst, Bjarte M. Østvold
TASE
2007
IEEE
16 years 1 months ago
Model Checking Networked Programs in the Presence of Transmission Failures
Software model checkers work directly on single-process programs, but not on multiple processes. Conversion of processes into threads, combined with a network model, allows for mo...
Cyrille Artho, Christian Sommer 0002, Shinichi Hon...
AIMS
2007
Springer
16 years 1 months ago
Self-forming Network Management Topologies in the Madeira Management System
This paper describes a novel approach to network management topologies where multiple customized topologies are self-configured, self-optimized, and maintained automatically by the...
Liam Fallon, Daryl Parker, Martin Zach, Markus Lei...
AMS
2007
Springer
274views Robotics» more  AMS 2007»
16 years 1 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
179
Voted
ATAL
2007
Springer
16 years 1 months ago
Cooperative evolution of service ontologies
Most of the proposed approaches in automatic service selection assume the existence of a common ontology among communicating agents. However, this assumption becomes difficult to...
Murat Sensoy, Pinar Yolum