1671 search results - page 244 / 335 » Language Constructs for Multi-agent Programming |
AOSD
2010
ACM
15 years 6 months ago
2010
ACM
An essential part of modern enterprise software development is metadata. Mainstream metadata formats, including XML deployment descriptors and Java 5 annotations, suffer from a n...
IFIP
1998
Springer
15 years 4 months ago
1998
Springer
It is widely agreed that mobile agents in conjunction with WWW technology will provide the technical foundation for future electronic commerce. A prerequisite for the use of mobile...
139
click to vote
ICFP
1997
ACM
15 years 4 months ago
1997
ACM
We show how to implement a calculus with higher-order subtyping and subkinding by replacing uses of implicit subsumption with explicit coercions. To ensure this can be done, a pol...
109
Voted
ICALP
1995
Springer
15 years 3 months ago
1995
Springer
An infinite binary sequence x is defined to be (i) strongly useful if there is a computable time bound within which every decidable sequence is Turing reducible to x; and (ii) w...
APLAS
2008
ACM
15 years 1 months ago
2008
ACM
JavaScript has been exploited to launch various browser-based attacks. Our previous work proposed a theoretical framework applying policy-based code instrumentation to JavaScript. ...