128 search results - page 9 / 26 » The Push to Make Software Engineering Respectable |
IEEEPACT
2009
IEEE
15 years 4 months ago
2009
IEEE
—Software testing is hard. The emergence of multicore architectures and the proliferation of bugprone multithreaded software makes testing even harder. To this end, researchers h...
SIGSOFT
2005
ACM
15 years 10 months ago
2005
ACM
Fluent model checking is an automated technique for verifying that an event-based operational model satisfies some state-based declarative properties. The link between the event-b...
ICSE
2004
IEEE-ACM
15 years 9 months ago
2004
IEEE-ACM
Rapid acceptance of the Web Services architecture promises to make it the most widely supported and popular object-oriented architecture to date. One consequence is that a wave of...
ICFEM
2007
Springer
15 years 1 months ago
2007
Springer
Abstract. CSP is a well-established formalism for modelling and verification of concurrent reactive systems based on refinement. Consolidated denotational models and an effective t...
104
click to vote
PAMI
2012
13 years 5 days ago
2012
—We present an algorithm that simultaneously calibrates two color cameras, a depth camera, and the relative pose between them. The method is designed to have three key features: ...