4914 search results - page 81 / 983 » Arbitration of a help system |
WCRE
2006
IEEE
14 years 2 months ago
2006
IEEE
In the last years, as object-oriented software systems became more and more complex, the need of having tools that help us to understand and to assess the quality of their design ...
IPPS
2007
IEEE
14 years 2 months ago
2007
IEEE
System builders are becoming increasingly interested in robust design. We believe that a methodology for generating robustness metrics will help the robust design research efforts...
ASIAN
2003
Springer
14 years 1 months ago
2003
Springer
Protocols for distributed systems make often use of random transitions to achieve a common goal. A popular example are randomized leader election protocols. We introduce probabilis...
ENTCS
2008
13 years 8 months ago
2008
Engineering natural and appropriate interactive behaviour in ubiquitous computing systems presents new challenges to their developers. This paper explores formal models of interac...
WORDS
2003
IEEE
14 years 1 months ago
2003
IEEE
The paper presents an UML profile which defines a language for specifying, visualizing, analysing and documenting dependability mechanisms. It helps to cope with the complexity of...