5343 search results - page 585 / 1069 » Keyword programming in java |
159
click to vote
AOSD
2005
ACM
16 years 1 days ago
2005
ACM
In this paper, we present a collection of aspect-oriented refactorings covering both the extraction of aspects from objectoriented legacy code and the subsequent tidying up of the...
143
click to vote
CCS
2005
ACM
16 years 1 days ago
2005
ACM
The Framework of Selective Interleaving Functions and the Modular Assembly Kit for Security Properties both provide a basis for the uniform representation and formal analysis of n...
158
click to vote
DIGRA
2005
Springer
16 years 19 hour ago
2005
Springer
This paper explores the idea that future game consoles and computers may no longer be single processor units, but instead symmetrical multiprocessor units. If this were to occur g...
162
click to vote
ERLANG
2004
ACM
15 years 12 months ago
2004
ACM
Multi-agent systems are a kind of concurrent distributed systems. In this work, some guidelines on how to create multi-agent systems using Erlang are presented. The modelled syste...
143
click to vote
SAC
2004
ACM
15 years 12 months ago
2004
ACM
We present a programming technique for implementing type safe covariance in C++. In a sense, we implement most of Bruce’s matching approach to the covariance dilemma in C++. The...