3307 search results - page 300 / 662 » The meaning of concurrent programs |
199
click to vote
POPL
2010
ACM
15 years 7 months ago
2010
ACM
In this paper, we explore the potential of the theory of nested words for partial correctness proofs of recursive programs. Our conceptual contribution is a simple framework that ...
150
click to vote
PDCAT
2004
Springer
16 years 1 days ago
2004
Springer
There are many situations in which it is desirable to protect a piece of software from illegitimate tampering once it gets distributed to the users. Protecting the software code me...
179
click to vote
MEMOCODE
2003
IEEE
15 years 12 months ago
2003
IEEE
In this paper, we present a technique for determining tight bounds on the execution time of assembler programs. Thus, our method is independent of the design flow, but takes into...
193
click to vote
IWPC
1996
IEEE
15 years 11 months ago
1996
IEEE
This paper reviews the state of the art on application knowledge acquisiton from existing software systems and defines the role of business rules. It then goes on to present a met...
178
click to vote
COLING
2000
15 years 8 months ago
2000
This paper presents a robust client/server implementation of a word sense disambiguator for English. This system associates a word with its meaning in a given context using dictio...