3573 search results - page 517 / 715 » Reasoning about Codata |
118
Voted
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
In this paper, we develop a novel algorithm that allows service consumer agents to automatically select and provision service provider agents for their workflows in highly dynamic...
143
Voted
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
Business contracts tend to be complex. In current practice, contracts are often designed by hand and adopted by their participants after, at best, a manual analysis. This paper mo...
147
Voted
CAV
2008
Springer
15 years 5 months ago
2008
Springer
The growing design-productivity gap has made designers shift toward using high-level languages like C, C++ and Java to do system-level design. High-Level Synthesis (HLS) is the pro...
135
Voted
CCS
2008
ACM
15 years 5 months ago
2008
ACM
A recent development in formal security protocol analysis is the Protocol Composition Logic (PCL). We identify a number of problems with this logic as well as with extensions of t...
120
Voted
CG
2008
Springer
15 years 5 months ago
2008
Springer
Since Chase and Simon presented their influential paper on perception in chess in 1973, the use of chunks has become the subject of a number of studies into the cognitive behavior ...