Sciweavers

41 search results - page 5 / 9
» Testing Scenario Implementation with Behavior Contracts
Sort
View
HICSS
2003
IEEE
125views Biometrics» more  HICSS 2003»
14 years 2 months ago
Verifying Trustworthiness Requirements in Distributed Systems with Formal Log-file Analysis
The paper reports on an analysis technology based on the tracing approach to test trustworthy requirements of a distributed system. The system under test is instrumented such that...
Andreas Ulrich, Hesham Hallal, Alexandre Petrenko,...
TROB
2002
91views more  TROB 2002»
13 years 8 months ago
Time-domain passivity control of haptic interfaces
A patent pending, energy based, method is presented for controlling a haptic interface system to ensure stable contract under a wide variety of operating conditions. System stabil...
Blake Hannaford, Jee-Hwan Ryu
WSC
2007
13 years 11 months ago
Manufacturing process management using a flexible modeling and simulation approach
The focus of this paper is a manufacturing system placed in Calabria (Italy) which produces high pressure hydraulic hoses. The objective is to implement a simulator to be used bot...
Duilio Curcio, Francesco Longo, Giovanni Mirabelli
ACMICEC
2006
ACM
157views ECommerce» more  ACMICEC 2006»
14 years 2 months ago
Adaptive mechanism design: a metalearning approach
Auction mechanism design has traditionally been a largely analytic process, relying on assumptions such as fully rational bidders. In practice, however, bidders often exhibit unkn...
David Pardoe, Peter Stone, Maytal Saar-Tsechansky,...
AAI
2006
126views more  AAI 2006»
13 years 9 months ago
Theory and practice of field-based motion coordination in multiagent systems
Enabling and managing coordination activities between autonomous, possibly mobile, computing entities in dynamic computing scenarios challenges traditional approaches to distribut...
Marco Mamei, Franco Zambonelli