345 search results - page 8 / 69 » Modular and Incremental Analysis of Concurrent Software Syst... |
162
click to vote
ICRA
2007
IEEE
16 years 3 days ago
2007
IEEE
Abstract— Creatively misquoting Thomas Hobbes, the process of software debugging is nasty, brutish, and all too long. This holds all the more true in robotics, which frequently i...
141
Voted
LCPC
2007
Springer
15 years 12 months ago
2007
Springer
186
click to vote
CORR
2011
Springer
15 years 25 days ago
2011
Springer
—The article describes a course on system design (structural approach) which involves the following: issues of systems engineering; structural models; basic technological problem...
163
Voted
ISSRE
2006
IEEE
15 years 11 months 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...
164
Voted
SIGSOFT
2008
ACM
16 years 6 months ago
2008
ACM
We propose a novel method for modular verification of web service compositions. We first use symbolic fixpoint computations to derive conditions on the incoming messages and relat...