Search Sciweavers | Sciweavers

575 search results - page 18 / 115

» A Calculus for Interaction Nets

click to vote

ACMACE
2009
ACM

139views Human Computer Interaction» more ACMACE 2009»

Developing multiplayer pervasive games and networked interactive installations using ad hoc mobile sensor nets

13 years 10 months ago

Download www.funinnumbers.eu

We here present Fun in Numbers (FinN), a framework for developing pervasive applications and interactive installations for entertainment and educational purposes. Using ad hoc mob...

Orestis Akribopoulos, Marios Logaras, Nikos Vasila...

claim paper

Read More »

click to vote

FMCO
2007
Springer

118views Formal Methods» more FMCO 2007»

Coordination: Reo, Nets, and Logic

14 years 2 months ago

Download projects.cwi.nl

This article considers the coordination language Reo, a Petri net variant called zero-safe nets, and intuitionistic temporal linear logic (ITLL). The ﬁrst part examines the seman...

Dave Clarke

claim paper

Read More »

click to vote

VRML
2006
ACM

101views Internet Technology» more VRML 2006»

An approach to Petri net based formal modeling of user interactions from X3D content

14 years 2 months ago