: Facing the 21st century the age of exploration-increasing of all kinds of knowledge and quickly development of information, how to promote the competition potential of our citize...
Abstract. Software agent technology has attracted much attention for developing various distributed systems, composed of autonomous agents interacting with one another using partic...
The emergence of XML has lead to a change in the development style for Web sites. XML's advantages, such as the separation of content and presentation, or the possibility to ...
As software comes under increasing scrutiny for its lack of safety and reliability, numerous static and partially dynamic tools (including model checking) have been proposed for v...
Multi-state molecules and multi-component complexes are commonly involved in cellular signaling. Accounting for molecules that have multiple potential states, such as a protein tha...