Sciweavers

5790 search results - page 522 / 1158
» Distributed programming with distributed authorization
Sort
View
WCRE
1996
IEEE
15 years 10 months ago
Identifying Enumeration Types Modeled with Symbolic Constants
An important challenge in software reengineering is to encapsulate collections of related data that, due to the absence of appropriate constructs for encapsulation in legacy progr...
John M. Gravley, Arun Lakhotia
APLAS
2006
ACM
15 years 10 months ago
A Modal Language for the Safety of Mobile Values
We present a modal language for distributed computation which addresses the safety of mobile values as well as mobile code. The safety of mobile code is achieved with the modality...
Sungwoo Park
CORR
2010
Springer
103views Education» more  CORR 2010»
15 years 6 months ago
Exploratory Analysis of Functional Data via Clustering and Optimal Segmentation
We propose in this paper an exploratory analysis algorithm for functional data. The method partitions a set of functions into K clusters and represents each cluster by a simple pr...
Georges Hébrail, Bernard Hugueney, Yves Lec...
NAACL
2010
15 years 4 months ago
Inducing Synchronous Grammars with Slice Sampling
This paper describes an efficient sampler for synchronous grammar induction under a nonparametric Bayesian prior. Inspired by ideas from slice sampling, our sampler is able to dra...
Phil Blunsom, Trevor Cohn
SIGSOFT
2010
ACM
15 years 4 months ago
Embracing policy engineering
Declarative policies play a central role in many modern software systems. Engineering policies and their interactions with programs raises many interesting open questions. Categor...
Kathi Fisler, Shriram Krishnamurthi, Daniel J. Dou...