8056 search results - page 1192 / 1612 » Object Behavior Analysis |
182
click to vote
REX
1991
15 years 10 months ago
1991
We propose a framework for the formal speci cation and veri cation of timed and hybrid systems. For timed systems we propose a speci cation language that refers to time only throug...
170
click to vote
NSDI
2008
15 years 9 months ago
2008
An emerging paradigm in peer-to-peer (P2P) networks is to explicitly consider incentives as part of the protocol design in order to promote good (or discourage bad) behavior. Howe...
150
click to vote
WSC
2008
15 years 9 months ago
2008
As the competition becomes more and more intense, many retail small store chain operators are eager to know how to evaluate new store locations quantitatively to support a scienti...
167
click to vote
AIRWEB
2008
Springer
15 years 8 months ago
2008
Springer
This paper focuses on analyzing (Japanese) splogs based on various characteristics of keywords contained in them. We estimate the behavior of spammers when creating splogs from ot...
179
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
We consider Coalitional Skill Games (CSGs), a simple model of cooperation among agents. This is a restricted form of coalitional games, where each agent has a set of skills that a...