7452 search results - page 1167 / 1491 » A Semantics for Multiprocessor Systems |
170
click to vote
ECSQARU
2003
Springer
15 years 12 months ago
2003
Springer
In this paper, we propose some extensions of epistemic logic for reasoning about information fusion. The fusion operators considered in this paper include majority merging, arbitra...
176
click to vote
FASE
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. One of the principal uses of UML is the modelling of synchronous object-oriented software systems, in which the behaviour of each of several classes is modelled using a s...
169
click to vote
GW
2003
Springer
15 years 12 months ago
2003
Springer
We aim at creating Embodied Conversational Agents (ECAs) able to communicate multimodally with a user or with other ECAs. In this paper we focus on the Gestural Mind Markers, that ...
169
click to vote
ICCS
2003
Springer
15 years 12 months ago
2003
Springer
XML-based metadata information services are a crucial core service needed by Problem Solving Environments built over emerging service-based, globally-scaled distributed systems, a...
149
click to vote
TOOLS
2010
IEEE
15 years 12 months ago
2010
IEEE
This paper presents Welterweight Java (WJ), a new minimal core Java calculus intended to be a suitable starting point for investigations in the semantics of Java-like programs. To ...