3791 search results - page 104 / 759 » Packing sets of patterns |
118
click to vote
KBSE
2008
IEEE
15 years 9 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...
129
click to vote
ICMCS
2007
IEEE
15 years 9 months ago
2007
IEEE
Image based modeling and rendering techniques have become increasingly popular for creating and visualizing 3D models from a set of images. Typically, these techniques depend on v...
110
click to vote
ALGOSENSORS
2007
Springer
15 years 9 months ago
2007
Springer
We introduce Semi-Matching with Demands (SMD), which models a certain problem in sensor networks of assigning individual sensors to sensing tasks. If there are multiple sensing tas...
110
click to vote
APPROX
2004
Springer
15 years 8 months ago
2004
Springer
In many economic settings, convex figures on the plane are for sale. For example, one might want to sell advertising space on a newspaper page. Selfish agents must be motivated ...
DSD
2002
IEEE
15 years 8 months ago
2002
IEEE
The Complex Streamed Instruction (CSI) set is an instruction set extension targeted at multimedia applications. CSI instructions process two-dimensional data streams stored in mem...