3425 search results - page 579 / 685 » A Model Driven Approach for Software Systems Reliability |
136
click to vote
WOSS
2004
ACM
15 years 9 months ago
2004
ACM
Complex distributed Internet services form the basis not only of e-commerce but increasingly of mission-critical networkbased applications. What is new is that the workload and in...
126
click to vote
SIGSOFT
2004
ACM
16 years 4 months ago
2004
ACM
Exploring alternative options is at the heart of the requirements and design processes. Different alternatives contribute to different degrees of achievement of non-functional goa...
151
Voted
IEEEARES
2007
IEEE
15 years 9 months ago
2007
IEEE
Access control in decentralised collaborative systems present huge challenges especially where many autonomous entities including organisations, humans, software agents from diff...
177
click to vote
ATAL
1997
Springer
15 years 7 months ago
1997
Springer
Abstract. Just as cooperation in multi-agent systems is a central issue for solving complex tasks, so too is the ability for an intelligent agent to reason about combined knowledge...
142
Voted
DATE
2004
IEEE
15 years 7 months ago
2004
IEEE
Formal verification techniques have been playing an important role in pre-silicon validation processes. One of the most important points considered in performing formal verificati...