1133 search results - page 201 / 227 » Local Logics for Traces |
113
click to vote
PADS
2006
ACM
15 years 5 months ago
2006
ACM
A master/worker paradigm for executing large-scale parallel discrete event simulation programs over networkenabled computational resources is proposed and evaluated. In contrast t...
119
click to vote
ISM
2005
IEEE
15 years 5 months ago
2005
IEEE
In this paper we show how an interactive system can be distributed among several peer devices. By taking advantage of the current trend towards ambient intelligent environments, w...
101
click to vote
ESWS
2005
Springer
15 years 5 months ago
2005
Springer
The paper addresses the problem of reasoning with multiple ontologies interrelated with semantic mappings. This problem is becoming more and more relevant due to the necessity of b...
106
click to vote
FSKD
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. In this paper, we propose a novel classification algorithm, called geometrical probability covering (GPC) algorithm, to improve classification ability. On the basis of ...
109
click to vote
ISPA
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Powerful grid and cluster computers allow efficient distributed simulation. Optimistic simulation techniques have been developed which allow for more parallelism in the l...