Sciweavers

2462 search results - page 342 / 493
» Consistent cooperative localization
Sort
View
ASM
2008
ASM
15 years 6 months ago
A First Attempt to Express KAOS Refinement Patterns with Event B
anguage (Event B), hence staying at the same abstraction level. Thus we take advantage from the Event B method: (i) it is possible to use the method during the whole development pr...
Abderrahman Matoussi, Frédéric Gerva...
126
Voted
NETWORKING
2007
15 years 6 months ago
Multiple Identities in BitTorrent Networks
Abstract. Peer-to-peer (P2P) file sharing systems have become ubiquitous and at present the BitTorrent (BT) based P2P systems are very popular and successful. It has been argued t...
Jin Sun, Anirban Banerjee, Michalis Faloutsos
AAAI
2004
15 years 6 months ago
Skill Acquisition and Use for a Dynamically-Balancing Soccer Robot
Dynamically-balancing robots have recently been made available by Segway LLC, in the form of the Segway RMP (Robot Mobility Platform). We have addressed the challenge of using the...
Brett Browning, Ling Xu, Manuela M. Veloso
ECIS
2004
15 years 6 months ago
Strategic Sourcing in Banking - A Framework
The banking landscape in Europe and Germany has a polypolistic market structure with an average vertical range of integration of 80%, implying high process redundancies. Accumulat...
Markus Lammers, Nils Loehndorf, Tim Weitzel
ICECCS
2010
IEEE
162views Hardware» more  ICECCS 2010»
15 years 4 months ago
Trust-Based Adaptation in Complex Service-Oriented Systems
Abstract—Complex networks consisting of humans and software services, such as Web-based social and collaborative environments, typically require flexible and context-based inter...
Florian Skopik, Daniel Schall, Schahram Dustdar