4719 search results - page 340 / 944 » Newtonian program analysis |
123
click to vote
ICSEA
2006
IEEE
16 years 20 days ago
2006
IEEE
— In today software industry defect tracking tools either help to improve an organization’s software development process or an individual’s software development process. No d...
172
click to vote
ISSRE
2006
IEEE
16 years 19 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...
174
click to vote
SAC
2005
ACM
16 years 5 days ago
2005
ACM
KLAIM is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...
162
click to vote
FSTTCS
2005
Springer
16 years 4 days ago
2005
Springer
We introduce asynchronous dynamic pushdown networks (ADPN), a new model for multithreaded programs in which pushdown systems communicate via shared memory. ADPN generalizes both CP...
166
click to vote
IFIP
2010
Springer
15 years 11 months ago
2010
Springer
This work presents a study about the use of Laban Movement Analysis (LMA) as a robust tool to describe human basic behavior patterns, to be applied in human-machine interaction. LM...