102 search results - page 2 / 21 » Challenges in the Specification of Full Contracts |
WINE
2009
Springer
15 years 4 months ago
2009
Springer
We study an economic setting in which a principal motivates a team of strategic agents to exert costly effort toward the success of a joint project. The action taken by each agent...
100
click to vote
SIGMOD
2012
ACM
13 years 4 hour ago
2012
ACM
Linked Data (LD) provides principles for publishing data that underpin the development of an emerging web of data. LD follows the web in providing low barriers to entry: publisher...
EUROPKI
2009
Springer
14 years 7 months ago
2009
Springer
The Exponential Challenge Response (XRC) and Dual Exponential Challenge Response (DCR) signature schemes are the building blocks of the HMQV protocol. We propose a complementary an...
107
click to vote
SIGSOFT
2010
ACM
14 years 7 months ago
2010
ACM
The transfer of entire projects to offshore locations, the aging and renewal of core developers in legacy products, the recruiting in fast growing Internet companies, and the part...
VSTTE
2010
Springer
14 years 7 months ago
2010
Springer
A suite of verification benchmarks for software verification tools and techniques, presented at VSTTE 2008 [11], provides an initial catalogue of benchmark challenges for the Verif...