5343 search results - page 646 / 1069 » Keyword programming in java |
172
click to vote
ERLANG
2006
ACM
16 years 25 days ago
2006
ACM
Erlang/OTP's DBMS Mnesia is lacking in several important areas to consider when implementing very large databases with massive scalability requirements. This article reveals ...
188
click to vote
ERLANG
2006
ACM
16 years 25 days ago
2006
ACM
This paper describes the lessons learnt when internally developing web applications in Erlang. On the basis of these experiences, a framework called the Web Platform has been impl...
158
click to vote
ITICSE
2006
ACM
16 years 25 days ago
2006
ACM
While classes in IT skills are endemic, high school students in the UK rarely experience computer science. We present a pilot of a scheme that aims to go some way towards addressi...
165
click to vote
MSR
2006
ACM
16 years 25 days ago
2006
ACM
Refactorings are program transformations which should preserve the program behavior. Consequently, we expect that during phases when there are mostly refactorings in the change hi...
199
click to vote
ATAL
2005
Springer
16 years 13 days ago
2005
Springer
We present TECTLK, a logic to specify knowledge and real time in multi-agent systems. We show that the model checking problem is decidable, and we present an algorithm for TECTLK ...