10055 search results - page 272 / 2011 » Structured programming using processes |
195
click to vote
ICDE
1999
IEEE
16 years 1 months ago
1999
IEEE
Current database trigger systems have extremely limited scalability. This paper proposes a way to develop a truly scalable trigger system. Scalability to large numbers of trigger...
114
Voted
ENTCS
2007
15 years 12 days ago
2007
In this paper we present our rst approach to model and verify biological systems using ntcc, a concurrent constraint process calculus. We argue that the partial information const...
101
Voted
CC
2005
Springer
15 years 6 months ago
2005
Springer
In this paper, we present a formal description of data slicing, which is a type-directed program transformation technique that separates a program’s heap into several independent...
110
click to vote
ICALP
2009
Springer
16 years 22 days ago
2009
Springer
A variant of Rate Transition Systems (RTS), proposed by Klin and Sassone, is introduced and used as the basic model for defining stochastic behaviour of processes. The transition r...
104
click to vote
WSC
2008
15 years 2 months ago
2008
MKPLS (Multiway Kernel Partial Least Squares) methods are used to model the batch processes from process operational data. To improve the optimization performance, a batch-to-batc...