13734 search results - page 128 / 2747 » Abstractions of data types |
160
click to vote
DATESO
2008
15 years 5 months ago
2008
Abstract In recent years, many approaches to indexing XML data have appeared. These approaches attempt to process XML queries efficiently and sufficient query plans are built for t...
139
click to vote
AAIM
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In this paper we study the computational problem of arbitrage in a frictional market with a finite number of bonds and finite and discrete times to maturity. Types of f...
114
click to vote
CONCUR
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We present a discretely timed spi-calculus. A primitive for key compromise allows us to model key compromise attacks, thus going beyond the standard Dolev–Yao attacker ...
140
click to vote
ECOOPW
1999
Springer
15 years 8 months ago
1999
Springer
This paper formalizes the folklore result that strongly-typed applets are more secure than untyped ones. We formulate and prove several security properties that all well-typed app...
142
click to vote
ICIW
2007
IEEE
15 years 7 months ago
2007
IEEE
Abstract-- Maintaining large websites and verifying their semantic content is a difficult task. In this paper we propose a framework for syntactic validation, semantic verification...