Distributed denial-of-service attack is one of the greatest threats to the Internet today. One of the biggest difficulties in defending against this attack is that attackers always use incorrect, or "spoofed"...
详细信息
Adaptive Quality-of-Service management is critical for enabling effective collaboration between distributed clients in a heterogeneous (wired and wireless) environment. This is because both client profiles (capabiliti...
详细信息
In applications such as scientific and medical visualization, highly detailed polygonal meshes are needed. Rendering these polygonal meshes usually exceeds the capabilities of graphics hardware. To improve rendering e...
详细信息
It is not desirable in the performance perspective of search algorithms to partition a high dimensional data space by dividing all the dimensions. This is because the number of cells resulted from partitioning explode...
详细信息
Conventional software description is algorithm-based. However, a large part of things in software description are nonalgorithmic and nonfunctional, such as those of system architectures, dynamic behaviors, performance...
详细信息
ISBN:
(纸本)0769517242
Conventional software description is algorithm-based. However, a large part of things in software description are nonalgorithmic and nonfunctional, such as those of system architectures, dynamic behaviors, performance, and quality. Therefore, contemporary concept in software description has been shifted from algorithms to software architectures and behaviors. software behaviors can be modeled as a 3D representation comprising mathematical operations, event/process timing, and memory manipulation. This paper introduces the real-time process algebra (RTPA) that serves as an expressive notation system for describing thoughts and notions in software design. RTPA is used to address the 3D problem in component-based software description and specification. Case studies on applications of RTPA in component-based softwareengineering are demonstrated with real-world examples.
Information is the third essence in modeling the natural world. This paper attempts to explore an emerging discipline know as cognitive informatics. Cognitive Informatics is a profound interdisciplinary research area ...
详细信息
ISBN:
(纸本)0769517242
Information is the third essence in modeling the natural world. This paper attempts to explore an emerging discipline know as cognitive informatics. Cognitive Informatics is a profound interdisciplinary research area that tackles the common root problems of modern informatics, computation, softwareengineering, artificial intelligence (AI), neural psychology, and cognitive science. Cognitive informatics studies the internal information processing mechanisms and natural intelligence of the brain. This paper describes historical development of informatics from the classical information theory, contemporary informatics, to cognitive informatics. The domain of cognitive informatics and its interdisciplinary nature are explored. Foundations of cognitive informatics, particularly the brain vs. the mind, the acquired life functions vs. the inherited ones, and generic relationships between information, matter and energy are investigated. The potential engineering applications of cognitive informatics and perspectives on future research are discussed. It is expected that the investigation into cognitive informatics will result in fundamental findings towards the development of next generation IT and software technologies, such as neural computers, bioinformatics, quantum information processing, new software development approaches, and new architectures of information systems.
A fundamental finding in computer science is that software, as an artifact of human creativity, is not constrained by the laws and principles discovered in the physical world. Thus, a natural question we have to ask i...
详细信息
ISBN:
(纸本)0769517242
A fundamental finding in computer science is that software, as an artifact of human creativity, is not constrained by the laws and principles discovered in the physical world. Thus, a natural question we have to ask is: What are the constraints that software obeys? This paper attempts to demonstrate that software obeys the laws of informatics, because software is a mathematical entity, a coded solution, and a special type of information at a certain abstract level. Based on the above argument, another fundamental question is introduced that asks: What are the laws and principles of informatics that constrain software in softwareengineering? This paper explores a set of informatics, cognitive, psychological, and linguistic properties and laws, which are developed to answer the above profound question.
This paper describes the formal specification of a lift dispatching system (LDS) by the real-time process algebra (RTPA). It is recognized that the specification of a real-time system is a hard problem because the spe...
详细信息
This paper describes the formal specification of a lift dispatching system (LDS) by the real-time process algebra (RTPA). It is recognized that the specification of a real-time system is a hard problem because the specification has to address the 3D behaviors of software where timing, logic and dynamic memory allocation functionalities are very critical. The real-time process algebra (RTPA) is a descriptive formal notation system designed for real-time software system specification, and is able to address the 3D properties of real-time software systems. The aim of this paper is to demonstrate the use of RTPA in describing a lift dispatching system (LDS). The case study on LDS illustrates the applications of RTPA in real-time system specification and refinement. This case study on the realtime LDS system shows the features and advantages of the algebra-based approach to real-time system specification and refinement in RTPA.
In this paper, based on CORBA security service specification [14], we propose the open authentication model for electronic commerce with an extension to the Kerberos authentication framework using public key cryptosys...
详细信息
Component-based software development is becoming mainstream for conventional applications. However, components can be difficult to deploy in embedded systems because of non-functional requirements. PECOS is a collabor...
详细信息
暂无评论