3771 search results - page 259 / 755 » Subobject Transformation Systems |
128
click to vote
CONCUR
2009
Springer
15 years 10 months ago
2009
Springer
We present a new algorithm for computing the winning region of a parity game played over the configuration graph of a pushdown system. Our method gives the first extension of the...
128
click to vote
IWMM
2009
Springer
15 years 10 months ago
2009
Springer
Magpie is a source-to-source transformation for C programs that enables precise garbage collection, where precise means that integers are not confused with pointers, and the liven...
131
click to vote
CDC
2008
IEEE
15 years 10 months ago
2008
IEEE
— The paper describes a framework for solving the coverage problem for a class of non-convex domains. In [1] we have shown how a diffeomorphism can be used to transform a non-con...
148
click to vote
COLCOM
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract. Existing Peer to Peer (P2P) collaborative editing systems do not allow any user to undo any modification. However, in such systems, users are not aware of others’ modi...
113
click to vote
IROS
2007
IEEE
15 years 10 months ago
2007
IEEE
— This paper presents a software component, the plan database, which provides the needed services to define plans, execute them and more importantly adapt them during execution....