968 search results - page 37 / 194 » The Molen Programming Paradigm |
151
click to vote
BIRTHDAY
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. This case study applies techniques of formal program development by specification refinement and composition to the problem of concurrent garbage collection. The speci...
141
click to vote
AISB
1997
Springer
15 years 8 months ago
1997
Springer
A technique for the credible modelling of economic agents with bounded rationality based on the evolutionary techniques is described. The genetic programming paradigm is most suite...
131
Voted
IPSN
2005
Springer
15 years 9 months ago
2005
Springer
— Event-driven programming is a popular paradigm for programming sensor nodes. It is based on the specification of actions (also known as event handlers) which are triggered by ...
115
click to vote
ISSRE
2003
IEEE
15 years 9 months ago
2003
IEEE
Symmetries often appear as properties of many artifical settings. In Program Testing, they can be viewed as properties of programs and can be given by the tester to check the cor...
177
Voted
AI
2001
Springer
15 years 7 months ago
2001
Springer
The stable semantics has become a prime candidate for knowledge representation and reasoning. The rules associated with propositional logic programs and the stable semantics are no...