1532 search results - page 207 / 307 » An Algebraic Process Calculus |
172
click to vote
DBSEC
1996
15 years 6 months ago
1996
High assurance security is di cult to achieve in distributed computer systems and databases because of their complexity, non-determinism and inherent heterogeneity. The practical ...
157
click to vote
ACL
1989
15 years 6 months ago
1989
Feature structures are informational elements that have been used in several linguistic theories and in computational systems for natural-language processing. A logicaJ calculus h...
117
click to vote
CONCUR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. An impure language is one that combines functional and imperative constructs. We propose a method for ensuring termination of impure concurrent languages that makes it po...
136
Voted
ENTCS
2008
15 years 5 months ago
2008
To provide formal foundations to current (web) services technologies, we put forward using COWS, a process calculus for specifying, combining and analysing services, as a uniform ...
121
Voted
IANDC
2008
15 years 5 months ago
2008
A variant of the Mobile Ambient calculus, called Boundary Ambients, is introduced, supporting the modelling of multi-level security policies. Ambients that may guarantee to proper...