1054 search results - page 203 / 211 » A Logic Language of Granular Computing |
92
Voted
ATAL
2010
Springer
15 years 23 days ago
2010
Springer
We consider the issue of representing coalitional games in multiagent systems that exhibit externalities from coalition formation, i.e., systems in which the gain from forming a c...
211
click to vote
ASPLOS
2009
ACM
16 years 9 days ago
2009
ACM
Although chip-multiprocessors have become the industry standard, developing parallel applications that target them remains a daunting task. Non-determinism, inherent in threaded a...
SIGMOD
1999
ACM
15 years 4 months ago
1999
ACM
It is envisaged that the application of the multilevel security (MLS) scheme will enhance exibility and e ectiveness of authorization policies in shared enterprise databases and w...
202
click to vote
POPL
2009
ACM
16 years 9 days ago
2009
ACM
Transactional memory (TM) is a promising paradigm for concurrent programming. Whereas the number of TM implementations is growing, however, little research has been conducted to p...
192
click to vote
POPL
2009
ACM
16 years 9 days ago
2009
ACM
We present a proof calculus and method for the static verification of assertions and procedure specifications in shared-memory concurrent programs. The key idea in our approach is...