6562 search results - page 183 / 1313 » Noetherianity and Combination Problems |
316
click to vote
FM
1997
Springer
15 years 10 months ago
1997
Springer
We describe a meta-method for formal method integration Pai97 . The approach is applied to combining formal methods with other formal and semiformal methods. We discuss the theory ...
198
click to vote
ECAI
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We investigate the problem of the verification of multiagent systems by means of parallel algorithms. We present algorithms for CTLK, a logic combining branching time tem...
153
click to vote
ECAIW
2000
Springer
15 years 10 months ago
2000
Springer
When searching the space of possible plans for combined planning and scheduling problems we often reach a local maximum and must either backtrack or otherwise modify the plan to m...
162
click to vote
APSEC
2008
IEEE
16 years 29 days ago
2008
IEEE
This paper presents an idea to apply Jackson’s JSP method, which is suitable for the transformation problem frame, into the state transition design, presented in the behavior pr...
150
click to vote
CP
2005
Springer
16 years 14 hour ago
2005
Springer
Abstract. Constraint satisfaction problems provide strong formalism for modeling variety of real life problems. This paper presents a work currently in progress of which the goal i...