2273 search results - page 259 / 455 » On the Expressiveness and Complexity of ATL |
150
click to vote
KI
2007
Springer
16 years 19 days ago
2007
Springer
How do we reason about spatial descriptions? In recent years a lot of research has been investigated in order to determine factors of complexity in spatial relational reasoning. S...
197
click to vote
OTM
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. The creation of distributed applications requires sophisticated compositions, as various components — supporting application logic or non-functional requirements — mu...
171
click to vote
ISSRE
2006
IEEE
16 years 15 days ago
2006
IEEE
BPEL is a language that could express complex concurrent behaviors. This paper presents a novel method of BPEL test case generation, which is based on concurrent path analysis. Th...
170
click to vote
ICRA
2005
IEEE
16 years 3 days ago
2005
IEEE
— Robotic motion planning requires configuration space exploration. In high-dimensional configuration spaces, a complete exploration is computationally intractable. Practical m...
179
click to vote
SC
2005
ACM
16 years 1 days ago
2005
ACM
The development of complex scientific applications for high-end systems is a challenging task. Addressing complexity of the involved software and algorithms is becoming increasing...