3717 search results - page 630 / 744 » Representing Multiple Theories |
195
click to vote
PRDC
2009
IEEE
16 years 15 days 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...
164
click to vote
ATAL
2009
Springer
16 years 11 days 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...
175
click to vote
ATAL
2009
Springer
16 years 11 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 ...
167
click to vote
OOPSLA
2009
Springer
16 years 10 days 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...
151
click to vote
OOPSLA
2009
Springer
16 years 10 days 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...