|
Zhiming Liu (computer Scientist)
Zhiming Liu (, born 10 October 1961, Hebei, China) is a computer scientist. He studied mathematics in Luoyang, Henan in China and obtained his first degree in 1982. He holds a master's degree in Computer Science from the Institute of Software of the Chinese Academy of Sciences (1988), and a PhD degree from the University of Warwick (1991). His PhD thesis was on ''Fault-Tolerant Programming by Transformations''. After his PhD, Zhiming Liu worked as a guest scientist at the Department of Computer Science, Technical University of Denmark, Lyngby in 1991–1992. Then he returned to the University of Warwick and worked as a postdoctoral research fellow on formal techniques in real-time and fault-tolerant systems till October 1994 when he became a university lecturer in computer science at the University of Leicester (UK). He worked at UNU-IIST during 2002–2013 at UNU-IIST as research fellow and senior research fellow. He joined Birmingham City University (UK) in October 2013 as the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Oxford
Oxford () is a city in England. It is the county town and only city of Oxfordshire. In 2020, its population was estimated at 151,584. It is north-west of London, south-east of Birmingham and north-east of Bristol. The city is home to the University of Oxford, the oldest university in the English-speaking world; it has buildings in every style of English architecture since late Anglo-Saxon. Oxford's industries include motor manufacturing, education, publishing, information technology and science. History The history of Oxford in England dates back to its original settlement in the Saxon period. Originally of strategic significance due to its controlling location on the upper reaches of the River Thames at its junction with the River Cherwell, the town grew in national importance during the early Norman period, and in the late 12th century became home to the fledgling University of Oxford. The city was besieged during The Anarchy in 1142. The university rose to dom ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Institute Of Software
Institute of Software, Chinese Academy of Sciences (IOS, or ISCAS, simplified Chinese: 中国科学院软件研究所; pinyin: Zhōngguó Kēxuéyuàn Ruǎnjiàn Yánjiūsuǒ) is one of institutes that Chinese Academy of Sciences (CAS) established. It was established on March 1, 1985. It's on the 4th Zhongguancun South Fourth Street, Haidian District, Beijing, China. There are branches in Wuxi, Chongqing, Harbin, Guangzhou, Qingdao and Guiyang. Its research areas are computer science theory and application, fundamental software technology and system structure, the Internet information processing theory, methods and technology, as well as the integrated information system technology. There are five departments in it, such as the General Division, Basic Research Division, Hi-Tech Research Division, Applied Research Division and Development Division. There are also state key laboratories and national engineering research centers. They are State Key Laboratory of Computer Scienc ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Duration Calculus
Duration calculus (DC) is an interval logic for real-time systems. It was originally developed by Zhou Chaochen with the help of Anders P. Ravn and C. A. R. Hoare on the European ESPRIT Basic Research Action (BRA) ''ProCoS'' project on ''Provably Correct Systems''. Duration calculus is mainly useful at the requirements level of the software development process for real-time systems. Some tools are available (e.g., DCVALID, IDLVALID, TIFR, India. etc.). Subsets of duration calculus have been studied (e.g., using rather than [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Anders Ravn
Anders Peter Ravn (29 October 1947 – 1 August 2019) was a Denmark, Danish computer scientist. Anders P. Ravn was born in 1947 in Caracas, Venezuela, the son of Niels and Henny (Sønder) Ravn. He arrived in Denmark in 1948. Ravn received a Master of Science (M.Sc.) degree in Computer Science and Mathematics from the University of Copenhagen in 1973 and a Doctor of Technology (Dr.Tech.) degree in Computer Science from the Technical University of Denmark in 1995. Between 1969 and 1973, Anders Ravn was a teaching assistant in the Department of Computer Science at the University of Copenhagen (DIKU). From 1972 to 1976, he was a systems programmer on minicomputers at the early Danish computer company Aktieselskab, A/S Regnecentralen. He returned to academia and rose from assistant professor (1976–80) to associate professor (1980–84) at DIKU. During 1982–3, he was a visiting scientist at IBM's Thomas J. Watson Research Center in Yorktown Heights, New York, Yorktown Heights, New ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Fault Tolerance
Fault tolerance is the property that enables a system to continue operating properly in the event of the failure of one or more faults within some of its components. If its operating quality decreases at all, the decrease is proportional to the severity of the failure, as compared to a naively designed system, in which even a small failure can cause total breakdown. Fault tolerance is particularly sought after in high-availability, mission-critical, or even life-critical systems. The ability of maintaining functionality when portions of a system break down is referred to as graceful degradation. A fault-tolerant design enables a system to continue its intended operation, possibly at a reduced level, rather than failing completely, when some part of the system fails. The term is most commonly used to describe computer systems designed to continue more or less fully operational with, perhaps, a reduction in throughput or an increase in response time in the event of some partial fa ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Component-based
Component-based software engineering (CBSE), also called component-based development (CBD), is a branch of software engineering that emphasizes the separation of concerns with respect to the wide-ranging functionality available throughout a given software system. It is a reuse-based approach to defining, implementing and composing loosely coupled independent components into systems. This practice aims to bring about an equally wide-ranging degree of benefits in both the short-term and the long-term for the software itself and for organizations that sponsor such software. Software engineering practitioners regard components as part of the starting platform for service-orientation. Components play this role, for example, in web services, and more recently, in service-oriented architectures (SOA), whereby a component is converted by the web service into a ''service'' and subsequently inherits further characteristics beyond that of an ordinary component. Components can produce or ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Object-oriented
Object-oriented programming (OOP) is a programming paradigm based on the concept of "objects", which can contain data and code. The data is in the form of fields (often known as attributes or ''properties''), and the code is in the form of procedures (often known as ''methods''). A common feature of objects is that procedures (or methods) are attached to them and can access and modify the object's data fields. In this brand of OOP, there is usually a special name such as or used to refer to the current object. In OOP, computer programs are designed by making them out of objects that interact with one another. OOP languages are diverse, but the most popular ones are class-based, meaning that objects are instances of classes, which also determine their types. Many of the most widely used programming languages (such as C++, Java, Python, etc.) are multi-paradigm and they support object-oriented programming to a greater or lesser degree, typically in combination with impera ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Fault-tolerant Systems
Fault tolerance is the property that enables a system to continue operating properly in the event of the failure of one or more faults within some of its components. If its operating quality decreases at all, the decrease is proportional to the severity of the failure, as compared to a naively designed system, in which even a small failure can cause total breakdown. Fault tolerance is particularly sought after in high-availability, mission-critical, or even life-critical systems. The ability of maintaining functionality when portions of a system break down is referred to as graceful degradation. A fault-tolerant design enables a system to continue its intended operation, possibly at a reduced level, rather than failing completely, when some part of the system fails. The term is most commonly used to describe computer systems designed to continue more or less fully operational with, perhaps, a reduction in throughput or an increase in response time in the event of some partial f ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Formal Methods
In computer science, formal methods are mathematically rigorous techniques for the specification, development, and verification of software and hardware systems. The use of formal methods for software and hardware design is motivated by the expectation that, as in other engineering disciplines, performing appropriate mathematical analysis can contribute to the reliability and robustness of a design. Formal methods employ a variety of theoretical computer science fundamentals, including logic calculi, formal languages, automata theory, control theory, program semantics, type systems, and type theory. Background Semi-Formal Methods are formalisms and languages that are not considered fully “formal”. It defers the task of completing the semantics to a later stage, which is then done either by human interpretation or by interpretation through software like code or test case generators. Taxonomy Formal methods can be used at a number of levels: Level 0: Formal specification may ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Thousand Talents Program (China)
The Thousand Talents Plan or Thousand Talents Program (TTP) (), or Overseas High-Level Talent Recruitment Programs () is a program by the central government of China to recruit experts in science and technology from abroad, principally but not exclusively from overseas Chinese communities. Evaluations of the programs efficacy and impact have been mixed. Although the program has successfully attracted top international talent to China, its efficacy in retaining these talented individuals has been questioned, with many of the most talented scientists willing to spend short periods in China but unwilling to abandon their tenured positions at major Western universities. A study published in 2023 found that the Young Thousand Talents program has been successful in recruiting high-caliber academic talent whose publication of scientific papers outperforms their peers. Law enforcement and counterintelligence agencies in the United States, Australia, Canada, and other countries have raised ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Computer Science
Computer science is the study of computation, automation, and information. Computer science spans theoretical disciplines (such as algorithms, theory of computation, information theory, and automation) to Applied science, practical disciplines (including the design and implementation of Computer architecture, hardware and Computer programming, software). Computer science is generally considered an area of research, academic research and distinct from computer programming. Algorithms and data structures are central to computer science. The theory of computation concerns abstract models of computation and general classes of computational problem, problems that can be solved using them. The fields of cryptography and computer security involve studying the means for secure communication and for preventing Vulnerability (computing), security vulnerabilities. Computer graphics (computer science), Computer graphics and computational geometry address the generation of images. Progr ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Fault-tolerant
Fault tolerance is the property that enables a system to continue operating properly in the event of the failure of one or more faults within some of its components. If its operating quality decreases at all, the decrease is proportional to the severity of the failure, as compared to a naively designed system, in which even a small failure can cause total breakdown. Fault tolerance is particularly sought after in high-availability, mission-critical, or even life-critical systems. The ability of maintaining functionality when portions of a system break down is referred to as graceful degradation. A fault-tolerant design enables a system to continue its intended operation, possibly at a reduced level, rather than failing completely, when some part of the system fails. The term is most commonly used to describe computer systems designed to continue more or less fully operational with, perhaps, a reduction in throughput or an increase in response time in the event of some partial fa ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
_-_example_1.svg "Click for more on -> Component-based")
