Sciweavers

2859 search results - page 195 / 572
» A Programming Environment for Bousi-Prolog
Sort
View
IFL
2005
Springer
103views Formal Methods» more  IFL 2005»
15 years 11 months ago
Accurate Step Counting
Abstract Starting with an evaluator for a language, an abstract machine for the same language can be mechanically derived using successive program transformations. This has relevan...
Catherine Hope, Graham Hutton
ARES
1998
Springer
15 years 10 months ago
A Model of Interaction in Concurrent and Distributed Systems
Distributed programming environments commonly restrict programmers to one form of intercomponent interaction. This forces programmers to emulate other interaction styles in terms o...
Nat Pryce, Steve Crane
CCGRID
2001
IEEE
15 years 10 months ago
Gekko: A Metalevel for Adaptation in Nexus
In this paper, we describe the results of an experiment to add support for multimethod communication to the NexusJava communications library using metalevel programming techniques...
Darren Webb, Andrew L. Wendelborn
WSC
1997
15 years 7 months ago
Taking the Work Out of Simulation Modeling: An Application of Technology Integration
This paper presents an implementation methodology appropriate for providing a broad range of proven, classical Operations Research methods and techniques to the simulation modeler...
Gregory S. Baker
WSC
1997
15 years 7 months ago
Simulation and Control of Reactive Systems
We introduce SIDE (the acronym stands for Sensors In a Distributed Environment)—a software package for developing control programs for reactive systems. One distinctive feature ...
Pawel Gburzynski, Jacek Maitan