2226 search results - page 60 / 446 » Pdk: The System and Its Language |
146
click to vote
ATAL
2005
Springer
15 years 11 months ago
2005
Springer
In this paper we describe a channel-based exogenous coordination language, called Reo, and discuss its application to multi-agent systems. Reo supports a specific notion of compo...
146
click to vote
ICDT
2007
ACM
16 years 8 days ago
2007
ACM
Abstract. Information concerning the origin of data (that is, its provenance) is important in many areas, especially scientific recordkeeping. Currently, provenance information mu...
177
click to vote
PARLE
1987
15 years 9 months ago
1987
A context-freegrammar(CFG)in GreibachNormalForm coincides,in anothernotation,witha system of guarded recursion equations in Basic Process Algebra. Hence to each CFG a process can b...
152
click to vote
WORDS
2002
IEEE
15 years 11 months ago
2002
IEEE
Rather recently object-oriented modeling languages, tools, and methods attract the interest of embedded (realtime) system developers. This is especially true if embedded (real-tim...
166
click to vote
APLAS
2006
ACM
15 years 10 months ago
2006
ACM
Abstract. We present a type and effect system for a multi-staged language with exceptions. The proposed type and effect system checks if we safely synthesize complex controls with ...