5639 search results - page 213 / 1128 » Timed Abstract Non-interference |
138
Voted
CCIA
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. In this paper we introduce an agent architecture for joint action negotiation among several agents in complex environments and with negotiation time bounds. The architect...
174
Voted
CPM
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. We consider the problem of highly space-efficient representation of separable graphs while supporting queries in constant time in the RAM with logarithmic word size. In p...
104
click to vote
MOC
2010
14 years 9 months ago
2010
Abstract. Many key algorithms in 3-manifold topology involve the enumeration of normal surfaces, which is based upon the double description method for finding the vertices of a con...
113
Voted
NHM
2010
14 years 9 months ago
2010
Abstract. This contribution is concerned with the formulation of a heterogeneous multiscale finite elements method (HMM) for solving linear advectiondiffusion problems with rapidly...
114
click to vote
SIAMCOMP
2010
14 years 9 months ago
2010
Abstract. In this paper we study variants of the non-preemptive parallel job scheduling problem where the number of machines is polynomially bounded in the number of jobs. For this...