1080 search results - page 55 / 216 » Improving Software Inspections by Using Reading Techniques |
FM
2009
Springer
14 years 7 months ago
2009
Springer
Abstract. Explicit state methods have proven useful in verifying safetycritical systems containing concurrent processes that run asynchronously and communicate. Such methods consis...
111
click to vote
TASE
2010
IEEE
14 years 4 months ago
2010
IEEE
Abstract--We present a robotic manipulation system for automated selection and transfer of individual living cells to analysis locations. We begin with a commonly used cell transfe...
SCAM
2007
IEEE
15 years 3 months ago
2007
IEEE
Modern applications are becoming increasingly more dynamic and flexible. In Java software, one important flexibility mechanism is dynamic class loading. Unfortunately, the vast ...
CSMR
2003
IEEE
15 years 2 months ago
2003
IEEE
Component-based software development (CBSD) is a very promising software engineering technique for improving reuse and maintenance. Nevertheless, there are still some difficultie...
114
click to vote
CIKM
2006
Springer
14 years 11 months ago
2006
Springer
In an expert search task, the users' need is to identify people who have relevant expertise to a topic of interest. An expert search system predicts and ranks the expertise o...