177 search results - page 24 / 36 » Reasoning about Safety and Progress Using Contracts |
AAAI
1994
15 years 1 months ago
1994
In this paper, we study the problem of achieving efficient interaction in a distributed scheduling system whose scheduling agents may borrow resources from one another. Specifical...
124
click to vote
ATAL
2007
Springer
15 years 5 months ago
2007
Springer
This paper proposes a framework for agent-based distributed machine learning and data mining based on (i) the exchange of meta-level descriptions of individual learning processes ...
116
Voted
CSL
2002
Springer
14 years 11 months ago
2002
Springer
The last decade has witnessed substantial progress in speech recognition technology, with todays state-of-the-art systems being able to transcribe unrestricted broadcast news audi...
102
Voted
ICSE
2007
IEEE-ACM
15 years 11 months ago
2007
IEEE-ACM
Synthesis of behaviour models from software development artifacts such as scenario-based descriptions or requirements specifications not only helps significantly reduce the effort...
88
Voted
ISSRE
2002
IEEE
15 years 4 months ago
2002
IEEE
Software Fault Tree Analysis (SFTA) provides a structured way to reason about the safety or reliability of a software system. As such, SFTA is widely used in missioncritical appli...