2664 search results - page 126 / 533 » Theory by Process |
158
click to vote
DALT
2009
Springer
15 years 7 months ago
2009
Springer
This paper generalises the theory of agent refinement from [1] to multi-agent systems in the presence of new coordination mechanisms extended with real time. The generalisation is ...
163
Voted
LICS
2012
IEEE
13 years 5 months ago
2012
IEEE
—This paper introduces HOpiPn, the higher-order pi-calculus with passivation and name creation, and develops an equivalence theory for this calculus. Passivation [Schmitt and Ste...
121
Voted
MODELS
2007
Springer
15 years 9 months ago
2007
Springer
The integration of different models, such as scenarios, is an important component of the requirements engineer’s work. If manually performed, the integration operation is error-...
126
click to vote
ARTMED
1998
15 years 3 months ago
1998
Abstract: The theory of conceptual structures serves as a common basis for natural language processing and medical concept representation. We present a PROLOG-based formalization o...
187
Voted
ESE
2011
14 years 3 months ago
2011
Abstract— This article analyzes experiment results regarding subjective perception issues. Software quality models, since the first publications on this subject, propose a prescr...