4480 search results - page 890 / 896 » Prototyping Completion with Constraints Using Computational ... |
DBISP2P
2003
Springer
14 years 29 days ago
2003
Springer
Databases have employed a schema-based approach to store and retrieve structured data for decades. For peer-to-peer (P2P) networks, similar approaches are just beginning to emerge,...
PLDI
2010
ACM
13 years 12 months ago
2010
ACM
Verified compilers, such as Leroy's CompCert, are accompanied by a fully checked correctness proof. Both the compiler and proof are often constructed with an interactive proo...
SP
2010
IEEE
13 years 11 months ago
2010
IEEE
Abstract—Most security mechanisms proposed to date unquestioningly place trust in microprocessor hardware. This trust, however, is misplaced and dangerous because microprocessors...
GECCO
2010
Springer
13 years 11 months ago
2010
Springer
Understanding the evolution of cooperation as part of an evolutionary stable strategy (ESS) is a difficult problem that has been the focus of much work. The associated costs of co...
AAAI
2007
13 years 10 months ago
2007
Concurrent action execution is important for plan-length minimization. However, action specifications are often limited to avoid conflicts arising from precondition/effect inter...