10899 search results - page 663 / 2180 » The GP Programming System |
310
Voted
POPL
2004
ACM
16 years 7 months ago
2004
ACM
In the interest of designing a recursive module extension to ML that is as simple and general as possible, we propose a novel type system for general recursion over effectful expr...
169
click to vote
SP
2003
IEEE
16 years 16 days ago
2003
IEEE
A challenging unsolved security problem is how to specify and enforce system-wide security policies; this problem is even more acute in distributed systems with mutual distrust. T...
213
Voted
COOPIS
2002
IEEE
16 years 7 days ago
2002
IEEE
: This work investigates the integration of heterogeneous resources, such as data and programs, in a fully distributed peer-to-peer mediation architecture. The challenge in making ...
178
click to vote
IFIP
2001
Springer
15 years 11 months ago
2001
Springer
Abstract: On the background of rising Intranet applications the automatic generation of adaptable, context-sensitive hypertexts becomes more and more important [El-Beltagy et al., ...
171
click to vote
PAPM
2001
Springer
15 years 11 months ago
2001
Springer
This paper presents a modelling language, called MoDeST, for describing the behaviour of discrete event systems. The language combines conventional programming constructs – such ...