5302 search results - page 34 / 1061 » Learning How to Separate |
AGILEDC
2008
IEEE
15 years 1 months ago
2008
IEEE
Today, many software projects are being developed by collaborating programmers working across multiple locations. Whatever the reason may be, outsourcing, organizational structure...
COMGEO
2004
ACM
14 years 11 months ago
2004
ACM
We show how to utilize the cactus representation of all minimum cuts of a graph to visualize the minimum cuts of a planar graph in a planar drawing. In a first approach the cactus...
COORDINATION
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. The notion of session is fundamental in service oriented applications, as it separates interactions between different instances of the same service, and it groups togethe...
LICS
2005
IEEE
15 years 5 months ago
2005
IEEE
We show how to give a coherent semantics to programs that are well-specified in a version of separation logic for a language with higher types: idealized algol extended with heap...
CORR
2006
Springer
14 years 12 months ago
2006
Springer
Determining whether a quantum state is separable or entangled is a problem of fundamental importance in quantum information science. This is a brief review in which we consider th...