3595 search results - page 410 / 719 » Roles of Program Extension |
162
click to vote
TACAS
2004
Springer
16 years 20 hour ago
2004
Springer
Abstract. Model checking suffers not only from the state-space explosion problem, but also from the environment modeling problem: how can one create an accurate enough model of the...
174
click to vote
COOPIS
2003
IEEE
15 years 12 months ago
2003
IEEE
Dynamic loading of code is needed when rarely used code should be loaded on demand or when the code to be loaded is not known in advance. In distributed systems it can also be used...
267
click to vote
GLOBAL
2003
Springer
15 years 12 months ago
2003
Springer
Klaim (Kernel Language for Agents Interaction and Mobility) is an experimental language specifically designed to program distributed systems consisting of several mobile component...
167
click to vote
ICLP
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Logic variables pioneered by (concurrent) logic and concurrent constraint programming are powerful mechanisms for automatically synchronizing concurrent computations. The...
149
Voted
ICDCSW
2002
IEEE
15 years 11 months ago
2002
IEEE
Abstract— This work presents an infrastructure that simplifies the development of distributed applications that can adapt automatically to nonfunctional properties of their comp...