8446 search results - page 232 / 1690 » A Process Compensation Language |
142
click to vote
JOLLI
2002
15 years 6 months ago
2002
We analyze extensive games as interactive process models, using modal languages plus matching notions of bisimulation as varieties of game equivalences. Our technical results show ...
176
click to vote
TOOLS
1999
IEEE
15 years 10 months ago
1999
IEEE
Component-based software engineering (CBSE) spans a range of technologies and engineering practices. Engineering practices for component-based systems (e.g., design, integrate, te...
174
click to vote
WOTUG
2008
15 years 8 months ago
2008
Writing concurrent programs in languages that lack explicit support for concurrency can often be awkward and difficult. Haskell's monads provide a way to explicitly specify se...
151
click to vote
FSMNLP
2005
Springer
16 years 2 days ago
2005
Springer
This paper presents SFST-PL, a programming language for finite state transducers which is based on extended regular expressions with variables. The programming language is both si...
169
click to vote
LREC
2010
15 years 8 months ago
2010
We present a limited prototype of the CLARIN Language Technology Infrastructure (LTI) node, which provides several types of web services for Polish. The functionality encompasses ...