3425 search results - page 182 / 685 » A Model Driven Approach for Software Systems Reliability |
122
Voted
ATAL
2004
Springer
15 years 9 months ago
2004
Springer
Decentralized MDPs provide a powerful formal framework for planning in multi-agent systems, but the complexity of the model limits its usefulness. We study in this paper a class o...
128
Voted
CODES
2006
IEEE
15 years 9 months ago
2006
IEEE
It is observed that pulsed discharge currents allow to drain the battery with a higher specific power. Thus they improve the batteries durability and discharge performance. The q...
119
Voted
COMPSAC
1997
IEEE
15 years 8 months ago
1997
IEEE
Many large software systems are tightly integrated with their physical environments and must be adapted when their environment changes. Typically, software development methodologi...
182
Voted
DAGSTUHL
1998
15 years 5 months ago
1998
Localization is one of the fundamental problems in mobile robotics. Without knowledge about their position mobile robots cannot e ciently carry out their tasks. In this paper we pr...
122
click to vote
ICFEM
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Errors in a requirements model have prolonged detrimental effects on reliability, cost, and safety of a software system. It is very costly to fix these errors in later ...