1894 search results - page 309 / 379 » A TLA Proof System |
121
Voted
ENTCS
2006
15 years 3 months ago
2006
We propose a formal method to validate the reliability of a web application, by modeling interactions among its constituent objects. Modeling exploits the recent "Multiple Le...
129
Voted
MOR
2008
15 years 3 months ago
2008
We consider the average cost problem for partially observable Markov decision processes (POMDP) with finite state, observation, and control spaces. We prove that there exists an -...
147
Voted
ENTCS
2002
15 years 3 months ago
2002
The last few years have seen the development of a new calculus which can be considered as an outcome of the last decade of various researches on (higher order) term rewriting syst...
155
click to vote
ENTCS
2007
15 years 3 months ago
2007
We present two enhancements of the functional language L which is used in the eriFun system to write programs and formulate statements about them. Context dependent procedures all...
129
click to vote
TOCS
2002
15 years 3 months ago
2002
This paper presents secure program partitioning, a language-based technique for protecting confidential data during computation in distributed systems containing mutually untruste...