Sciweavers

4325 search results - page 725 / 865
» Incremental computation with names
Sort
View
DKE
2007
151views more  DKE 2007»
15 years 6 months ago
Towards a context-based multi-type policy approach for Web services composition
The objective of this research work is to look into the role of policies and context in framing the composition of Web services. Context supports the development of adaptable Web ...
Zakaria Maamar, Djamal Benslimane, Philippe Thiran...
ENGL
2007
179views more  ENGL 2007»
15 years 6 months ago
Wearable Real-Time Stereo Vision for the Visually Impaired
— Visually impaired find their navigation difficult as they often lack the needed information for bypassing obstacles and hazards. Electronic Travel Aids (ETAs) are devices that ...
G. Balakrishnan, G. Sainarayanan, R. Nagarajan, Sa...
ENTCS
2007
121views more  ENTCS 2007»
15 years 6 months ago
Dagger Compact Closed Categories and Completely Positive Maps: (Extended Abstract)
ly positive maps (extended abstract) Peter Selinger 1 Department of Mathematics and Statistics Dalhousie University, Halifax, Nova Scotia, Canada Dagger compact closed categories ...
Peter Selinger
JUCS
2006
103views more  JUCS 2006»
15 years 6 months ago
An Object Model for Interoperable Systems
Abstract: Most modern computer applications should run on heterogeneous platforms and, moreover, objects and respective code should be easily interchangeable between distinct platf...
Alcides Calsavara, Aaron Borges, Leonardo Nunes, D...
EOR
2007
103views more  EOR 2007»
15 years 6 months ago
Alternative configurations for cutting machines in a tube cutting mill
In a steel tube mill where an endless stream of steel tube is supplied from a manufacturing facility, trim waste is never made regardless of cutting patterns used and the standard...
Iman Hajizadeh, Chi-Guhn Lee