8232 search results - page 1320 / 1647 » Dynamic Logic Programming |
197
click to vote
SAC
2005
ACM
16 years 6 days ago
2005
ACM
In this paper we present an investigation into the run-time behaviour of objects in Java programs, using specially adapted coupling metrics. We identify objects from the same clas...
175
click to vote
SAC
2005
ACM
16 years 6 days ago
2005
ACM
KLAIM is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...
173
Voted
LCPC
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. The increased popularity of grid systems and cycle sharing across organizations requires scalable systems that provide facilities to locate resources, to be fair in the u...
153
click to vote
SIGADA
2005
Springer
16 years 3 days ago
2005
Springer
This paper presents an intermediate notation used in a framework for verification of real-time properties. The framework aims at overcoming the need for the framework user to hav...
183
click to vote
ASPLOS
2004
ACM
16 years 2 days ago
2004
ACM
Distributed Shortest-Positioning Time First (D-SPTF) is a request distribution protocol for decentralized systems of storage servers. D-SPTF exploits high-speed interconnects to d...