3220 search results - page 153 / 644 » Constrained Graph Processes |
153
click to vote
IPPS
2003
IEEE
15 years 11 months ago
2003
IEEE
Kahn defined a formal model for networks of processes that communicate through channels carrying streams of data tokens. His mathematical results show the necessary conditions fo...
179
click to vote
TOPNOC
2008
15 years 6 months ago
2008
Process Algebras are formalisms for modelling concurrent systems that permit mathematical reasoning with respect to a set of desired properties. TAPAs is a tool that can be used to...
161
click to vote
MODELS
2009
Springer
16 years 28 days ago
2009
Springer
Recently, a generic approach for syntax-based user assistance in diagram editors has been proposed that requires the syntax of the visual language to be defined by a graph grammar...
146
click to vote
CCS
2003
ACM
15 years 11 months ago
2003
ACM
Security is a crucial aspect in any modern software system. To ensure security in the final product, security requirements must be considered in the entire software development p...
174
click to vote
FOSSACS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Rewriting systems over adhesive categories have been recently introduced as a general framework which encompasses several rewriting-based computational formalisms, includ...