4126 search results - page 479 / 826 » Relationships with other Formalisms |
191
click to vote
LPAR
2010
Springer
15 years 4 months ago
2010
Springer
Pointer analysis statically approximates the heap pointer structure during a program execution in order to track heap objects or to establish alias relations between references, a...
196
click to vote
SEMWEB
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Conceptual modelling tools allow users to construct formal representations of their conceptualisations. These models are typically developed in isolation, unrelated to ot...
208
click to vote
JAIR
2011
15 years 1 months ago
2011
Leading agent-based trust models address two important needs. First, they show how an agent may estimate the trustworthiness of another agent based on prior interactions. Second, ...
192
click to vote
JLP
2010
15 years 1 months ago
2010
The work presented here investigates the combination of Kleene algebra with the synchrony model of concurrency from Milner's SCCS calculus. The resulting algebraic structure ...
194
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
This article investigates selfish behavior in games where players are embedded in a social context. A framework is presented which allows us to measure the Windfall of Friendship...