1173 search results - page 1 / 235 » Weighted Distributed Systems and Their Logics |
LFCS
2007
Springer
13 years 11 months ago
2007
Springer
ICALP
2005
Springer
13 years 11 months ago
2005
Springer
Abstract. Weighted automata are used to describe quantitative properties in various areas such as probabilistic systems, image compression, speech-to-text processing. The behaviour...
FROCOS
2005
Springer
13 years 11 months ago
2005
Springer
Abstract. In this paper, we introduce a spatial and temporal logic for reasoning about distributed computation. The logic is a combination of an extension of hybrid logic, that all...
SOFSEM
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. The increasing complexity of today’s embedded systems applications imposes the requirements and constraints of distributed, heterogeneous subsystem interaction to softw...
ATAL
2009
Springer
14 years 1 days ago
2009
Springer
Weighted voting games are a natural and practically important class of simple coalitional games, in which each agent is assigned a numeric weight, and a coalition is deemed to be ...