524 search results - page 88 / 105 » Application of Graph Transformation in Verification of Dynam... |
MASS
2010
13 years 6 months ago
2010
In this paper we describe SpartanRPC, a secure middleware technology for wireless sensor network (WSN) applications supporting cooperation between distinct protection domains. The ...
CONCUR
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. Digital signal processing and control (DSPC) tools allow application developers to assemble systems by connecting predefined components in signal–flow graphs and by h...
CCGRID
2009
IEEE
14 years 3 months ago
2009
IEEE
— As the scale and complexity of parallel systems continue to grow, failures become more and more an inevitable fact for solving large-scale applications. In this research, we pr...
PASTE
2005
ACM
14 years 2 months ago
2005
ACM
Program instrumentation, inserted either before or during execution, is rapidly becoming a necessary component of many systems. Instrumentation is commonly used to collect informa...
SC
2003
ACM
14 years 1 months ago
2003
ACM
This paper presents a compiler analysis for data communication for the purpose of transforming ordinary programs into ones that run on distributed systems. Such transformations ha...