17983 search results - page 99 / 3597 » Set Types and Applications |
106
Voted
CIDM
2007
IEEE
15 years 9 months ago
2007
IEEE
— There are several types of processes which can be modeled explicitly by recording the interactions between a set of actors over time. In such applications, a common objective i...
117
Voted
CSFW
2005
IEEE
15 years 8 months ago
2005
IEEE
We consider expansions of the Abadi-Rogaway logic of indistinguishability of formal cryptographic expressions. We expand the logic in order to cover cases when partial information...
113
click to vote
JLP
2007
15 years 2 months ago
2007
Exploiting linear type structure, we introduce a new theory bisimilarity for the π-calculus in which we abstract away not only τ-actions but also non-τ actions which do not aff...
101
click to vote
IEEEIAS
2008
IEEE
15 years 9 months ago
2008
IEEE
: This paper focuses on the different challenges to design a security typed web scripting language. It uses the type system approach on a simple imperative language that captures a...
258
Voted
ICDE
2009
IEEE
16 years 4 months ago
2009
IEEE
Large databases with uncertain information are becoming more common in many applications including data integration, location tracking, and Web search. In these applications, ranki...