7452 search results - page 1081 / 1491 » A Semantics for Multiprocessor Systems |
167
click to vote
EPIA
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. The two puzzles are the Lottery Paradox and the Amalgamation Paradox, which both point out difficulties for aggregating uncertain information. A generalization of the lot...
195
click to vote
ICWL
2007
Springer
16 years 1 months ago
2007
Springer
It is indeed important to implement e-Learning platforms for education and training purposes in a variety of domains. However, facing the enormous amount of learning resources, gui...
167
click to vote
RULEML
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Rule Responder is an intelligent multi-agent system for collaborative teams and virtual communities that uses RuleML as its rule interchange format. The system allows the...
142
click to vote
WOLLIC
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. In informal mathematical usage we often reason using languages with binding. We usually find ourselves placing capture-avoidance constraints on where variables can and c...
152
click to vote
CSFW
2006
IEEE
16 years 28 days ago
2006
IEEE
The problem of information flow in multithreaded programs remains an important open challenge. Existing approaches to specifying and enforcing information-flow security often su...