6508 search results - page 334 / 1302 » Development and the Baldwin Effect |
175
Voted
ATAL
2003
Springer
16 years 22 days 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...
168
Voted
CAISE
2003
Springer
16 years 22 days 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...
167
Voted
FCT
2003
Springer
16 years 22 days 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 ...
187
click to vote
ICDCSW
2002
IEEE
16 years 14 days 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...
183
Voted
ICRA
2002
IEEE
16 years 13 days 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...