3717 search results - page 630 / 744 » Representing Multiple Theories |
170
Voted
PRDC
2009
IEEE
15 years 10 months ago
2009
IEEE
—With ever-growing complexity of computer and communication systems analytical methods do not scale, especially with respect to dependability assessment of information technology...
134
Voted
ATAL
2009
Springer
15 years 10 months ago
2009
Springer
In this paper we address the problem of decentralised coordination for agents that must make coordinated decisions over continuously valued control parameters (as is required in m...
157
click to vote
ATAL
2009
Springer
15 years 10 months 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 ...
140
Voted
OOPSLA
2009
Springer
15 years 10 months ago
2009
Springer
Bruce and Foster proposed the language LOOJ, an extension of Java with the notion of MyType, which represents the type of a self reference and changes its meaning along with inher...
129
Voted
OOPSLA
2009
Springer
15 years 10 months ago
2009
Springer
In this paper we describe Ginger, a new language with first class support for literate programming. Literate programming refers to a philosophy that argues computer programs shou...