4586 search results - page 497 / 918 » Computing stable models in parallel |
166
click to vote
FTDCS
1997
IEEE
15 years 11 months ago
1997
IEEE
A Software Architecture is the overall structure of a system in terms of its constituent components and their interconnections. In this paper, we describe work to associate behavi...
189
click to vote
ICDCS
1997
IEEE
15 years 11 months ago
1997
IEEE
—This paper describes algorithms for implementing a high-level programming model for synchronous distributed groupware applications. In this model, several application data objec...
183
click to vote
ICPADS
1996
IEEE
15 years 11 months ago
1996
IEEE
The Management of Distributed Applications and Systems (MANDAS) project addresses problems arising in the management of distributed applications. Specifically, we are studying the...
151
click to vote
HPCC
2007
Springer
15 years 10 months ago
2007
Springer
Efficient exploitation of the aggregate resources available to a researcher is a challenging and real problem. The challenge becomes all the greater when researchers who collaborat...
177
click to vote
EDOC
2004
IEEE
15 years 10 months ago
2004
IEEE
To focus the comparison of languages for model checking and transformation on criteria that matter in practical development, there is an urgent need for more, and more realistic, ...