413 search results - page 65 / 83 » A Process for Requirement Traceability in Agent Oriented Dev... |
107
click to vote
IFIP13
2004
14 years 11 months ago
2004
: This paper proposes a development process for interactive systems based both on verification and validation methods. Our approach is formal and use at first the B Method. We show...
80
Voted
I3E
2001
14 years 11 months ago
2001
: Most often, technological explanations are given of Europe's slow adoption of mobile commerce. When seeking non-technological explanations, diffusion models provide aggregat...
ATAL
2003
Springer
15 years 2 months ago
2003
Springer
Future large-scale software development projects will require engineering support for a diverse range of software quality attributes, such as privacy and openness. It is not feasi...
APSEC
2000
IEEE
15 years 2 months ago
2000
IEEE
For the past 40 years, the techniques, processes and methods of software development have been dominated by supply-side issues, giving rise to a software industry oriented towards...
73
Voted
IROS
2008
IEEE
15 years 4 months ago
2008
IEEE
— Local visual homing is the process of determining the direction of movement required to return an agent to a goal location by comparing the current image with an image taken at...