Sciweavers

2520 search results - page 15 / 504
» Alias Types and Effects for
Sort
View
FOCS
2006
IEEE
14 years 2 months ago
The Effectiveness of Lloyd-Type Methods for the k-Means Problem
We investigate variants of Lloyd’s heuristic for clustering high dimensional data in an attempt to explain its popular
Rafail Ostrovsky, Yuval Rabani, Leonard J. Schulma...
ESOP
2004
Springer
14 years 1 months ago
Call-by-Value Mixin Modules: Reduction Semantics, Side Effects, Types
Tom Hirschowitz, Xavier Leroy, J. B. Wells
CSFW
2006
IEEE
14 years 4 days ago
Types and Effects for Secure Service Orchestration
A distributed calculus is proposed for describing networks of services. We model service interaction through a call-by-property invocation mechanism, by specifying the security co...
Massimo Bartoletti, Pierpaolo Degano, Gian Luigi F...
IJCIS
2007
85views more  IJCIS 2007»
13 years 8 months ago
Typing and Transformational Effects in Complex Information Supply
Information plays an increasingly important role in our lives. Often we retrieve this information by querying the Web: data resources found on the web may provide the information ...
Bas van Gils, Henderik Alex Proper, Patrick van Bo...