11066 search results - page 295 / 2214 » Linearity in Process Languages |
156
click to vote
ESOP
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. We propose a new type discipline for the -calculus in which secure information flow is guaranteed by static type checking. Secrecy levels are assigned to channels and are...
183
click to vote
CAINE
2003
15 years 6 months ago
2003
Most distributed real-time embedded systems are specified combining state diagram and data flow languages. This leads to several real-time codes which together do not necessaril...
128
click to vote
TCS
1998
15 years 4 months ago
1998
We consider a model of analog computation which can recognize various languages in real time. We encode an input word as a point in Rd by composing iterated maps, and then apply i...
150
click to vote
CAV
2008
Springer
15 years 7 months ago
2008
Springer
We consider an extension of integer linear arithmetic with a "star" operator takes closure under vector addition of the solution set of a linear arithmetic subformula. We...
126
click to vote
WSC
2007
15 years 7 months ago
2007
We develop new confidence-interval estimators for the mean and variance parameter of a steady-state simulation output process. These confidence intervals are based on optimal li...