1188 search results - page 127 / 238 » Testing Semantics: Connecting Processes and Process Logics |
122
click to vote
DAC
2006
ACM
16 years 5 months ago
2006
ACM
Multimedia SoCs are characterized by a main controller that directs the activity of several cores, each of which is in charge of a stage in the processing of a media stream. The v...
147
click to vote
WOLLIC
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Proofs in Ludics, have an interpretation provided by their counter-proofs, that is the objects they interact with. We shall follow the same idea by proposing that sentenc...
122
click to vote
FASE
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. In this paper we present a novel approach for the predicative specification of user rights in the context of an object oriented use case driven development process. We e...
110
click to vote
FOIS
2008
15 years 5 months ago
2008
Many geographic terms, such as "river" and "lake", are vague, with no clear boundaries of application. In particular, the spatial extent of such features is oft...
167
click to vote
ACMICEC
2006
ACM
15 years 10 months ago
2006
ACM
This paper formalizes the semantics of trust and studies the transitivity of trust. On the Web, people and software agents have to interact with “strangers”. This makes trust ...