3335 search results - page 121 / 667 » A Unified Approach to Modeling and Programming |
186
click to vote
ESOP
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We survey recent developments in an approach to the verification of higher-order computation based on game semantics. Higherorder recursion schemes are in essence (progra...
165
click to vote
ECOOP
2006
Springer
15 years 10 months ago
2006
Springer
In spite of the more advanced modularisation mechanisms, aspect-oriented programs still suffer from evolution problems. Due to the fragile pointcut problem, seemingly safe modifica...
156
click to vote
WSC
1998
15 years 7 months ago
1998
Many simulation models include elements of human decision making which present some difficulty to the simulation modeller. It is often difficult to determine how a human goes abou...
147
click to vote
CN
2000
15 years 6 months ago
2000
This paper describes the formulation of a new model for unintrusive targeted advertising on the web, extending the linear programming approach taken by Langheinrich et al.[10] A f...
173
click to vote
PLDI
2009
ACM
16 years 1 months ago
2009
ACM
Information flow controls can be used to protect both data confidentiality and data integrity. The certification of the security degree of a program that runs in untrusted envi...