Machine learning applications in software engineering [[electronic resource] /] / editors, Du Zhang, Jeffrey J.P. Tsai |
Pubbl/distr/stampa | Hackensack, N.J. ; ; Hong Kong, : World Scientific, c2005 |
Descrizione fisica | 1 online resource (367 p.) |
Disciplina | 006.31 |
Altri autori (Persone) |
ZhangDu
TsaiJeffrey J.-P |
Collana | Series on software engineering and knowledge engineering |
Soggetto topico |
Software engineering
Computer software - Quality control Computer software - Evaluation Machine learning |
Soggetto genere / forma | Electronic books. |
ISBN |
1-281-37255-2
9786611372552 981-256-927-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | ACKNOWLEDGMENT; TABLE OF CONTENTS; Chapter 1 Introduction to Machine Learning and Software Engineering; Chapter 2 ML Applications in Prediction and Estimation; Chapter 3 ML Applications in Property and Model Discovery; Chapter 4 ML Applications in Transformation; Chapter 5 ML Applications in Generation and Synthesis; Chapter 6 ML Applications in Reuse; Chapter 7 ML Applications in Requirement Acquisition; Chapter 8 ML Applications in Management of Development Knowledge; Chapter 9 Guidelines and Conclusion; References |
Record Nr. | UNINA-9910450220803321 |
Hackensack, N.J. ; ; Hong Kong, : World Scientific, c2005 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Machine learning applications in software engineering [[electronic resource] /] / editors, Du Zhang, Jeffrey J.P. Tsai |
Pubbl/distr/stampa | Hackensack, N.J. ; ; Hong Kong, : World Scientific, c2005 |
Descrizione fisica | 1 online resource (367 p.) |
Disciplina | 006.31 |
Altri autori (Persone) |
ZhangDu
TsaiJeffrey J.-P |
Collana | Series on software engineering and knowledge engineering |
Soggetto topico |
Software engineering
Computer software - Quality control Computer software - Evaluation Machine learning |
ISBN |
1-281-37255-2
9786611372552 981-256-927-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | ACKNOWLEDGMENT; TABLE OF CONTENTS; Chapter 1 Introduction to Machine Learning and Software Engineering; Chapter 2 ML Applications in Prediction and Estimation; Chapter 3 ML Applications in Property and Model Discovery; Chapter 4 ML Applications in Transformation; Chapter 5 ML Applications in Generation and Synthesis; Chapter 6 ML Applications in Reuse; Chapter 7 ML Applications in Requirement Acquisition; Chapter 8 ML Applications in Management of Development Knowledge; Chapter 9 Guidelines and Conclusion; References |
Record Nr. | UNINA-9910783718703321 |
Hackensack, N.J. ; ; Hong Kong, : World Scientific, c2005 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Machine learning applications in software engineering / / editors, Du Zhang, Jeffrey J.P. Tsai |
Edizione | [1st ed.] |
Pubbl/distr/stampa | Hackensack, N.J. ; ; Hong Kong, : World Scientific, c2005 |
Descrizione fisica | 1 online resource (367 p.) |
Disciplina | 006.31 |
Altri autori (Persone) |
ZhangDu
TsaiJeffrey J.-P |
Collana | Series on software engineering and knowledge engineering |
Soggetto topico |
Software engineering
Computer software - Quality control Computer software - Evaluation Machine learning |
ISBN |
1-281-37255-2
9786611372552 981-256-927-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | ACKNOWLEDGMENT; TABLE OF CONTENTS; Chapter 1 Introduction to Machine Learning and Software Engineering; Chapter 2 ML Applications in Prediction and Estimation; Chapter 3 ML Applications in Property and Model Discovery; Chapter 4 ML Applications in Transformation; Chapter 5 ML Applications in Generation and Synthesis; Chapter 6 ML Applications in Reuse; Chapter 7 ML Applications in Requirement Acquisition; Chapter 8 ML Applications in Management of Development Knowledge; Chapter 9 Guidelines and Conclusion; References |
Record Nr. | UNINA-9910807623003321 |
Hackensack, N.J. ; ; Hong Kong, : World Scientific, c2005 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Security modeling and analysis of mobile agent systems [[electronic resource] /] / Lu Ma, Jeffrey J.P. Tsai |
Autore | Ma Lu |
Pubbl/distr/stampa | London ; ; Hackensack, NJ, : Imperial College Press, c2006 |
Descrizione fisica | 1 online resource (214 p.) |
Disciplina | 006.3 |
Altri autori (Persone) | TsaiJeffrey J.-P |
Collana | Series in electrical and computer engineering |
Soggetto topico |
Mobile agents (Computer software)
Intelligent agents (Computer software) |
Soggetto genere / forma | Electronic books. |
ISBN |
1-281-34755-8
9786611347550 1-86094-905-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Contents ; Preface ; 1 Introduction ; 1.1 Background ; 2 Mobile Agent System ; 2.1 Components of a Mobile Agent System ; 2.2 Characteristics and Advantages of a Mobile Agent System ; 3 Attacks and Countermeasures of Software System Security ; 3.1 General Security Objectives
3.2 Types of Attacks 3.2.1 Attacks against availability ; 3.2.2 Attacks against confidentiality ; 3.2.3 Attacks against integrity ; 3.2.4 Attacks against miscellaneous security objectives ; 3.3 Countermeasures of Attacks ; 3.3.1 Authentication ; 3.3.2 Access control 3.3.3 Audit and intrusion detection 3.3.4 Cryptography ; 3.3.5 Firewall ; 3.3.6 Anti-virus software ; 4 Security Issues in a Mobile Agent System ; 4.1 Security Issues in a Mobile Agent System ; 4.1.1 Possible attacks to a mobile agent system 4.1.1.1 Possible attacks to a mobile agent 4.1.1.2 Possible attacks to a mobile agent platform ; 4.1.2 Security requirements for a secure mobile agent system ; 4.2 Related Works ; 4.2.1 Existing mobile agent systems ; 4.2.2 Security research 4.2.2.1 Security measures for a mobile agent platform 4.2.2.2 Security measures for a mobile agent ; 4.2.3 Mobility modeling ; 4.2.4 Conclusions ; 5 A New Formal Model - Extended Elementary Object System (EEOS) ; 5.1 Object-Oriented Technology and Petri Nets 5.2 Elementary Object System (EOS) |
Record Nr. | UNINA-9910451441603321 |
Ma Lu | ||
London ; ; Hackensack, NJ, : Imperial College Press, c2006 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Security modeling and analysis of mobile agent systems [[electronic resource] /] / Lu Ma, Jeffrey J.P. Tsai |
Autore | Ma Lu |
Pubbl/distr/stampa | London ; ; Hackensack, NJ, : Imperial College Press, c2006 |
Descrizione fisica | 1 online resource (214 p.) |
Disciplina | 006.3 |
Altri autori (Persone) | TsaiJeffrey J.-P |
Collana | Series in electrical and computer engineering |
Soggetto topico |
Mobile agents (Computer software)
Intelligent agents (Computer software) |
ISBN |
1-281-34755-8
9786611347550 1-86094-905-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Contents ; Preface ; 1 Introduction ; 1.1 Background ; 2 Mobile Agent System ; 2.1 Components of a Mobile Agent System ; 2.2 Characteristics and Advantages of a Mobile Agent System ; 3 Attacks and Countermeasures of Software System Security ; 3.1 General Security Objectives
3.2 Types of Attacks 3.2.1 Attacks against availability ; 3.2.2 Attacks against confidentiality ; 3.2.3 Attacks against integrity ; 3.2.4 Attacks against miscellaneous security objectives ; 3.3 Countermeasures of Attacks ; 3.3.1 Authentication ; 3.3.2 Access control 3.3.3 Audit and intrusion detection 3.3.4 Cryptography ; 3.3.5 Firewall ; 3.3.6 Anti-virus software ; 4 Security Issues in a Mobile Agent System ; 4.1 Security Issues in a Mobile Agent System ; 4.1.1 Possible attacks to a mobile agent system 4.1.1.1 Possible attacks to a mobile agent 4.1.1.2 Possible attacks to a mobile agent platform ; 4.1.2 Security requirements for a secure mobile agent system ; 4.2 Related Works ; 4.2.1 Existing mobile agent systems ; 4.2.2 Security research 4.2.2.1 Security measures for a mobile agent platform 4.2.2.2 Security measures for a mobile agent ; 4.2.3 Mobility modeling ; 4.2.4 Conclusions ; 5 A New Formal Model - Extended Elementary Object System (EEOS) ; 5.1 Object-Oriented Technology and Petri Nets 5.2 Elementary Object System (EOS) |
Record Nr. | UNINA-9910777016303321 |
Ma Lu | ||
London ; ; Hackensack, NJ, : Imperial College Press, c2006 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Security modeling and analysis of mobile agent systems / / Lu Ma, Jeffrey J.P. Tsai |
Autore | Ma Lu |
Edizione | [1st ed.] |
Pubbl/distr/stampa | London ; ; Hackensack, NJ, : Imperial College Press, c2006 |
Descrizione fisica | 1 online resource (214 p.) |
Disciplina | 006.3 |
Altri autori (Persone) | TsaiJeffrey J.-P |
Collana | Series in electrical and computer engineering |
Soggetto topico |
Mobile agents (Computer software)
Intelligent agents (Computer software) |
ISBN |
1-281-34755-8
9786611347550 1-86094-905-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Contents ; Preface ; 1 Introduction ; 1.1 Background ; 2 Mobile Agent System ; 2.1 Components of a Mobile Agent System ; 2.2 Characteristics and Advantages of a Mobile Agent System ; 3 Attacks and Countermeasures of Software System Security ; 3.1 General Security Objectives
3.2 Types of Attacks 3.2.1 Attacks against availability ; 3.2.2 Attacks against confidentiality ; 3.2.3 Attacks against integrity ; 3.2.4 Attacks against miscellaneous security objectives ; 3.3 Countermeasures of Attacks ; 3.3.1 Authentication ; 3.3.2 Access control 3.3.3 Audit and intrusion detection 3.3.4 Cryptography ; 3.3.5 Firewall ; 3.3.6 Anti-virus software ; 4 Security Issues in a Mobile Agent System ; 4.1 Security Issues in a Mobile Agent System ; 4.1.1 Possible attacks to a mobile agent system 4.1.1.1 Possible attacks to a mobile agent 4.1.1.2 Possible attacks to a mobile agent platform ; 4.1.2 Security requirements for a secure mobile agent system ; 4.2 Related Works ; 4.2.1 Existing mobile agent systems ; 4.2.2 Security research 4.2.2.1 Security measures for a mobile agent platform 4.2.2.2 Security measures for a mobile agent ; 4.2.3 Mobility modeling ; 4.2.4 Conclusions ; 5 A New Formal Model - Extended Elementary Object System (EEOS) ; 5.1 Object-Oriented Technology and Petri Nets 5.2 Elementary Object System (EOS) |
Record Nr. | UNINA-9910824539803321 |
Ma Lu | ||
London ; ; Hackensack, NJ, : Imperial College Press, c2006 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Ubiquitous Intelligence and Computing [[electronic resource] ] : Third International Conference, UIC 2006, Wuhan, China, September 3-6, 2006, Proceedings / / edited by Hai Jin, Laurence T. Yang, Jeffrey J.-P. Tsai |
Edizione | [1st ed. 2006.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
Descrizione fisica | 1 online resource (XXII, 1190 p.) |
Disciplina |
005.437
4.019 |
Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
Soggetto topico |
User interfaces (Computer systems)
Application software Computer communication systems Operating systems (Computers) Artificial intelligence Computers and civilization User Interfaces and Human Computer Interaction Information Systems Applications (incl. Internet) Computer Communication Networks Operating Systems Artificial Intelligence Computers and Society |
ISBN | 3-540-38092-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Keynote Speech -- Track 1: Smart Objects and Embedded Systems -- Track 2: Smart Spaces/Environments/Platforms -- Track 3: Ad Hoc and Intelligent Networks -- Track 4: Sensor Networks -- Track 5: Pervasive Communications and Mobile Systems -- Track 6: Context-Aware Computing and Systems -- Track 7: Security, Safety and Privacy -- Track 8: Services, Models, Personal/Social Factors. |
Record Nr. | UNISA-996465983403316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|