15421 search results - page 174 / 3085 » Dependability |
220
click to vote
TPHOL
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract. We give an overview of Agda, the latest in a series of dependently typed programming languages developed in Gothenburg. Agda is based on Martin-L¨of’s intuitionistic t...
137
click to vote
RTA
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We show how polynomial path orders can be employed efficiently in conjunction with weak innermost dependency pairs to automatically certify the polynomial runtime comple...
138
click to vote
CSFW
2007
IEEE
15 years 10 months ago
2007
IEEE
Although static systems for information flow security are well-studied, few works address run-time information flow monitoring. Run-time information flow control offers distinc...
SAINT
2007
IEEE
15 years 10 months ago
2007
IEEE
We present a user profile management component for ubiquitous computing environments that provides management, inquiry and delivery of context-dependent user preferences. In part...
137
click to vote
EUROPAR
2007
Springer
15 years 10 months ago
2007
Springer
The performance of many scientific applications for distributed memory platforms can be increased by utilizing multiprocessor-task programming. To obtain the minimum parallel runt...