5639 search results - page 291 / 1128 » Timed Abstract Non-interference |
140
Voted
AAECC
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. In this paper we show that the separable decomposition of a univariate polynomial can be computed in softly optimal time, in terms of the number of arithmetic operations ...
128
Voted
ENTCS
2006
15 years 3 months ago
2006
Abstract. In this paper, we discuss the semantics of BPEL4WS language which is a de facto standard for specifying and execution workflow specification for web service composition a...
124
Voted
IJSNET
2008
15 years 3 months ago
2008
Abstract-- Future applications running on mobile platforms will sometimes need to query sensors and track sensor data over time. This paper uses the publishsubscribe paradigm as a ...
150
Voted
NETWORKS
2006
15 years 3 months ago
2006
Abstract. The Steiner tree problem is to find a shortest subgraph that spans a given set of vertices in a graph. This problem is known to be NP-hard and it is well known that a pol...
111
Voted
TASLP
2008
15 years 3 months ago
2008
Abstract--This paper addresses the problem of tracking multiple moving sources using binaural input. We observe that binaural cues are strongly correlated with source locations in ...