4666 search results - page 680 / 934 » Equations on Timed Languages |
146
click to vote
ITNG
2007
IEEE
16 years 1 months ago
2007
IEEE
Context information is one of the most important data coming from mobile devices to add a value for the application execution. This paper introduces a context dissemination middle...
213
click to vote
AGTIVE
2007
Springer
16 years 27 days ago
2007
Springer
In this article, we propose to use the Discrete EVent system Specification (DEVS) formalism to describe and execute graph transformation control structures. We provide a short rev...
180
click to vote
AGTIVE
2007
Springer
16 years 27 days ago
2007
Springer
In this paper, we consider a large variety of solutions for the generation of Sierpinski triangles, one of the case studies for the AGTIVE graph transformation tool contest [15]. A...
147
click to vote
CP
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. A common type of symmetry is when both variables and values partition into interchangeable sets. Polynomial methods have been introduced to eliminate all symmetric soluti...
176
Voted
ICALP
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. We give an fpt approximation algorithm for the directed vertex disjoint cycle problem. Given a directed graph G with n vertices and a positive integer k, the algorithm co...