210 search results - page 31 / 42 » XCML: A Runtime Representation for the Context Modelling Lan... |
KI
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Markov logic, as a highly expressive representation formalism that essentially combines the semantics of probabilistic graphical models with the full power of first-orde...
MMAS
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. As the scale and scope of multi-agent systems grow, it becomes increasingly important to design and manage the manner in which the participants interact. The potential fo...
ICFP
2005
ACM
14 years 7 months ago
2005
ACM
Implementing first-class continuations can pose a challenge if the target machine makes no provisions for accessing and re-installing the run-time stack. In this paper, we present...
IPPS
2003
IEEE
2003
IEEE
Dynamically Loaded Classes as Shared Libraries: An Approach to Improving Virtual Machine Scalability
14 years 29 days ago
Sharing selected data structures among virtual machines of a safe language can improve resource utilization of each participating run-time system. The challenge is to determine wh...
FM
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Predictive analysis aims at detecting concurrency errors during runtime by monitoring a concrete execution trace of a concurrent program. In recent years, various models ...