2338 search results - page 40 / 468 » Separation in Theory - Coordination in Practice |
XPU
2009
Springer
14 years 3 months ago
2009
Springer
The Agile Manifesto values “customer collaboration over contract negotiation”. However, in many real projects, Agile practitioners spend considerable time and effort negotiati...
ICYCS
2008
IEEE
14 years 3 months ago
2008
IEEE
With the rapid development of computer science, its education mode also changes a lot. Teaching and learning are not restricted by the physical distance with the help of the netwo...
CIE
2007
Springer
14 years 3 months ago
2007
Springer
Realizability theory is not just a fundamental tool in logic and computability. It also has direct application to the design and implementation of programs, since it can produce co...
ICMCS
2005
IEEE
14 years 2 months ago
2005
IEEE
Separation of voice and music is an interesting but difficult problem. It is useful for many other researches such as audio content analysis. In this paper, the difference betwee...
POPL
2004
ACM
14 years 9 months ago
2004
ACM
We investigate proof rules for information hiding, using the recent formalism of separation logic. In essence, we use the separating conjunction to partition the internal resource...