2171 search results - page 125 / 435 » A Generic Process Algebra |
125
click to vote
FSTTCS
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. Synchronous languages are well suited for the design of dependable real-time systems: they enable a very high-level specification and an extremely modular implementation ...
107
click to vote
ANLP
1997
15 years 4 months ago
1997
This paper describes SMES, an information extraction core system for real world German text processing. The basic design criterion of the system is of providing a set of basic pow...
187
click to vote
GIL
2011
14 years 2 months ago
2011
: The efficient distribution of fresh produce poses many challenges to enterprises in the fruit and vegetable sector. The exchange of product- and processrelated information betwee...
101
click to vote
CDC
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract— We present a systematic method for model reduction of a class of input-quantized systems in the max-plus algebra. We consider a generalization of the flow shop with ...
111
click to vote
GPCE
2007
Springer
15 years 9 months ago
2007
Springer
Modular Monadic Semantics (MMS) is a well-known mechanism for structuring modular denotational semantic definitions for programming languages. The principal attraction of MMS is ...