Sciweavers

8008 search results - page 376 / 1602
» Computer-Aided Language Processing
Sort
View
SIGCOMM
1999
ACM
15 years 8 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...
VL
1999
IEEE
102views Visual Languages» more  VL 1999»
15 years 8 months ago
Visual Music in a Visual Programming Language
Sonnet was designed as a visual language for implementing real-time processes. Early design and development of behavioral components has largely focused on the domain of music pro...
Fred L. Collopy, Robert M. Fuhrer, David H. Jameso...
EKAW
1994
Springer
15 years 8 months ago
Evaluating a Formal Modelling Language
Formal knowledge modelling languages have a number of advantages over informal languages, such as their precise meaning and the possibility to derive propertiesthrough formal proof...
Fidel Ruiz, Frank van Harmelen, Manfred Aben, Joke...
COORDINATION
2000
Springer
15 years 8 months ago
GCCS: A Graphical Coordination Language for System Specification
Abstract. We present GCCS, a graphical coordination language for hierarchical concurrent systems. GCCS, which is implemented in the Concurrency Factory design environment, represen...
Rance Cleaveland, Xiaoqun Du, Scott A. Smolka
MM
1995
ACM
89views Multimedia» more  MM 1995»
15 years 8 months ago
A Resolution Independent Video Language
As common as video processing is, programmers still implement video programs as manipulations of arrays of pixels. This paper presents a language extension called Rivl (pronounced...
Jonathan Swartz, Brian C. Smith