5639 search results - page 371 / 1128 » Timed Abstract Non-interference |
148
click to vote
CP
2001
Springer
15 years 8 months ago
2001
Springer
Abstract The tcc model is a formalism for reactive concurrent constraint programming. In this paper we propose a model of temporal concurrent constraint programming which adds to t...
144
click to vote
ECSQARU
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. Finding optimal policies for general partially observable Markov decision processes (POMDPs) is computationally difficult primarily due to the need to perform dynamic-pr...
181
click to vote
INFOCOM
2000
IEEE
15 years 8 months ago
2000
IEEE
Abstract—Many researchers have observed that TCP’s congestion control mechanisms can lead to bursty traffic flows on modern high-speed networks, with a negative impact on ove...
141
click to vote
CP
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. This paper describes the architecture and implementation of a constraint-based framework for rapid prototyping of distributed applications such as virtual simulations, co...
136
click to vote
ADBIS
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. Overlapping Linear Quadtrees is a structure suitable for storing consecutive raster images according to transaction time (a database of evolving images). This structure s...