2496 search results - page 218 / 500 » Error-detecting properties of languages |
128
click to vote
EPEW
2005
Springer
15 years 10 months ago
2005
Springer
Choreography languages provide a top-view design way for describing complex systems composed of services distributed over the network. The basic building block of such languages is...
224
Voted
GLOBAL
2003
Springer
15 years 9 months ago
2003
Springer
Klaim (Kernel Language for Agents Interaction and Mobility) is an experimental language specifically designed to program distributed systems consisting of several mobile component...
130
click to vote
ISWC
2002
IEEE
15 years 9 months ago
2002
IEEE
The representation of physical space has traditionally focused on keyphrases such as “Computer Science Building” or “Physics Department” that help us in describing and nav...
118
click to vote
CHARME
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. We survey the work done so far in the FLaSH project (Functional Languages for Synthesising Hardware) in which the core ideas are (i) using a functional language SAFL to d...
143
click to vote
LACL
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. Two kinds of framework for stating grammars of natural languages emerged during the 20th century. Here we call them generativeenumerative syntax (GES) and model-theoretic...