12333 search results - page 2330 / 2467 » System Level Modelling for Hardware Software Systems |
ESORICS
1994
Springer
14 years 11 days 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...
ACMICEC
2007
ACM
14 years 9 days 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...
ECAL
2007
Springer
14 years 6 days 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...
ADBIS
2006
Springer
14 years 1 days 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...
BPM
2004
Springer
14 years 1 days 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...