5639 search results - page 584 / 1128 » Timed Abstract Non-interference |
164
click to vote
ESA
2006
Springer
15 years 10 months ago
2006
Springer
We consider FIFO buffer management for switches providing differentiated services. In each time step, an arbitrary number of packets arrive, and only one packet can be sent. The bu...
168
click to vote
ESORICS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. This paper presents an access control model for programming applications in which the access control to resources can employ user interaction to obtain the necessary perm...
180
click to vote
ESWS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We extend the notion of ontology matching to community-driven ontology matching. Primarily, the idea is to enable Web communities to establish and reuse ontology mappings...
170
click to vote
EUROPAR
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Typical sensor nodes are composed of cheap hardware because they have to be affordable in great numbers. This means that memory and communication bandwidth are small, CPU...
157
click to vote
EVOW
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We introduce a novel representation for the graph colouring problem, called the Integer Merge Model, which aims to reduce the time complexity of an algorithm. Moreover, o...