22 search results - page 5 / 5 » Mechanizing the Metatheory of LF |
DNIS
2005
Springer
13 years 10 months ago
2005
Springer
: A Peer-to-peer Data Network (PDN) is an open and evolving society of peer nodes that assemble into a network to share their data for mutual benefit. PDNs are enabled by distribu...
EMSOFT
2003
Springer
13 years 10 months ago
2003
Springer
Abstract. High-level programming languages offer significant expressivity but provide little or no guarantees about resource utilization. Resource-bounded languages provide stron...