3729 search results - page 517 / 746 » On Formal Modeling of Agent Computations |
165
click to vote
CAV
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. Regular model checking is a form of symbolic model checking technique for systems whose states can be represented as finite words over a finite alphabet, where regular ...
164
click to vote
WINE
2010
Springer
15 years 4 months ago
2010
Springer
We study the optimal pricing strategies of a monopolist selling a divisible good (service) to consumers that are embedded in a social network. A key feature of our model is that c...
203
click to vote
PERCOM
2007
ACM
16 years 6 months ago
2007
ACM
This paper develops a context aware framework to address the diverse communication needs of a modern enterprise. Such enterprises are characterized by workers in different locatio...
200
click to vote
IJIIDS
2008
15 years 6 months ago
2008
: Growing importance of distributed data mining techniques has recently attracted attention of researchers in multiagent domain. Several agent-based application have been already c...
172
click to vote
ATAL
2007
Springer
16 years 23 days ago
2007
Springer
Canonical problems are simplified representations of a class of real world problems. They allow researchers to compare algorithms in a standard setting which captures the most im...