10669 search results - page 1856 / 2134 » Software - Implemented Self-healing System |
178
click to vote
COSIT
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. The navigation task is a very demanding application for mobile users. The algorithms of present software solutions are based on the established methods of car navigation ...
184
click to vote
FATES
2003
Springer
15 years 12 months ago
2003
Springer
Use of model-checking approaches for test generation from requirement models have been proposed by several researchers. These approaches leverage the witness (or counter-example) ...
165
click to vote
ESOP
2010
Springer
15 years 11 months ago
2010
Springer
Modern software systems have frequently to face unexpected events, reacting so to reach a consistent state. In the field of concurrent and mobile systems (e.g., for web services) ...
168
click to vote
SACMAT
2010
ACM
15 years 11 months ago
2010
ACM
Policy authors typically reconcile several different mental models and goals, such as enabling collaboration, securing information, and conveying trust in colleagues. The data un...
191
click to vote
IUI
2009
ACM
15 years 11 months ago
2009
ACM
Getting synthetic faces to display natural facial expressions is essential to enhance the interaction between human users and virtual characters. Yet traditional facial control te...