2137 search results - page 326 / 428 » Proving Abstract Non-interference |
125
click to vote
ICLP
2003
Springer
15 years 7 months ago
2003
Springer
Abstract The ntcc process calculus is a timed concurrent constraint programming (ccp) model equipped with a first-order linear-temporal logic (LTL) for expressing process specifi...
109
click to vote
ICWE
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. As a consequence of the success of the Web, methodologies for information system development need to consider systems that use the Web paradigm. These Web Information Sys...
112
click to vote
GMP
2010
IEEE
15 years 7 months ago
2010
IEEE
Abstract. Parameterizations have a wide range of applications in computer graphics, geometric design and many other fields of science and engineering. Although surface parameteriz...
127
Voted
INFOCOM
2002
IEEE
15 years 7 months ago
2002
IEEE
Abstract— We present in this paper an analytical model for the calculation of network load and drop probabilities in a TCP/IP network with general topology. First we formulate ou...
INFOCOM
2002
IEEE
15 years 7 months ago
2002
IEEE
Abstract— This paper introduces a new packet marking algorithm that can be used in the context of Assured Forwarding (AF) in the Differentiated Services (DiffServ) framework [1],...