4047 search results - page 270 / 810 » Algebraic Model Checking |
186
click to vote
SAINT
2002
IEEE
15 years 11 months ago
2002
IEEE
The Simple Mail Transfer Protocol (SMTP) based E-mail system is the most popular application in today’s Internet world, but there are many dark clouds at the edge of the sunshin...
191
click to vote
TGC
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We present a tool developed for fostering probabilistic model checking of services formally specified in Scows, a stochastic enrichment of the Calculus for Orchestration ...
213
click to vote
ADL
2000
Springer
15 years 11 months ago
2000
Springer
We address the problem of tight XML schemas and propose regular tree automata to model XML data. We show that the tree automata model is more powerful that the XML DTDs and is clo...
167
click to vote
COMPGEOM
1996
ACM
15 years 10 months ago
1996
ACM
This paper addresses the complexity of computing the smallest-radius infinite cylinder that encloses an input set of n points in 3-space. We show that the problem can be solved in...
198
click to vote
ESORICS
2008
Springer
15 years 8 months ago
2008
Springer
We are interested in this problem: a verifier, with a small and reliable storage, wants to periodically check whether a remote server is keeping a large file x. A dishonest server,...