Sciweavers

1814 search results - page 156 / 363
» D-Stampede: Distributed Programming System for Ubiquitous Co...
Sort
View
130
Voted
ICFP
2006
ACM
16 years 1 months ago
Access control in a core calculus of dependency
The Dependency Core Calculus (DCC) is an extension of the computational lambda calculus that was designed in order to capture the notion of dependency that arises in information-f...
Martín Abadi
120
Voted
SAC
2008
ACM
15 years 16 days ago
Supporting the development of context-aware agent-based systems for mobile networks
Distributed applications involving mobile devices interconnected by wireless networks may benefit both from multiagent technology and context-aware programming techniques. This ar...
José Viterbo Filho, Marcelo Andrade da Gama...
114
Voted
ISIPTA
2005
IEEE
146views Mathematics» more  ISIPTA 2005»
15 years 6 months ago
Arithmetic on Random Variables: Squeezing the Envelopes with New Joint Distribution Constraints
Uncertainty is a key issue in decision analysis and other kinds of applications. Researchers have developed a number of approaches to address computations on uncertain quantities....
Jianzhong Zhang 0004, Daniel Berleant
127
Voted
ICPP
2002
IEEE
15 years 6 months ago
Pattern-Based Parallel Programming
The advantages of pattern-based programming have been well-documented in the sequential literature. However patterns have yet to make their way into mainstream parallel computing,...
Steven Bromling, Steve MacDonald, John Anvik, Jona...
125
Voted
EUROPAR
2004
Springer
15 years 6 months ago
Concurrent Table Accesses in Parallel Tabled Logic Programs
Tabling is an implementation technique that improves the declarativeness and expressiveness of Prolog by reusing answers to subgoals. The declarative nature of tabled logic program...
Ricardo Rocha, Fernando M. A. Silva, Vítor ...