1888 search results - page 118 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
125
Voted
IJCIM
2002
15 years 3 months ago
2002
This paper presents a new distributed real-time control architecture for flexibly automated production systems. The modelling assumptions underlying the design en by, and abstract,...
221
Voted
ICDE
2007
IEEE
16 years 4 months ago
2007
IEEE
Automatic recognition and formalization of constraints from free-form service requests is a challenging problem. Its resolution would go a long way toward allowing users to make r...
131
Voted
PODC
2010
ACM
15 years 7 months ago
2010
ACM
In this paper, we present a framework for achieving anonymity and trust, two seemingly contradictory properties, in distributed systems. Our approach builds on webs of trust, a we...
104
click to vote
AAAI
2010
15 years 4 months ago
2010
In distributed work systems, individual users perform work for other users. A significant challenge in these systems is to provide proper incentives for users to contribute as muc...
128
Voted
JELIA
2010
Springer
15 years 1 months ago
2010
Springer
Multi-Context Systems (MCS) are formalisms that enable the interlinkage of single knowledge bases, called contexts, via bridge rules. Recently, the evaluation of heterogeneous, no...