Sciweavers

7661 search results - page 278 / 1533
» Languages and the Computing Profession
Sort
View
GRID
2004
Springer
16 years 1 days ago
Dynamic Service Evolution for Open Languages in the Grid and Service Oriented Architecture
Dynamic behavior is inherent in virtual organizations. Semantics has to be processed to manage dynamism and other properties like state, life cycle, faults, and others. In our pap...
Thomas Weishäupl, Erich Schikuta
FCT
2003
Springer
15 years 12 months ago
Operations Preserving Recognizable Languages
Abstract. Given a subset S of N, filtering a word a0a1 · · · an by S consists in deleting the letters ai such that i is not in S. By a natural generalization, denote by L[S], w...
Jean Berstel, Luc Boasson, Olivier Carton, Bruno P...
SIGCOMM
1999
ACM
15 years 11 months ago
A Readable TCP in the Prolac Protocol Language
Prolac is a new statically-typed, object-oriented language for network protocol implementation. It is designed for readability, extensibility, and real-world implementation; most ...
Eddie Kohler, M. Frans Kaashoek, David R. Montgome...
LICS
1997
IEEE
15 years 11 months ago
Full Abstraction for Functional Languages with Control
traction for Functional Languages with Control James Laird LFCS, Department of Computer Science University of Edinburgh This paper considers the consequences of relaxing the brack...
James Laird
LICS
1993
IEEE
15 years 10 months ago
Full Abstraction for a Shared Variable Parallel Language
traction for a Shared Variable Parallel Language Stephen Brookes∗ School of Computer Science Carnegie Mellon University Pittsburgh, Pa 15213 We give a new denotational semantics...
Stephen D. Brookes