882 search results - page 64 / 177 » Analysis of Composite Corridors |
ICSE
2009
IEEE-ACM
14 years 9 months ago
2009
IEEE-ACM
In modern software systems, programs are obtained by dynamically assembling components. This has made it necessary to subject component providers to access-control restrictions. W...
RP
2009
Springer
14 years 3 months ago
2009
Springer
Dynamic networks of Pushdown Systems (PDN in short) have been introduced to perform static analysis of concurrent programs that may spawn threads dynamically. In this model the se...
SEUS
2008
IEEE
14 years 3 months ago
2008
IEEE
This paper provides a QoS analysis of a dynamic, ubiquitous UMTS network scenario in the automotive context identified in the ongoing EC HIDENETS project. The scenario comprises d...
CIMAGING
2008
13 years 10 months ago
2008
We apply stabilized inverse diffusion equations (SIDEs) to segment microscopy images of materials to aid in analysis of defects. We extend SIDE segmentation methods and demonstrat...
FUIN
2006
13 years 8 months ago
2006
Recently, using a limit schema, we presented an analog and machine independent algebraic characterization of elementary functions over the real numbers in the sense of recursive a...