1532 search results - page 256 / 307 » An Algebraic Process Calculus |
103
click to vote
ICSEA
2007
IEEE
15 years 4 months ago
2007
IEEE
Test case generation is an expensive, tedious, and errorprone process in software testing. In this paper, test case generation is accomplished using an Extended Finite State Machi...
ISBI
2007
IEEE
15 years 4 months ago
2007
IEEE
In total knee replacement surgery, also known as total knee arthroplasty, prosthetics are implanted in the knee joint as treatment for progressive diseases such as arthritis or tr...
ECOWS
2007
Springer
15 years 4 months ago
2007
Springer
Service composition and service statefulness are key concepts in Web Service system programming. In this paper we present JOLIE, which is the full implementation of our formal cal...
ISSAC
2007
Springer
15 years 4 months ago
2007
Springer
Numerical homotopy continuation gives a powerful tool for the applied scientist who seeks solutions to a system of polynomial equations. Techniques from numerical homotopy continu...
SPIN
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. We present an approach for the veri cation of spatial properties with Spin. We rst extend one of Spin's main property speci cation mechanisms, i.e., the linear-time...