3134 search results - page 118 / 627 » Computing full disjunctions |
115
click to vote
CIE
2010
Springer
15 years 7 months ago
2010
Springer
Containers are a semantic way to talk about strictly positive types. In previous work it was shown that containers are closed under various constructions including products, coprod...
114
click to vote
GD
2009
Springer
15 years 7 months ago
2009
Springer
To produce high quality drawings of graphs with nodes drawn as shapes it is important to find routes for the edges which do not intersect node boundaries. Recent work in this area...
113
click to vote
IPPS
1998
IEEE
15 years 6 months ago
1998
IEEE
The use of the DEEP development environment to analyze parallel program performance is described. The full integrated environment contains tools for the creation, analysis and deb...
116
Voted
ECOOPW
1998
Springer
15 years 6 months ago
1998
Springer
It is our opinion that declaring aspects by means of a full- edged logic language has a fundamental advantage over using a restricted special purpose aspect language. As an illust...
EDOC
1997
IEEE
15 years 6 months ago
1997
IEEE
In this paper we propose electronic contract negotiation — a sub-part of the more general area of electronic commerce — as an example application for mobile agents. We start b...