3052 search results - page 525 / 611 » Weakly Distributive Domains |
169
click to vote
GECON
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. In distributed computer networks where resources are under decentralized control, selfish users will generally not work towards one common goal, such as maximizing the o...
160
click to vote
EICS
2010
ACM
15 years 4 months ago
2010
ACM
Component-based software engineering is a paradigm aiming at better ways to reuse existing code and to distribute work across teams. Integrating UI components developed with diffe...
127
click to vote
ICPR
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract—We propose a framework for clustering and visualization of images of face carvings at archaeological sites. The pairwise similarities among face carvings are computed by...
135
click to vote
ASE
2008
15 years 4 months ago
2008
Model checkers were originally developed to support the formal verification of high-level design models of distributed system designs. Over the years, they have become unmatched in...
169
click to vote
CL
2010
Springer
15 years 4 months ago
2010
Springer
In this paper we present the syntax, semantics, and compilation of a new system-level programming language called SystemJ. SystemJ is a multiclock language supporting the Globally...