Sciweavers

9370 search results - page 3 / 1874
» An Abstract Notion of Application
Sort
View
GG
2008
Springer
13 years 11 months ago
Network Applications of Graph Bisimulation
Abstract Synchronising Graphs is a system of parallel graph transformation designed for modeling process interaction in a network environment. We propose a theory of context-free s...
Pietro Cenciarelli, Daniele Gorla, Emilio Tuosto
IANDC
2010
102views more  IANDC 2010»
13 years 8 months ago
Presenting functors on many-sorted varieties and applications
This paper studies several applications of the notion of a presentation of a functor by operations and equations. We show that the technically straightforward generalisation of th...
Alexander Kurz, Daniela Petrisan
DIAGRAMS
2006
Springer
14 years 1 months ago
Exploring the Notion of 'Clutter' in Euler Diagrams
Abstract. Euler diagrams are an effective and intuitive way of representing relationships between sets. As the number of sets represented grows, Euler diagrams can become `cluttere...
Chris John, Andrew Fish, John Howse, John Taylor
SCN
2008
Springer
147views Communications» more  SCN 2008»
13 years 9 months ago
New Anonymity Notions for Identity-Based Encryption
ded abstract of this paper appeared in Proceedings of the 6th Conference on Security and Cryptography for Networks (SCN '08)
Malika Izabachène, David Pointcheval
CSL
2009
Springer
14 years 4 months ago
Decidable Relationships between Consistency Notions for Constraint Satisfaction Problems
Abstract. We define an abstract pebble game that provides game interpretations for essentially all known consistency algorithms for constraint satisfaction problems including arc-...
Albert Atserias, Mark Weyer