4386 search results - page 582 / 878 » A Tamper-Resistant Programming Language System |
138
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
We develop a Belief-Desire-Intention (BDI) style agent-oriented programming language with special emphasis on the semantics of goals in the presence of the typical BDI failure han...
159
click to vote
MIDDLEWARE
2007
Springer
15 years 10 months ago
2007
Springer
The emergence of applications domains such as pervasive and autonomic computing has increased the need for customisation and dynamic adaptation of both distributed systems, and th...
134
click to vote
IPPS
2006
IEEE
15 years 10 months ago
2006
IEEE
Many new paradigms of parallel programming have emerged that compete with and complement the standard and well-established MPI model. Most notable, and successful, among these are...
159
click to vote
ICSE
2005
IEEE-ACM
16 years 4 months ago
2005
IEEE-ACM
Sensitive data are increasingly available on-line through the Web and other distributed protocols. This heightens the need to carefully control access to data. Control means not o...
108
click to vote
ICFP
2005
ACM
16 years 4 months ago
2005
ACM
Existential types provide a simple and elegant foundation for uning generative abstract data types, of the kind supported by the Standard ML module system. However, in attempting ...