6960 search results - page 250 / 1392 » Continuity Analysis of Programs |
108
click to vote
PLDI
2000
ACM
15 years 8 months ago
2000
ACM
We present a new limited form of interprocedural analysis called field analysis that can be used by a compiler to reduce the costs of modern language features such as objectorien...
ACSD
2004
IEEE
15 years 7 months ago
2004
IEEE
We explore a structuring mechanism for reactive systems, based on two ideas: array iterators allow the description of regular systems; logical-time contracts allow local or global...
135
click to vote
IFIP
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. We formally study two privacy-type properties in online auction protocols, bidding-price-secrecy and receipt-freeness. These properties are formalised as observational eq...
81
Voted
UM
2009
Springer
15 years 10 months ago
2009
Springer
The web has become a major source of information to learn about a topic. With the continuous growth of information and its high connectivity, it is hard to follow only the links th...
113
click to vote
ICSM
2006
IEEE
15 years 9 months ago
2006
IEEE
Long-running applications such as network services require continuous uptime but also frequent changes to the software. To avoid downtime for software maintenance, applications mu...