11214 search results - page 275 / 2243 » Programming Multi-agent Systems |
181
click to vote
JFP
2007
15 years 7 months ago
2007
We present an approach to enriching the type system of ML with a restricted form of de
169
click to vote
ENTCS
2000
15 years 6 months ago
2000
The NuPRL system [3] was designed for interactive writing of machine
255
Voted
TSE
2002
15 years 6 months ago
2002
166
click to vote
SSS
2005
Springer
16 years 17 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...
192
click to vote
ICFP
2001
ACM
16 years 7 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...