3689 search results - page 366 / 738 » A Language with Distributed Scope |
221
click to vote
PPDP
2005
Springer
16 years 6 days 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....
203
click to vote
CCS
2005
ACM
16 years 8 days 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...
258
Voted
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...
165
click to vote
ICALP
2009
Springer
16 years 1 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...
201
click to vote
KBSE
2005
IEEE
16 years 9 days 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...