4757 search results - page 681 / 952 » Monads for Functional Programming |
167
click to vote
ATAL
2005
Springer
16 years 4 days ago
2005
Springer
A multi-agent system is a useful approach for the complex systems. One of the important concepts of multi-agent systems is cooperativeness, or interactions. However, existing lang...
152
click to vote
CC
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. Many compiler optimization techniques depend on the ability to calculate the number of integer values that satisfy a given set of linear constraints. This count (the enum...
210
click to vote
CMMR
2005
Springer
16 years 4 days ago
2005
Springer
The pureCMusic (pCM++) framework gives the possibility to write a piece of music in terms of an algorithmic-composition-based program -also controlled by data streaming from extern...
134
click to vote
FM
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. Control diagrams are routinely used by engineers in the design of control systems. Yet, currently the formal verification of programs that implement the diagrams is a ch...
171
click to vote
HPCC
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. The Ubiquitous Web requires novel programming paradigms and distributed architectures for the support of advanced services to a multitude of user devices and profiles. I...