2558 search results - page 34 / 512 » Model Composition Contracts |
116
Voted
COMPSAC
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper explores how to characterise security properties of software components, and how to reason about their suitability for a trustworthy compositional contract. Our framewo...
118
Voted
ASWEC
2004
IEEE
15 years 6 months ago
2004
IEEE
This paper presents a security characterisation process framework for software components and their compositions in order to address the issue of trust in component based software...
96
Voted
EOR
2007
15 years 2 months ago
2007
Long-term service agreements (LTSA) for the maintenance of capital-intensive equipment such as gas turbines and aircraft engines are gaining wide acceptance. A typical LTSA contra...
201
Voted
SIGMOD
2005
ACM
16 years 2 months ago
2005
ACM
Web services technologies enable flexible and dynamic interoperation of autonomous software and information systems. A central challenge is the development of modeling techniques ...
137
click to vote
NGC
1998
Springer
15 years 2 months ago
1998
Springer
Reducing redundancy in search has been a major concern for automated deduction. Subgoal-reduction strategies, such as those based on model elimination and implemented in Prolog te...