1557 search results - page 9 / 312 » Programming up to Congruence |
110
click to vote
ICALP
2011
Springer
14 years 2 months ago
2011
Springer
Markov automata describe systems in terms of events which may be nondeterministic, may occur probabilistically, or may be subject to time delays. We define a novel notion of weak ...
ICALP
2009
Springer
15 years 11 months ago
2009
Springer
IIE
2007
14 years 10 months ago
2007
Motivating students of the Nintendo generation for Computer Science can only be achieved by providing them with an exiting and fresh CS1 course. The article describes the experienc...
IFIP
2004
Springer
15 years 4 months ago
2004
Springer
Abstract This paper introduces new-HOPLA, a concise but powerful language for higherorder nondeterministic processes with name generation. Its origins as a metalanguage for domain ...
100
click to vote
VL
1999
IEEE
15 years 2 months ago
1999
IEEE
Although there has been considerable research into ways to design visual programming environments to improve the processes of creating new programs and of understanding existing o...