This paper proposes a formal method which is used to model and analyze network devices such as touters. It is based on an algebraic process called “ACSR-VP”, which enhances the original CCS algebraic process by inco...This paper proposes a formal method which is used to model and analyze network devices such as touters. It is based on an algebraic process called “ACSR-VP”, which enhances the original CCS algebraic process by incorporating the notions of time, resource requirements, dynamic prioritization, and synchronization. Therefore, although there are many formal methods to analyze the timed concurrency system, ACSR-VP, due to its prominent features, is best fit for analysis of a resource bounded real-time system. This paper extends ACSR-VP to EACSR-VP, which is more adaptive to the features of network devices and specializes in analyzing this kind of embedded system. EACSR-VP adds the notion of n-way communication which allows more than two processes to participate in synchronization. It also enhances value-passing capabilities which make for more flexible specifications. Finally, specifications, verification and analysis methods with EACSR-VP are introduced by a case study of router with multiple input queues.展开更多
Both mathematics and art consistently reflect the spirit of the age in which they arise. Consequently, the mathematics in China and in Korea during the Joseon Dynasty, in contrast to the deductive western mathematics,...Both mathematics and art consistently reflect the spirit of the age in which they arise. Consequently, the mathematics in China and in Korea during the Joseon Dynasty, in contrast to the deductive western mathematics, does not function on the basis of proving something deductively. Rather, the Chinese mathematics from this period was based upon making observations about problems by combining patterns with specific examples. In this paper, this author attempts to compare the differences in mathematics between the East and the West, and also to study the different perspectives in art between the East and the West, in order to identify the relationship between civilization, culture and the spirit of the age. This will explain the reason why the Western ＇One Point Perspective＇ had spread in China and the Chosen Dynasty, yet could not be permanently established in these countries.展开更多
This paper will discuss one topic in the current debate on higher education： How power is exercised between universities？ How do colleges determine what the best college is？ What are the differences in the excersis...This paper will discuss one topic in the current debate on higher education： How power is exercised between universities？ How do colleges determine what the best college is？ What are the differences in the excersise of power in the digital age？ The authors analyze one of the mechanisms of relationship and contact between different universities： the rankings. They will discuss the practices that allow certain values and organizations they are becoming central nodes between universities and the influences of the information and communication technologies in the measurement mechanisms. The authors seek to show the rankings serve as mechanisms to exercise power among universities. These measurements become a tool and justification in competition between universities for resources such as funding, prestige, and student demand. The analysis is based on the University of Mexico, the authors use the ranking of the best universities in Latin America and the best universities in Mexico.展开更多
A society of knowledge has a mission based on information dissemination and its usage, but its purpose cannot be completely realized without library as an institution that collects, processes, archives, protects and p...A society of knowledge has a mission based on information dissemination and its usage, but its purpose cannot be completely realized without library as an institution that collects, processes, archives, protects and provides library collections to the public. Elementary- and high-school libraries, as well as the academic ones, are ubiquitous as associates and promoters of importance of information in the Digital Age. Information literacy becomes a foundation of an individual＇s literacy in general and leads him/her toward lifelong learning that becomes a philosophy on the way to a society of knowledge. The paper presents research results of informatics and information literacy among students with a purpose of improving the library mission and vision within future education. Data were collected by poll and the pollees were high-school and university students of Slavonski Brod and Osijek. This study found that although the trend of Internet usage in a library is not high, the percentage of those possessing a basic Information and Communication Technology OCT） literacy level is high. Another significant fact is that the number of those unskilled in ICT usage （online database and catalog search） is high which represents a challenge to the libraries and ICT experts who are the incumbents of great responsibility.展开更多
文摘This paper proposes a formal method which is used to model and analyze network devices such as touters. It is based on an algebraic process called “ACSR-VP”, which enhances the original CCS algebraic process by incorporating the notions of time, resource requirements, dynamic prioritization, and synchronization. Therefore, although there are many formal methods to analyze the timed concurrency system, ACSR-VP, due to its prominent features, is best fit for analysis of a resource bounded real-time system. This paper extends ACSR-VP to EACSR-VP, which is more adaptive to the features of network devices and specializes in analyzing this kind of embedded system. EACSR-VP adds the notion of n-way communication which allows more than two processes to participate in synchronization. It also enhances value-passing capabilities which make for more flexible specifications. Finally, specifications, verification and analysis methods with EACSR-VP are introduced by a case study of router with multiple input queues.
文摘Both mathematics and art consistently reflect the spirit of the age in which they arise. Consequently, the mathematics in China and in Korea during the Joseon Dynasty, in contrast to the deductive western mathematics, does not function on the basis of proving something deductively. Rather, the Chinese mathematics from this period was based upon making observations about problems by combining patterns with specific examples. In this paper, this author attempts to compare the differences in mathematics between the East and the West, and also to study the different perspectives in art between the East and the West, in order to identify the relationship between civilization, culture and the spirit of the age. This will explain the reason why the Western ＇One Point Perspective＇ had spread in China and the Chosen Dynasty, yet could not be permanently established in these countries.
文摘This paper will discuss one topic in the current debate on higher education： How power is exercised between universities？ How do colleges determine what the best college is？ What are the differences in the excersise of power in the digital age？ The authors analyze one of the mechanisms of relationship and contact between different universities： the rankings. They will discuss the practices that allow certain values and organizations they are becoming central nodes between universities and the influences of the information and communication technologies in the measurement mechanisms. The authors seek to show the rankings serve as mechanisms to exercise power among universities. These measurements become a tool and justification in competition between universities for resources such as funding, prestige, and student demand. The analysis is based on the University of Mexico, the authors use the ranking of the best universities in Latin America and the best universities in Mexico.
文摘A society of knowledge has a mission based on information dissemination and its usage, but its purpose cannot be completely realized without library as an institution that collects, processes, archives, protects and provides library collections to the public. Elementary- and high-school libraries, as well as the academic ones, are ubiquitous as associates and promoters of importance of information in the Digital Age. Information literacy becomes a foundation of an individual＇s literacy in general and leads him/her toward lifelong learning that becomes a philosophy on the way to a society of knowledge. The paper presents research results of informatics and information literacy among students with a purpose of improving the library mission and vision within future education. Data were collected by poll and the pollees were high-school and university students of Slavonski Brod and Osijek. This study found that although the trend of Internet usage in a library is not high, the percentage of those possessing a basic Information and Communication Technology OCT） literacy level is high. Another significant fact is that the number of those unskilled in ICT usage （online database and catalog search） is high which represents a challenge to the libraries and ICT experts who are the incumbents of great responsibility.
