3515 search results - page 632 / 703 » On the semantics of Strategy Logic |
212
click to vote
CORR
2011
Springer
15 years 2 months ago
2011
Springer
The MapReduce distributed programming framework has become popular, despite evidence that current implementations are inefficient, requiring far more hardware than a traditional r...
271
Voted
SIGSOFT
2011
ACM
15 years 1 months ago
2011
ACM
Developing complex distributed systems is a non-trivial task. It is even more difficult when the systems need to dynamically reconfigure the distributed functionalities or tasks...
177
click to vote
SYNTHESE
2011
15 years 1 months ago
2011
This paper examines E. W. Beth’s work in the philosophy of physics, both from a historical and a systematic point of view. Beth saw the philosophy of physics first of all as an ...
284
Voted
ICAIL
2011
ACM
14 years 6 months ago
2011
ACM
A formal two-phase model of democratic policy deliberation is presented, in which in the first phase sufficient and necessary criteria for proposals to be accepted are determine...
186
click to vote
ICDT
2012
ACM
13 years 9 months ago
2012
ACM
We introduce a new normal form, called essential tuple normal form (ETNF), for relations in a relational database where the constraints are given by functional dependencies and jo...