1138 search results - page 105 / 228 » First-Order Model Checking Problems Parameterized by the Mod... |
116
Voted
WSC
2007
15 years 4 months ago
2007
Metamodels are functions with calibrated parameters, used actions and simplifications of the simulation model. A metamodel exposes the system’s input-output relationship and ca...
99
Voted
CDC
2008
IEEE
15 years 9 months ago
2008
IEEE
— In this paper we employ the theory of partially ordered sets to model and analyze a class of decentralized control problems. We show that posets provide a natural way of modeli...
136
click to vote
CCS
2005
ACM
15 years 8 months ago
2005
ACM
In a reputation-based trust-management system, agents maintain information about the past behaviour of other agents. This information is used to guide future trust-based decisions...
219
Voted
SIGMOD
2007
ACM
16 years 2 months ago
2007
ACM
Graphs are prevalently used to model the relationships between objects in various domains. With the increasing usage of graph databases, it has become more and more demanding to e...
113
click to vote
ALDT
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. We propose various models for lobbying in a probabilistic environment, in which an actor (called “The Lobby”) seeks to influence the voters’ preferences of voting ...