2200 search results - page 353 / 440 » Programming norm change |
103
click to vote
ICDCS
1996
IEEE
15 years 6 months ago
1996
IEEE
: Software capabilities are a very convenient means to protect co-operating applications. They allow access rights to be dynamically exchanged between mutually suspicious interacti...
113
click to vote
IPPS
1996
IEEE
15 years 6 months ago
1996
IEEE
Programming distributed-memory machines requires careful placement of datato balance the computationalload among the nodes and minimize excess data movement between the nodes. Mos...
125
click to vote
CAV
2009
Springer
15 years 6 months ago
2009
Springer
We consider the decision problem for quantifier-free formulas whose atoms are linear inequalities interpreted over the reals or rationals. This problem may be decided using satisf...
137
click to vote
EDOC
2007
IEEE
15 years 6 months ago
2007
IEEE
The decentralized process of configuring enterprise applications is complex and error-prone, involving multiple participants/roles and numerous configuration changes across multipl...
145
Voted
RTA
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Declarative debugging is a semi-automatic technique that starts from an incorrect computation and locates a program fragment responsible for the error by building a tree ...