5900 search results - page 390 / 1180 » Dependable Systems |
173
click to vote
ICFP
2008
ACM
16 years 6 months ago
2008
ACM
This paper exhibits the power of programming with dependent types by dint of embedding three domain-specific languages: Cryptol, a language for cryptographic protocols; a small da...
166
click to vote
PERCOM
2008
ACM
16 years 6 months ago
2008
ACM
Comparing context of different entities is not easy at all. Since context depends on the situation of a particular entity it can be understood in different ways by various entitie...
163
click to vote
ICCS
2005
Springer
16 years 8 days ago
2005
Springer
The aim of this paper is to address computational aspects of the total energy singular vector analysis of atmospheric chemical transport models. We discuss the symmetry of the tang...
142
click to vote
LICS
1987
IEEE
15 years 10 months ago
1987
IEEE
The Edinburgh Logical Framework (LF) provides a means to define (or present) logics. It is based on a general treatment of syntax, rules, and proofs by means of a typed -calculus ...
188
click to vote
CDC
2009
IEEE
15 years 10 months ago
2009
IEEE
Distributed decision making in networked systems depends critically on the timely availability of critical fresh information. Performance of networked systems, from the perspective...