7109 search results - page 366 / 1422 » Process Algebra with Combinators |
144
click to vote
SIAMCO
2000
15 years 6 months ago
2000
The aim of this paper is to present a new approach to the filtering problem for the class of bilinear stochastic multivariable systems, consisting in searching for suboptimal state...
158
click to vote
LISP
2002
15 years 6 months ago
2002
Abstract. Specification diagrams (SD's) are a novel form of graphical notation for specifying open distributed object systems. The design goal is to define notation for specif...
126
click to vote
MSCS
1998
15 years 6 months ago
1998
The context of this article is the program to develop monoidal bicategories with a feedback operation as an algebra of processes, with applications to concurrency theory. The obje...
166
click to vote
PVLDB
2008
15 years 5 months ago
2008
XTCcmp, the XQuery Compiler of a native XML database system, extends Starburst's well-known Query Graph Model to serve as an internal representation and basis for query restr...
161
click to vote
SSIRI
2010
15 years 4 months ago
2010
—We describe how to use a timeband architecture to model real-time requirements. The architecture separates requirements that use different time units, producing a family of mode...