990 search results - page 71 / 198 » A Static Analysis Technique for Graph Transformation Systems |
AVI
2006
13 years 10 months ago
2006
Scientific measurements are often depicted as line graphs. Stateof-the-art high throughput systems in life sciences, telemetry and electronics measurement rapidly generate hundred...
RTSS
2006
IEEE
14 years 3 months ago
2006
IEEE
In this paper, we study temperature-constrained hard realtime systems, where real-time guarantees must be met without exceeding safe temperature levels within the processor. Dynam...
EDOC
2007
IEEE
14 years 3 months ago
2007
IEEE
There has, in recent years, been growing interest in Model Driven Engineering (MDE), in which models are the primary design artifacts and transformations are applied to these mode...
CSFW
2004
IEEE
14 years 24 days ago
2004
IEEE
We present a new static analysis for reviewing the security of libraries for systems, such as JVMs or the CLR, that rely on stack inspection for access control. We describe its im...
ISMM
2009
Springer
14 years 3 months ago
2009
Springer
Applying computer technology, such as computer vision in driver assistance, implies that processes and data are modeled as being discretized rather than being continuous. The area ...