2664 search results - page 126 / 533 » Theory by Process |
DALT
2009
Springer
14 years 3 days 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 ...
LICS
2012
IEEE
11 years 10 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...
MODELS
2007
Springer
14 years 2 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-...
ARTMED
1998
13 years 8 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...
ESE
2011
12 years 8 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...