434 search results - page 61 / 87 » From sequential programs to multi-tier applications by progr... |
AAAI
2000
14 years 11 months ago
2000
Models for sequential decision making under uncertainty (e.g., Markov decision processes,or MDPs) have beenstudied in operations research for decades. The recent incorporation of ...
CIA
1998
Springer
15 years 1 months ago
1998
Springer
Information-rich environments are the open environments that characterize most of the modern applications of computing technology. The applications include ubiquitous information a...
LICS
2007
IEEE
15 years 4 months ago
2007
IEEE
tion and Abstract Separation Logic Cristiano Calcagno Imperial College, London Peter W. O’Hearn Queen Mary, University of London Hongseok Yang Queen Mary, University of London S...
120
click to vote
AOSD
2012
ACM
13 years 5 months ago
2012
ACM
Aspect-Oriented Programming (AOP) started fifteen years ago with the remark that modularization of so-called crosscutting functionalities is a fundamental problem for the enginee...
163
Voted
SIGMOD
2006
ACM
15 years 9 months ago
2006
ACM
Testing of database applications is crucial for ensuring high software quality as undetected faults can result in unrecoverable data corruption. The problem of database applicatio...