Sciweavers

4759 search results - page 533 / 952
» Software Development Based on Software Pattern Evolution
Sort
View
ATAL
2003
Springer
16 years 2 days ago
An incentive compatible reputation mechanism
Traditional centralised approaches to security are difficult to apply to large, distributed marketplaces in which software agents operate. Developing a notion of trust that is ba...
Radu Jurca, Boi Faltings
CISIS
2009
IEEE
15 years 11 months ago
Creation and Delivery of Complex Learning Experiences: The ELeGI Approach
The paper presents the main findings of the ELeGI project, namely its learning model and software architecture to support the creation and execution of complex learning processes....
Nicola Capuano, Angelo Gaeta, Agostino Marengo, Se...
APSEC
1999
IEEE
15 years 11 months ago
The Quest for Correct Systems: Model Checking of Diagrams and Datatypes
For the practical development of provably correct software for embedded systems the close integration of CASE tools and verification tools is required. This paper describes the co...
Jan Philipps, Oscar Slotosch
CODES
1999
IEEE
15 years 11 months ago
Using codesign techniques to support analog functionality
With the growth of System on a Chip (SoC), the functionality of analog components must also be considered in the design process. This paper describes some of the design implementa...
Francis G. Wolff, Michael J. Knieser, Daniel J. We...
ICSE
1997
IEEE-ACM
15 years 11 months ago
A Theory of Probabilistic Functional Testing
We propose a framework for “probabilistic functional testing.” The success of a test data set generated according to our method guarantees a certain level of confidence into ...
Gilles Bernot, Laurent Bouaziz, Pascale Le Gall