4217 search results - page 779 / 844 » Computational indistinguishability logic |
114
Voted
DEBS
2010
ACM
15 years 3 months ago
2010
ACM
Operator-based programming languages provide an effective development model for large scale stream processing applications. A stream processing application consists of many runtim...
108
Voted
CCS
2008
ACM
15 years 2 months ago
2008
ACM
Single-Sign-On (SSO) protocols enable companies to establish a federated environment in which clients sign in the system once and yet are able to access to services offered by dif...
108
click to vote
COORDINATION
2008
Springer
15 years 2 months ago
2008
Springer
We present the -calculus, a process calculus for formally modeling and reasoning about Mobile Ad Hoc Wireless Networks (MANETs) and their protocols. The -calculus naturally capture...
108
click to vote
AI
2008
Springer
15 years 21 days ago
2008
Springer
Abduction is a fundamental form of nonmonotonic reasoning that aims at finding explanations for observed manifestations. This process underlies many applications, from car configu...
112
Voted
AI
2007
Springer
15 years 21 days ago
2007
Springer
It is not surprising that reaching human-level AI has proved to be difficult and progress has been slow— though there has been important progress. The slowness and the demand t...