11214 search results - page 275 / 2243 » Programming Multi-agent Systems |
170
click to vote
JFP
2007
15 years 6 months ago
2007
We present an approach to enriching the type system of ML with a restricted form of de
156
click to vote
ENTCS
2000
15 years 6 months ago
2000
The NuPRL system [3] was designed for interactive writing of machine
158
click to vote
SSS
2005
Springer
16 years 4 days ago
2005
Springer
Dijkstra’s concept of self-stabilization assumes that faults can only affect the variables of a program. We study the notion of selfstabilization if faults can also affect (i.e...
173
click to vote
ICFP
2001
ACM
16 years 6 months ago
2001
ACM
Lula is a system for computer-assisted stage lighting design and control. Whereas other systems for the same purpose are usually the results of long chains of incremental improvem...