Sciweavers

10241 search results - page 1556 / 2049
» Goal-Driven Software Development
Sort
View
ISRR
2001
Springer
140views Robotics» more  ISRR 2001»
15 years 9 months ago
The Evolution of a Robot Soccer Team
Abstract. This paper traces four years of evolution of the UNSW team in the RoboCup Sony legged robot league. The lessons learned in the creation of a competitive team are instruct...
Claude Sammut, Bernhard Hengst
ISW
2001
Springer
15 years 9 months ago
Suitability of a Classical Analysis Method for E-commerce Protocols
We present the adaptation of our model for the validation of key distribution and authentication protocols to address specific needs of protocols for electronic commerce. The two ...
Sigrid Gürgens, Javier Lopez
LOPSTR
2001
Springer
15 years 9 months ago
Computing Environment-Aware Agent Behaviours with Logic Program Updates
Abstract. The ability of reacting to changes in the external environment is of crucial importance within the context of software agents. Such feature must however be suitably recon...
José Júlio Alferes, Antonio Brogi, J...
UML
2001
Springer
15 years 9 months ago
An Axiomatic Formalization of UML Models
: Though it is widely recognized that object-oriented methodologies are most effective in developing large scale software, it is still dif cult to apply high level computer support...
Toshiaki Aoki, Takaaki Tateishi, Takuya Katayama
154
Voted
DATE
2000
IEEE
116views Hardware» more  DATE 2000»
15 years 9 months ago
An Object Oriented Design Method for Reconfigurable Computing Systems
We present a novel method for developing reconfigurable systems targeted at embedded system applications. We show how an existing object oriented design method (MOOSE) has been ad...
Martyn Edwards, Peter Green
« Prev « First page 1556 / 2049 Last » Next »