5343 search results - page 734 / 1069 » Keyword programming in java |
181
click to vote
LCTRTS
2005
Springer
16 years 7 days ago
2005
Springer
Mobile computing based upon wireless technology as the interconnect and PDAs, Web-enabled cell phones etc. as the end devices provide a rich infrastructure for anywhere, anytime i...
182
click to vote
CCS
2004
ACM
16 years 4 days ago
2004
ACM
As network security is a growing concern, system administrators lock down their networks by closing inbound ports and only allowing outbound communication over selected protocols ...
207
click to vote
AOSD
2003
ACM
16 years 8 hour ago
2003
ACM
Middleware technologies such as Web Services, CORBA and DCOM have been very successful in solving distributed computing problems for a large family of application domains. As midd...
169
click to vote
ATAL
2003
Springer
15 years 12 months ago
2003
Springer
This paper introduces AgentSpeak(F), a variation of the BDI logic programming language AgentSpeak(L) intended to permit the model-theoretic verification of multi-agent systems. A...
179
click to vote
PLDI
2010
ACM
15 years 11 months ago
2010
ACM
The availability of multicore processors has led to significant interest in compiler techniques for speculative parallelization of sequential programs. Isolation of speculative s...