780 search results - page 62 / 156 » Compositional Quantitative Reasoning |
SOCO
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Behavioral specifications that are integrated into component interfaces are an important means for the correct construction of component-based systems. Currently, such s...
85
Voted
AUSAI
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. The Belief, Desire, Intention (BDI) architecture is increasingly being used in a wide range of complex applications for agents. Many theories and models exist which suppo...
109
Voted
ASWEC
2004
IEEE
15 years 4 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...
104
Voted
CONCUR
2005
Springer
15 years 2 months ago
2005
Springer
Abstract. Delaying the synchronization of actions may reveal some hidden behavior that would not happen if the synchronization met the specified deadlines. This precise phenomenon...
100
Voted
STOC
2005
ACM
16 years 1 months ago
2005
ACM
In the setting of secure multiparty computation, a set of parties wish to to jointly compute some function of their input (i.e., they wish to securely carry out some distributed t...