7047 search results - page 73 / 1410 » Focusing on Binding and Computation |
194
click to vote
PEPM
1997
ACM
15 years 10 months ago
1997
ACM
We present the design of a dynamic compilation system for C. Directed by a few declarative user annotations specifying where and on what dynamic compilation is to take place, a bi...
164
click to vote
ACSC
2007
IEEE
16 years 16 days ago
2007
IEEE
In this paper we shall introduce a new electronic payment concept based on the popular direct debit payment model, entitled periodical payments. The direct debit model currently i...
160
click to vote
FOSSACS
2005
Springer
15 years 11 months ago
2005
Springer
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
208
click to vote
NOSSDAV
1993
Springer
15 years 10 months ago
1993
Springer
For applications relying on the transfer of multimedia, and in particular continuous media, it is essential that quality of service (QoS) is guaranteed system-wide, including end-s...
159
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Improving the accuracy and efficiency of motif recognition is an important computational challenge that has application to detecting transcription factor binding sites...