2089 search results - page 9 / 418 » Finding Environment Guarantees |
109
Voted
SAFECOMP
2007
Springer
15 years 8 months ago
2007
Springer
In existing security model-checkers the intruder’s behavior is defined as a message deducibility rule base governing use of eavesdropped information, with the aim to find out a m...
117
Voted
NETWORKING
2010
15 years 3 months ago
2010
We address the problem of maximizing the social welfare in a peer-to-peer streaming overlay given a fixed amount of server upload capacity. We show that peers' selfish behavio...
121
click to vote
SIGMOD
2002
ACM
15 years 1 months ago
2002
ACM
Workflow management systems (WFMS) that are geared for the orchestration of business processes across multiple organizations are complex distributed systems: they consist of multi...
122
click to vote
ATAL
2004
Springer
15 years 5 months ago
2004
Springer
The coalition formation process, in which a number of independent, autonomous agents come together to act as a collective, is an important form of interaction in multiagent system...
117
Voted
WCET
2010
14 years 11 months ago
2010
Calculating the worst-case execution time (WCET) of real-time tasks is still a tedious job. Programmers are required to provide additional information on the program flow, analyzi...