4586 search results - page 585 / 918 » Computing stable models in parallel |
146
click to vote
COLCOM
2009
IEEE
15 years 9 months ago
2009
IEEE
—The concept of groups is a natural aspect of most collaboration scenarios. Group-Centric Secure Information Sharing models (g-SIS) have been recently proposed in which users and...
152
click to vote
ICPP
2000
IEEE
15 years 9 months ago
2000
IEEE
Current VLSI technology allows more than two wiring layers and the number is expected to rise in future. In this paper, we show that, by designing VLSI layouts directly for an L-l...
134
click to vote
CONCUR
1999
Springer
15 years 9 months ago
1999
Springer
In order to check whether an open system satisfies a desired property, we need to check the behavior of the system with respect to an arbitrary environment. In the most general se...
165
click to vote
ECOOPW
1998
Springer
15 years 9 months ago
1998
Springer
Adaptability has become one of the most important research areas in concurrent object-oriented systems in recent years. It tries to cope with system evolution by adding/replacing ...
136
click to vote
ICDCS
1996
IEEE
15 years 9 months ago
1996
IEEE
Access to large numbers of data sources introduces new problems for users of heterogeneous distributed databases. End users and application programmers must deal with unavailable ...