2482 search results - page 337 / 497 » Characterizing Programming Systems Allowing Program Self-ref... |
125
Voted
SEM
2004
Springer
15 years 7 months ago
2004
Springer
Resource management is a precondition to build reliable, extensible middleware and to host potentially untrusted user components. Resource accounting allows to charge users for the...
106
click to vote
ICPP
2002
IEEE
15 years 7 months ago
2002
IEEE
The development of correct synchronization code for distributed programs is a challenging task. In this paper, we propose an aspect oriented technique for developing synchronizati...
100
Voted
HICSS
2000
IEEE
15 years 6 months ago
2000
IEEE
This paper describes an architecture for building distributed information systems from existing information resources, based on software agent and distributed object technologies....
221
Voted
CP
2009
Springer
16 years 2 months ago
2009
Springer
When interval methods handle systems of equations over the reals, two main types of filtering/contraction algorithms are used to reduce the search space. When the system is well-co...
113
Voted
PPDP
2004
Springer
15 years 7 months ago
2004
Springer
Object Petri nets (OPNs) provide a natural and modular method for modelling many real-world systems. We give a structure-preserving translation of OPNs to Prolog by encoding the O...