13 search results - page 2 / 3 » Exceptional Sets and Fiber Products |
KBSE
2008
IEEE
13 years 11 months ago
2008
IEEE
Abstract—We describe BPELCheck, a tool for statically analyzing interactions of composite web services implemented in BPEL. Our algorithm is compositional, and checks each proces...
VISUALIZATION
1998
IEEE
13 years 9 months ago
1998
IEEE
One common problem in the practical application of volume visualization is the proper choice of transfer functions in order to color different parts of the volume meaningfully. Th...
DSOM
1999
Springer
13 years 9 months ago
1999
Springer
The backup of large data sets is preferably performed automatically outside of regular working hours. In highly structured computer networks, however, faults and exceptions may rel...
ORL
1998
13 years 4 months ago
1998
Good heuristic solutions for large Multisource Weber problems can be obtained by solving related p-median problems in which potential locations of the facilities are users location...
ASAP
2002
IEEE
13 years 9 months ago
2002
IEEE
Recently there has been quite a number of papers discussing the use of redundant 4-to-2 adders for the accumulation of partial products in multipliers, claiming one type to be sup...