1398 search results - page 46 / 280 » Ensuring Properties of Interaction Systems |
109
click to vote
ICRA
2005
IEEE
15 years 9 months ago
2005
IEEE
—Safe, autonomous mobility in rough terrain is an important requirement for planetary exploration rovers. Knowledge of local terrain properties is critical to ensure a rover’s ...
126
click to vote
FUZZIEEE
2007
IEEE
15 years 5 months ago
2007
IEEE
When a flexible fuzzy rule structure such as those with antecedent in conjunctive normal form is used, the interpretability of the obtained fuzzy model is significantly improved. H...
161
click to vote
ICDCS
2005
IEEE
15 years 9 months ago
2005
IEEE
Communication-induced checkpointing protocols that ensure rollback-dependency trackability (RDT) guarantee important properties to the recovery system without explicit coordinatio...
158
click to vote
ADAEUROPE
2005
Springer
15 years 9 months ago
2005
Springer
Distributed Real-Time (DRE) systems require the verification of their properties to ensure both reliability and conformance to initial requirements. Architecture description langu...
139
click to vote
CSCW
1996
ACM
15 years 8 months ago
1996
ACM
Concurrency control and group undo are important issues in the design of groupware, especially for interactive group editors. We present an improved versionofanexistingdistributed...