526 search results - page 12 / 106 » Type Abstractions of Name-Passing Processes |
DEXAW
1999
IEEE
14 years 27 days ago
1999
IEEE
The wide variety of abstract system development methodologies available includes the waterfall and V models. These models are often too generic and need careful adaptation to suit ...
FINTAL
2006
14 years 7 days ago
2006
Abstract. Every language employs its own coordination strategies, according to the type of coordinating marking, the pattern of marking, the position of the marker, and the phrase ...
CAISE
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Piecemeal development and support for organisational processes may lead to problems: first, it is difficult to know which processes should be supported, and, second, it ...
POPL
1999
ACM
14 years 27 days ago
1999
ACM
Linking is a low-level task that is usually vaguely specified, if at all, by language definitions. However, the security of web browsers and other extensible systems depends cru...
CONCUR
2004
Springer
14 years 1 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 ...