5064 search results - page 153 / 1013 » Recent Developments in Gridsolve |
AI
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. Version Control Systems (VCS) have always played an essential role for developing reliable software. Recently, many new ways of utilizing the information hidden in VCS ha...
CANS
2009
Springer
14 years 3 months ago
2009
Springer
In this paper, we study the broadcast authentication problem for both erasure and adversarial networks. Two important concerns for authentication protocols are the authentication ...
ATAL
2009
Springer
14 years 3 months ago
2009
Springer
The paper proposes a unification of the two main frameworks commonly used for the analysis of collective decisionmaking: the framework of preference aggregation, developed from t...
ATAL
2009
Springer
14 years 3 months ago
2009
Springer
Coming up with a plan for a team that operates in a non-deterministic environment is a complex process, and the problem is further complicated by the need for team members to comm...
CALCO
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Labelled Markov processes are continuous-state fully probabilistic labelled transition systems. They can be seen as co-algebras of a suitable monad on the category of mea...