703 search results - page 69 / 141 » Fundamentals of Session Types |
113
Voted
BIRTHDAY
2003
Springer
15 years 8 months ago
2003
Springer
In this paper it is explained what Knowledge Management (KM) is and why it will play an important role in the future. This implies that KM is indeed more than just the sophisticate...
122
Voted
ACSC
2002
IEEE
15 years 8 months ago
2002
IEEE
The per-method access control lists of standard middleware technologies allow only simple forms of access control to be expressed and enforced. Research systems based on capabilit...
119
Voted
ER
2001
Springer
15 years 8 months ago
2001
Springer
: In electronic commerce, two fundamental types of models are business models and process models. While a business model is concerned with value exchanges between actors, a process...
145
click to vote
CADE
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. Higher-order representation techniques allow elegant encodings of logics and programming languages in the logical framework LF, but unfortunately they are fundamentally i...
121
Voted
EUROPAR
1995
Springer
15 years 7 months ago
1995
Springer
Much work has been done in the areas of and–parallelism and data parallelism in Logic Programs. Such work has proceeded to a certain extent in an independent fashion. Both types...