12333 search results - page 2330 / 2467 » System Level Modelling for Hardware Software Systems |
139
click to vote
ESORICS
1994
Springer
15 years 6 months ago
1994
Springer
This paper presents a calculus of channel security properties which allows to analyze and compare protocols for establishing secure in an insecure open network at a high level of a...
119
click to vote
ACMICEC
2007
ACM
15 years 6 months ago
2007
ACM
Peer production has played an important role in the economics of Web 2.0 related services. User participation and contribution become the main driving dynamics of this new economi...
109
Voted
ECAL
2007
Springer
15 years 6 months ago
2007
Springer
Often the selfish and strong are believed to be favored by natural selection, even though cooperative interactions thrive at all levels of organization in living systems. Recent em...
150
click to vote
ADBIS
2006
Springer
15 years 6 months ago
2006
Springer
Among the most important expected benefits of a global service oriented architecture leveraging web service standards is an increased level of automation in the discovery, composit...
121
click to vote
BPM
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Adaptive process management systems must be able to support changes of single process instances as well as modifications at the process type level and their propagation t...