524 search results - page 66 / 105 » Application of Graph Transformation in Verification of Dynam... |
118
click to vote
CDC
2009
IEEE
15 years 6 months ago
2009
IEEE
Distributed decision making in networked systems depends critically on the timely availability of critical fresh information. Performance of networked systems, from the perspective...
116
click to vote
ECEASST
2006
15 years 2 months ago
2006
This paper contributes in two directions. First, several concepts of our matrix approach to graph transformation [1,2] such as coherence and minimal initial digraph are applied to ...
121
click to vote
IEEEPACT
2005
IEEE
15 years 7 months ago
2005
IEEE
Global address space languages like UPC exhibit high performance and portability on a broad class of shared and distributed memory parallel architectures. The most scalable applic...
AOSD
2006
ACM
15 years 8 months ago
2006
ACM
OOP style requires programmers to organize their code according to objects (or nouns, using natural language as a metaphor), causing a program’s actions (verbs) to become scatte...
100
click to vote
HICSS
2008
IEEE
15 years 8 months ago
2008
IEEE
While executing a process, many decisions are taken at its various decision points for selecting paths. There is a need for understanding and analyzing on various paths that emana...