196 search results - page 32 / 40 » A High-Level Symbolic Language for Distributed Web Programmi... |
106
Voted
DAGSTUHL
2003
15 years 4 months ago
2003
Abstract. There are a range of abstractions used for both modelling and proof modern computational systems. While these abstractions may have been devised for specific purposes, t...
165
Voted
OOPSLA
2010
Springer
15 years 1 months ago
2010
Springer
Web sites and web browsers have recently evolved into platforms on top of which entire applications are delivered dynamically, mostly as JavaScript source code. This delivery form...
120
Voted
IPPS
2007
IEEE
15 years 9 months ago
2007
IEEE
Babel is a high-performance, n-way language interoperability tool for the HPC community that now includes support for distributed computing via Remote Method Invocation (RMI). We ...
120
Voted
ATAL
2009
Springer
15 years 9 months ago
2009
Springer
BDI (Belief, Desire, Intention) agent systems are very powerful, but they lack the ability to incorporate planning. There has been some previous work to incorporate planning withi...
125
Voted
APCSAC
2006
IEEE
15 years 8 months ago
2006
IEEE
In the ubiquitous era, it is necessary to research the architectures of multiprocessor system with high performance and low power consumption. A simulator developed in high level l...