8228 search results - page 1224 / 1646 » Structural Logical Relations |
195
click to vote
ATAL
2004
Springer
15 years 10 months ago
2004
Springer
Most research about multi-agent coordination is concentrated at a high level, e.g., developing coordination interaction protocols to be imposed on agents. There has been less conc...
197
click to vote
COOPIS
2004
IEEE
15 years 10 months ago
2004
IEEE
An innate characteristic of the development of ontologies is that they are often created by independent groups of expertise, which generates the necessity of merging and aligning o...
193
click to vote
FMCO
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We present a model of object-oriented and component-based refinement. For object-orientation, the model is class-based and refinement is about correct changes in the stru...
160
click to vote
FORMATS
2004
Springer
15 years 10 months ago
2004
Springer
The hierarchy of untimed equivalences is well understood for action-based systems. This is not the case for timed systems, where it is, for example, possible to detect concurrency ...
167
click to vote
GCB
2006
Springer
15 years 10 months ago
2006
Springer
: The analysis of small circular sequences requires specialized tools. While the differences between linear and circular sequences can be neglected in the case of long molecules su...