Sciweavers

2482 search results - page 147 / 497
» Characterizing Programming Systems Allowing Program Self-ref...
Sort
View
ERLANG
2004
ACM
14 years 1 months ago
On modelling agent systems with Erlang
Multi-agent systems are a kind of concurrent distributed systems. In this work, some guidelines on how to create multi-agent systems using Erlang are presented. The modelled syste...
Carlos Varela, Carlos Abalde, Laura M. Castro, Jos...
SCANGIS
2003
13 years 9 months ago
A Card-based Visual Query System for Geographical Information Systems
This paper introduces a visual query system for geographical information systems, which is easy to use for non-professional persons. The system creates a new iconic metaphor — a ...
Shiguang Ju, Weigang Guo, Héctor J. Hern&aa...
LCTRTS
2010
Springer
14 years 3 months ago
Contracts for modular discrete controller synthesis
We describe the extension of a reactive programming language with a behavioral contract construct. It is dedicated to the programming of reactive control of applications in embedd...
Gwenaël Delaval, Hervé Marchand, &Eacu...
PDCAT
2005
Springer
14 years 1 months ago
Performance Comparison between VOPP and MPI
View-Oriented Parallel Programming is based on Distributed Shared Memory which is friendly and easy for programmers to use. It requires the programmer to divide shared data into v...
Zhiyi Huang, Martin K. Purvis, Paul Werstein
PPDP
2004
Springer
14 years 1 months ago
Just enough tabling
We introduce just enough tabling (JET), a mechanism to suspend and resume the tabled execution of logic programs at an arbitrary point. In particular, JET allows pruning of tabled...
Konstantinos F. Sagonas, Peter J. Stuckey