3689 search results - page 366 / 738 » A Language with Distributed Scope |
182
click to vote
PPDP
2005
Springer
15 years 10 months ago
2005
Springer
When addressing the formal validation of generated software, two main alternatives consist either to prove the correctness of compilers or to directly validate the generated code....
160
Voted
CCS
2005
ACM
15 years 10 months ago
2005
ACM
In a reputation-based trust-management system, agents maintain information about the past behaviour of other agents. This information is used to guide future trust-based decisions...
216
click to vote
Book
"This book is intended to get you, the reader, programming quickly in Common Lisp.
Although the Lisp programming language is often associated with artificial intelligence,
t...
136
click to vote
ICALP
2009
Springer
15 years 11 months ago
2009
Springer
Let Φ be a uniformly distributed random k-SAT formula with n variables and m clauses. We present a polynomial time algorithm that finds a satisfying assignment of Φ with high p...
171
Voted
KBSE
2005
IEEE
15 years 10 months ago
2005
IEEE
Distributed applications typically interact with a number of heterogeneous and autonomous components that evolve independently. Methodical development of such applications can ben...