413 search results - page 65 / 83 » A Process for Requirement Traceability in Agent Oriented Dev... |
198
click to vote
IFIP13
2004
15 years 7 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...
155
click to vote
I3E
2001
15 years 7 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...
156
click to vote
ATAL
2003
Springer
15 years 11 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...
170
click to vote
APSEC
2000
IEEE
15 years 10 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...
154
click to vote
IROS
2008
IEEE
16 years 12 days 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...