2261 search results - page 80 / 453 » Relationships Between Models of Concurrency |
IAT
2008
IEEE
14 years 2 months ago
2008
IEEE
This paper focuses on relationships between agent models and their physical realisations. Approaches on reduction from philosophical literature are analysed in a formalised manner...
KBSE
2009
IEEE
14 years 2 months ago
2009
IEEE
—As software projects continue to grow in scale, being able to maximize the work that developers can carry out in parallel as a set of concurrent development tasks, without incur...
TLCA
2009
Springer
14 years 2 months ago
2009
Springer
We introduce a Game Semantics where strategies are partial orders, and composition is a generalization of the merging of orders. Building on this, to bridge between Game Semantics ...
KES
2005
Springer
14 years 1 months ago
2005
Springer
The ubiquity of chance discovery can be seen in many areas of application, fundamentally when there are events that are difficult to find or predict. In this paper, we present our...
WOA
2003
13 years 9 months ago
2003
— The aim of this paper is to focus on the issues connected with the diagrammatic notations and tools, which should support developers when moving from the design phase towards t...