873 search results - page 9 / 175 » step 2005 |
STEP
2005
IEEE
15 years 3 months ago
2005
IEEE
The article focuses on a problem software companies often face: the need to choose a software quality model that, besides being auditable, ensures the connection of quality goals ...
76
Voted
ICRA
2005
IEEE
15 years 3 months ago
2005
IEEE
- This paper is concerned with the derivation of the kinematics model of the University of Tehran-Pole Climbing Robot (UT-PCR). As the first step, an appropriate set of coordinates...
CEEMAS
2005
Springer
15 years 3 months ago
2005
Springer
The purpose of this paper is to introduce a dialectical theory for plan synthesis based on a multi-agent approach. This approach is a promising way to devise systems based on agent...
LICS
2005
IEEE
15 years 3 months ago
2005
IEEE
We construct a domain-theoretic calculus for Lipschitz and differentiable functions, which includes addition, subtraction and composition. We then develop a domaintheoretic versio...
ICSM
2005
IEEE
15 years 3 months ago
2005
IEEE
The documentation of a program often falls behind the evolution of the program source files. When this happens it may be attractive to shift the documentation mode from updating ...