Zobrazeno 1 - 10
of 28
pro vyhledávání: '"Michael G. Hinchey"'
Publikováno v:
idUS. Depósito de Investigación de la Universidad de Sevilla
instname
instname
Autonomic Computing, self-management based on high level guidance from humans, is increasingly being accepted as a means forward in designing reliable systems that both hide complexity from the user and control IT management costs. Effectively, AC ma
Autor:
Jonathan P. Bowen, Michael G. Hinchey
Errata, detected in Taylor's Logarithms. London: 4to, 1792. [sic] 14.18.3 6 Kk Co-sine of 3398 3298 - Nautical Almanac (1832) In the list of ERRATA detected in Taylor's Logarithms, for cos. 4° 18'3', read cos. 14° 18'2'. - Nautical Almanac (1833) E
Autor:
Michael G. Hinchey, Jonathan P. Bowen
Industrial Strength Formal Methods in Practice provides hands-on experience and guidance for anyone who needs to apply formal methods successfully in an industrial context. Each chapter is written by an expert in software engineering or formal method
1 In a number of recent presentations – most notably at FME'96 –oneofthe foremost scientists in the?eld of formal methods, C.A.R. Hoare,has highlighted the fact that formal methods are not the only technique for producing reliable software. This
Autor:
Neville Dean, Michael G. Hinchey
Publikováno v:
ACM SIGCSE Bulletin. 27:302-306
By acting as a client, the instructor in a formal methods course can interact with students to develop general attitudes and skills, particularly modeling skills. The students learn to appreciate that formal methods comprise a range of tools and idea
Autor:
Michael G Hinchey
Publikováno v:
Annual Review in Automatic Programming. 18:157-162
Autor:
Michael G. Hinchey, Roy Sterritt
Publikováno v:
ISORC
The vision of achieving self-management in our computing and communications systems has come to light as part of a number of similar initiatives, one of which is Organic Computing.Model-driven engineering, and its various forms is a software developm
Publikováno v:
HICSS
The use of formal methods has long been advocated in the development of secure systems. Yet, methods for deriving design from requirements that guarantee retention of the intended security properties remain largely unrealized on a repeatable and cons
Publikováno v:
SpaceOps 2006 Conference.
NASA is investigating new paradigms for future space exploration, heavily focused on the (still) emerging technologies of autonomous and autonomic systems. Traditional missions, reliant on one large spacecraft, are being replaced with missions that i
Autor:
Christopher A. Rouff, Roy Sterritt, Patricia Rago, Michael G. Hinchey, James L. Rash, Walt Truszkowski
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783540692652
Innovative Concepts for Autonomic and Agent-Based Systems
Innovative Concepts for Autonomic and Agent-Based Systems
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d28ddce34305911aa7f0cda7165c281b
https://doi.org/10.1007/11964995
https://doi.org/10.1007/11964995