2436 search results - page 284 / 488 » Comonadic Notions of Computation |
188
click to vote
WSC
2007
15 years 9 months ago
2007
In this paper we present a survey on methods for the synthesis of Petri nets from behavioral descriptions given as languages. We consider place/transition Petri nets, elementary P...
173
click to vote
ACMIDC
2008
15 years 8 months ago
2008
In this paper we describe the design and initial evaluation of a tangible computer programming exhibit for children on display at the Boston Museum of Science. We also discuss fiv...
173
click to vote
CW
2005
IEEE
15 years 8 months ago
2005
IEEE
Large Virtual Worlds (VWs) are increasingly common in the computer graphics areas of simulation, games, geospatial or scientific visualisation. In such VWs, simulated motion of th...
241
Voted
CONEXT
2008
ACM
15 years 8 months ago
2008
ACM
Wireless multi-hop networks are particularly susceptible to attacks based on flooding and the interception, tampering with, and forging of packets. Thus, reliable communication in...
207
click to vote
CSL
2008
Springer
15 years 8 months ago
2008
Springer
Quantitative generalizations of classical languages, which assign to each word a real number instead of a boolean value, have applications in modeling resource-constrained computat...