Sciweavers

1398 search results - page 121 / 280
» Ensuring Properties of Interaction Systems
Sort
View
163
Voted
CDVE
2007
Springer
136views Visualization» more  CDVE 2007»
16 years 9 days ago
Cooperative Validation in Distributed Control Systems Design
The team of engineers designing and implementing distributed control system software must communicate within a multidisciplinary environment. One of the main problems is the intera...
Dariusz Choinski, Mieczyslaw Metzger, Witold Nocon...
148
Voted
IEE
2008
117views more  IEE 2008»
15 years 5 months ago
Formal verification of systems with an unlimited number of components
1 2 3 In many real component-based systems and patterns of component interaction, there can be identified a stable part (like control component, server, instance handler) and a nu...
Pavlína Vareková, Barbora Zimmerova,...
SSS
2010
Springer
125views Control Systems» more  SSS 2010»
15 years 4 months ago
Systematic Correct Construction of Self-stabilizing Systems: A Case Study
Design and implementation of distributed algorithms often involve many subtleties due to their complex structure, non-determinism, and low atomicity as well as occurrence of unanti...
Ananda Basu, Borzoo Bonakdarpour, Marius Bozga, Jo...
VMV
2001
128views Visualization» more  VMV 2001»
15 years 7 months ago
Patient Specific Surgical Simulation System for Procedures in Colonoscopy
We have assembled a preliminary environment for simulating tasks that are performed in colonoscopy to provide a professional learning experience. Different commercial endoscopy si...
Simon Wildermuth, Cynthia Bruyns, Kevin Montgomery...
CIKM
2001
Springer
15 years 10 months ago
Managing Trust in a Peer-2-Peer Information System
Managing trust is a problem of particular importance in peer-to-peer environments where one frequently encounters unknown agents. Existing methods for trust management, that are b...
Karl Aberer, Zoran Despotovic