1121 search results - page 87 / 225 » Building Formal Requirements Models for Reliable Software |
103
click to vote
SAFECOMP
2005
Springer
15 years 5 months ago
2005
Springer
In the telecommunications sector product development must minimise time to market while delivering high levels of dependability, availability, maintainability and scalability. High...
COMPSAC
2008
IEEE
15 years 6 months ago
2008
IEEE
We discuss the suitability of service-oriented computing for the automotive domain. We present a formal high-level language in which complex automotive activities can be modelled ...
103
click to vote
SOQUA
2007
15 years 1 months ago
2007
Failure detection is a difficult and often expensive task. The principle of self-healing addresses this cost issue, but poses new research questions. This work focuses on detectin...
125
click to vote
ATAL
2003
Springer
15 years 5 months ago
2003
Springer
Most agent systems today are closed and static. That is, one uses Agent-Oriented Software Engineering techniques to build agent systems in which the set of agents is specified ahe...
111
click to vote
SOFTVIS
2003
ACM
15 years 5 months ago
2003
ACM
An active research area in telecommunications concerns how to specify and control the addition of new services, such as call waiting or instant messaging, into existing software. ...