1080 search results - page 30 / 216 » Improving Software Inspections by Using Reading Techniques |
CLOUDCOM
2010
Springer
14 years 7 months ago
2010
Springer
Abstract--The cloud computing model aims to make largescale data-intensive computing affordable even for users with limited financial resources, that cannot invest into expensive i...
MOC
2010
14 years 4 months ago
2010
Following a paper of R. Robinson, we classify all hyperbolic polynomials in one variable with integer coefficients and span less than 4 up to degree 13, and with some additional h...
ICRA
2010
IEEE
14 years 8 months ago
2010
IEEE
Abstract— Autonomous robot navigation in unstructured outdoor environments is a challenging and largely unsolved area of active research. The navigation task requires identifying...
UML
2001
Springer
15 years 2 months ago
2001
Springer
: This paper introduces the Calculating with Concepts (CC) technique, which has been developed to improve the precision of UML class diagrams and allows the formal reasoning based ...
POPL
2011
ACM
14 years 12 days ago
2011
ACM
Containers are general-purpose data structures that provide functionality for inserting, reading, removing, and iterating over elements. Since many applications written in modern ...