6508 search results - page 334 / 1302 » Development and the Baldwin Effect |
158
click to vote
ATAL
2003
Springer
16 years 16 hour ago
2003
Springer
This paper takes the view that to be considered autonomous, a software agent must possess the means by which to manage its own motivations and so define new goals. Using the motiva...
155
click to vote
CAISE
2003
Springer
16 years 14 hour ago
2003
Springer
A huge amount of effort is consumed in modelling business processes, and then in developing and maintaining tools, documentation, and training courses to support the modelled proce...
154
click to vote
FCT
2003
Springer
16 years 4 hour ago
2003
Springer
We develop new proof techniques, based on non-interference, for the analysis of safety and liveness properties of cryptographic protocols expressed as terms of the process algebra ...
171
click to vote
ICDCSW
2002
IEEE
15 years 11 months ago
2002
IEEE
In the development of agent applications, interactions are an important issue, which must be faced with appropriate methodologies and tools. A separation of concerns between the a...
164
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
Detection of obstacles for autonomous vehicles is more difficult when the terrain is not locally planar and remains an open problem. We have developed an approach suited for obsta...