3379 search results - page 36 / 676 » Combinators for Interaction Nets |
130
Voted
MASCOTS
2003
15 years 4 months ago
2003
Abstract. In this paper we describe a formalism which uses the stochastic process algebra PEPA as the inscription language for labelled stochastic Petri nets. Viewed in another way...
117
Voted
CIIA
2009
15 years 4 months ago
2009
The power of Petri nets resides on the availability of several tools for analysis and verification of properties of systems. Users have to combine the functionality of tools in dif...
149
Voted
ERSHOV
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Debugging virtual machines (VMs) presents unique challenges, especially meta-circular VMs, which are written in the same language they implement. Making sense of runtime ...
112
click to vote
CHI
2006
ACM
16 years 3 months ago
2006
ACM
Through a study of field biology practices, we observed that biology fieldwork generates a wealth of heterogeneous information, requiring substantial labor to coordinate and disti...
140
Voted
PERCOM
2008
ACM
16 years 3 months ago
2008
ACM
Recent advances in peer-to-peer (P2P) technologies will enable users to establish ubiquitous connectivity among their personal networked devices and those of others. Building on t...