1532 search results - page 192 / 307 » An Algebraic Process Calculus |
168
click to vote
FOSSACS
2007
Springer
15 years 11 months ago
2007
Springer
Higher-order pushdown systems (PDSs) generalise pushdown systems through the use of higher-order stacks, that is, a nested “stack of stacks” structure. These systems may be us...
145
click to vote
CONCUR
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Discretionary Access Control (DAC) systems provide powerful mechanisms for resource management based on the selective distribution of capabilities to selected classes of ...
132
click to vote
ICAIL
2003
ACM
15 years 10 months ago
2003
ACM
This paper focuses on the creation of a first order predicate calculus based regulation compliance-assistance system built upon an XML framework. Two areas of research that suppor...
146
Voted
DBPL
1997
Springer
15 years 9 months ago
1997
Springer
Abstract. Multidimensional databases are large collections of data, often historical, used for sophisticated analysis oriented to decision making. This activity is supported by an ...
162
click to vote
CADE
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Heterogeneous specification becomes more and more important because complex systems are often specified using multiple viewpoints, involving multiple formalisms. Moreover...