524 search results - page 36 / 105 » Application of Graph Transformation in Verification of Dynam... |
DAC
2005
ACM
14 years 9 months ago
2005
ACM
In the design of highly complex, heterogeneous, and concurrent systems, deadlock detection and resolution remains an important issue. In this paper, we systematically analyze the ...
VLDB
2005
ACM
14 years 9 months ago
2005
ACM
With the recent advances in wireless networks, embedded systems and GPS technology, databases that manage the location of moving objects have received increased interest. In this ...
RTAS
1998
IEEE
14 years 29 days ago
1998
IEEE
In the past, environmental restrictions on size, weight, and power consumption have severely limited both the processing and storage capacity of embedded signal processing systems...
GIAE
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. The RifSimp package in Maple transforms a set of differential equations to Reduced Involutive Form. This paper describes the application of RifSimp to challenging real-w...
POPL
2000
ACM
14 years 1 months ago
2000
ACM
We propose an automatic method to enforce trace properties on programs. The programmer specifies the property separately from the program; a program transformer takes the program...