4586 search results - page 670 / 918 » Computing stable models in parallel |
140
Voted
CONCUR
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. We apply the theory of asynchronous automata to the synthesis problem of closed distributed systems. We use safe asynchronous automata as implementation model, and charac...
127
click to vote
GCC
2003
Springer
15 years 9 months ago
2003
Springer
An instance-oriented security mechanism is proposed to deal with security threats in building a general-purpose mobile agent middleware in Grid environment. The proposed solution i...
134
click to vote
GCC
2003
Springer
15 years 9 months ago
2003
Springer
Despite the growth of Internet and the advances in WWW technology, current methods for web users to make good use of information from so enormous web pages are not as efficient as ...
129
click to vote
ISCIS
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. We show a two-phase approach for minimizing various communication-cost metrics in fine-grain partitioning of sparse matrices for parallel processing. In the first phase...
139
click to vote
ARTS
1997
Springer
15 years 8 months ago
1997
Springer
We introduce a mathematical model of the timed behaviour of components with streams as input and output using a hierarchy of timing concepts. We distinguish non-timed streams, dis...