8636 search results - page 1416 / 1728 » How Developers Copy |
126
click to vote
KI
2008
Springer
15 years 4 months ago
2008
Springer
To model human concepts of motions is essential for the development of the systems and machines that collaborate with ordinary people on spatiodynamic tasks. This paper applies two...
136
click to vote
JLP
2006
15 years 4 months ago
2006
This paper describes in detail how to bridge the gap between theory and practice when implementing in Maude structural operational semantics described in rewriting logic, where tr...
135
click to vote
MAGS
2008
15 years 4 months ago
2008
The GRID and MAS (Multi-Agent Systems) communities believe in the potential of GRID and MAS to enhance each other as these models have developed significant complementarities. Thu...
102
click to vote
ENTCS
2007
15 years 4 months ago
2007
In the theory of graph rewriting, the use of coalescing rules, i.e., of rules which besides deleting and generating graph items, can coalesce some parts of the graph, turns out to...
122
click to vote
ENTCS
2007
15 years 4 months ago
2007
In the last decade, many calculi for modelling distributed mobile code have been proposed. To assess their merits and encourage use, implementations of the calculi have often been...