Sciweavers

4196 search results - page 216 / 840
» Supporting the development of network programs
Sort
View
IPPS
1999
IEEE
15 years 8 months ago
COWL: Copy-On-Write for Logic Programs
In order for parallel logic programming systems to become popular, they should serve the broadest range of applications. To achieve this goal, designers of parallel logic programm...
Vítor Santos Costa
ZUM
2000
Springer
132views Formal Methods» more  ZUM 2000»
15 years 7 months ago
A Formal Architecture for the 3APL Agent Programming Language
Abstract. The notion of agents has provided a way of imbuing traditional computing systems with an extra degree of flexibility that allows them to be more resilient and robust in t...
Mark d'Inverno, Koen V. Hindriks, Michael Luck
BCS
2008
15 years 5 months ago
Component-Based Description of Programming Languages
Research in formal description of programming languages over the past four decades has led to some significant achievements. These include formal syntax and semantics for complete...
Peter D. Mosses
130
Voted
HCW
2000
IEEE
15 years 8 months ago
Design of a Framework for Data-Intensive Wide-Area Applications
Applications that use collections of very large, distributed datasets have become an increasingly important part of science and engineering. With high performance wide-area networ...
Michael D. Beynon, Tahsin M. Kurç, Alan Sus...
HPDC
1996
IEEE
15 years 8 months ago
Legion - A View from 50, 000 Feet
' The coming of giga-bit networks makes possible the realization ofa single nationwide virtual computer comprised of a variety of geographically distributed highpe6ormance mac...
Andrew S. Grimshaw, William A. Wulf