717 search results - page 36 / 144 » Concurrent Engineering |
110
click to vote
IROS
2007
IEEE
15 years 8 months ago
2007
IEEE
— A functional approach to programming robot swarms brings with it well-defined properties that allow for automated concurrency and distributed execution. Further, the particula...
124
click to vote
SEW
2006
IEEE
15 years 8 months ago
2006
IEEE
Complex software systems typically involve features like time, concurrency and probability, where probabilistic computations play an increasing role. It is challenging to formaliz...
114
click to vote
FUIN
2007
15 years 1 months ago
2007
We define Concurrent Turing Machines (CTMs) as Turing machines with Petri nets as finite control. This leads to machines with arbitrary many tape heads, thus subsuming any class ...
168
click to vote
DKE
2011
14 years 9 months ago
2011
We propose a novel approach to facilitate the concurrent development of ontologies by different groups of experts. Our approach adapts Concurrent Versioning, a successful paradigm...
FSTTCS
2009
Springer
15 years 8 months ago
2009
Springer
We address the problem of alternating simulation refinement for concurrent timed games (TG). We show that checking timed alternating simulation between TG is EXPTIME-complete, and...