1315 search results - page 43 / 263 » Towards Requirements Engineering for Context Adaptive System... |
SAFECOMP
2009
Springer
15 years 8 months ago
2009
Springer
The behaviour of control functions in safety critical software systems is typically bounded to prevent the occurrence of known system level hazards. These bounds are typically deri...
71
Voted
ICSE
2009
IEEE-ACM
15 years 8 months ago
2009
IEEE-ACM
In this paper I will address the problem of verifying that a service-oriented embedded system fulÀlls required safety guarantees. Services will be represented by collaborations a...
140
click to vote
AOSE
2001
Springer
15 years 6 months ago
2001
Springer
Gaining wide acceptance for the use of agents in industry requires both relating it to the nearest antecedent technology (objectoriented software development) and using artifacts ...
133
click to vote
IRI
2005
IEEE
15 years 7 months ago
2005
IEEE
Developing scalable and adaptable architectures that can accommodate evolving changes is crucial for reducing software development cost. To achieve scalability and adaptability, d...
FCCM
2000
IEEE
15 years 5 months ago
2000
IEEE
Architectures that implement the Internet Protocol Security (IPSec) standard have to meet the enormous computing demands of cryptographic algorithms. In addition, IPSec architectu...