Sciweavers

3379 search results - page 13 / 676
» Combinators for Interaction Nets
Sort
View
146
Voted
IPSN
2010
Springer
16 years 4 days ago
KleeNet: discovering insidious interaction bugs in wireless sensor networks before deployment
Complex interactions and the distributed nature of wireless sensor networks make automated testing and debugging before deployment a necessity. A main challenge is to detect bugs ...
Raimondas Sasnauskas, Olaf Landsiedel, Muhammad Ha...
DFN
2009
15 years 6 months ago
Interactive Analysis of NetFlows for Misuse Detection in Large IP Networks
: While more and more applications require higher network bandwidth, there is also a tendency that large portions of this bandwidth are misused for dubious purposes, such as unauth...
Florian Mansmann, Fabian Fischer, Daniel A. Keim, ...
IEEEVAST
2010
15 years 4 days ago
NetClinic: Interactive visualization to enhance automated fault diagnosis in enterprise networks
Diagnosing faults in an operational computer network is a frustrating, time-consuming exercise. Despite advances, automatic diagnostic tools are far from perfect: they occasionall...
Zhicheng Liu, Bongshin Lee, Srikanth Kandula, Ratu...
LICS
2005
IEEE
15 years 11 months ago
Ludics Nets, a game Model of Concurrent Interaction
We propose L-nets as a game model of concurrent interaction. L-nets, which correspond to strategies (in Games Semantics) or designs (in Ludics), are graphs rather than trees; the ...
Claudia Faggian, François Maurel
177
Voted
ACMACE
2009
ACM
15 years 6 months ago
Developing multiplayer pervasive games and networked interactive installations using ad hoc mobile sensor nets
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...