799 search results - page 90 / 160 » Refinement and Separation Contexts |
SAS
2007
Springer
14 years 4 months ago
2007
Springer
Existing shape analysis algorithms infer descriptions of data structures at program points, starting from a given precondition. We describe an analysis that does not require any pr...
WEBI
2007
Springer
14 years 4 months ago
2007
Springer
The virtual world is comprised of data items related to each other in a variety of contexts. Often such relations can be represented as graphs that evolve over time. Examples incl...
IEEESCC
2006
IEEE
14 years 4 months ago
2006
IEEE
Service Oriented Architecture (SOA) is an architectural style to reuse and integrate subsystems in existing systems for designing new applications. Each application is designed in...
CCGRID
2005
IEEE
14 years 3 months ago
2005
IEEE
Efficient memory allocation and data transfer for cluster-based data-intensive applications is a difficult task. Both changes in cluster interconnects and application workloads ...
LICS
2005
IEEE
14 years 3 months ago
2005
IEEE
The theory of reactive systems, introduced by Leifer and Milner and previously extended by the authors, allows the derivation of well-behaved labelled transition systems (LTS) for...