Sciweavers

11089 search results - page 1699 / 2218
» Developing software families
Sort
View
ISW
2001
Springer
15 years 11 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 11 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 11 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
DATE
2000
IEEE
116views Hardware» more  DATE 2000»
15 years 11 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
ICMCS
2000
IEEE
98views Multimedia» more  ICMCS 2000»
15 years 11 months ago
Automatic Image Event Segmentation and Quality Screening for Albuming Applications
In this paper, a system for automatic albuming of consumer photographs is described, and its specific core components of event segmentation and screening of low quality images are...
Alexander C. Loui, Andreas E. Savakis
« Prev « First page 1699 / 2218 Last » Next »