the proposed research is devoted to application of context mediation, an approach for achieving interoperability among semantically heterogeneous databases, for e-Learning. Because the fact that many learning objects ...
详细信息
ISBN:
(纸本)3540220070
the proposed research is devoted to application of context mediation, an approach for achieving interoperability among semantically heterogeneous databases, for e-Learning. Because the fact that many learning objects are created in various parts of the world and across many cultures these learning objects are semantically heterogeneous, and the delivery of these objects to learners is not effective. the context mediation described in this paper assumes comparison of contexts associated with any learning object and learner, and elimination of semantic conflicts that are detected through this comparison. the comparison of contexts of learning objects and learners uses ontologies as specifications of concepts, their properties and relationships between them in the knowledge domains of courses to be studied. this work is concentrated on the building, contextualization and integration of ontologies, and their use in the context mediation for delivery learning objects to learner's context.
Although active network services have been widely studied, the task of mapping these services and algorithms onto actual network hardware presents an additional set of challenges. For example, high-end routers and swi...
详细信息
As CS and EE courses become increasingly more specialized, students are increasingly unable to grasp major ideas that cut across traditional course lines. this workshop presents a course that restores the big picture ...
详细信息
As CS and EE courses become increasingly more specialized, students are increasingly unable to grasp major ideas that cut across traditional course lines. this workshop presents a course that restores the big picture and demystifies the integrated design and function of computersystems. Using a modular series of 12 projects, students are guided through the gradual construction of a complete working computer system. Starting with simple NAND gates, the students build a general-purpose hardware platform and a modern software hierarchy, yielding a simple but surprisingly powerful computer. this is achieved in a one-semester course by virtue of extreme focus and modular design. the course is completely self-contained, requiring no special equipment or software beyond what is given in the course web site, and is accompanied by a new MIT Press textbook.
Aspect-oriented software development (AOSD) techniques support systematic modularization and composition of crosscutting concerns. though AOSD techniques have been proposed to handle crosscutting concerns at various s...
详细信息
Aspect-oriented software development (AOSD) techniques support systematic modularization and composition of crosscutting concerns. though AOSD techniques have been proposed to handle crosscutting concerns at various stages during the software life cycle, there is a traceability gap between the aspects at the requirements level and those at later development stages. It is not clear what proof obligations about an aspect-oriented implementation follow from the initial aspectual requirements. this work presents PROBE, a framework for generation of proof obligations for aspect-oriented systems from the initial aspectual requirements and associated trade-offs. the abstract proof obligations are expressed in standard linear temporal logic. Key components of the framework include an extended ontology with parametric temporal formulas and functions, and extensive treatment of conflicts among requirements. the resultant temporal logic assertions, grouped into specifications of aspect implementations, can then be instantiated in terms of the implementation and verification tools.
One of many technical challenges facing the designers of reconfigurable systems is how to integrate hardware and software resources. the problem of allocating each application function to general purpose processors (G...
详细信息
IP network has been evolving significantly in last decade. Many computers and devices have been attached to the IP network and many applications were taken place over it. One of interesting applications is building em...
详细信息
IP network has been evolving significantly in last decade. Many computers and devices have been attached to the IP network and many applications were taken place over it. One of interesting applications is building embedded control system which has connectivity to Internet. this paper explains an implementation of embedded web server with security support which becomes an example of control application over IP network. A security algorithm, TEA (tiny encryption algorithm), has been implemented in a microprocessor system together with TCP/IP stack. the microprocessor system is based on 8051 family microcontroller which serves as web server. the encryption algorithm is processed both on server and client. therefore in clients need a plug in, which run encryption mechanism, so that they can access the embedded Web server safely.
Future nanotechnologies will permit the manufacturing of computational systems of unprecedented complexity. It is not unreasonable to anticipate that, in order to analyze and design such systems, engineers will rely h...
详细信息
Future nanotechnologies will permit the manufacturing of computational systems of unprecedented complexity. It is not unreasonable to anticipate that, in order to analyze and design such systems, engineers will rely heavily on computer-aided design (CAD) software tools. As is the case with semiconductor CAD tools, the better one understands the underlying data structures and algorithms of a CAD tool, the more productive the user of the CAD tool is. the increasing challenges of future nanosystems will likely lead to blurring the division between system designers and the CAD designers and to merging of these two disciplines. Novel software development environments permitting powerful development of high-quality software will be required. this paper describes the experience of the authors with one such development framework based on the Objective-C programming language and the Cocoa application programming environment in a UNIX-based environment. these development choices were made because of the available programmer support, permitting development of complex applications in a straightforward way. A CAD application of moderate complexity for the simulation of asynchronous cellular arrays was developed with minimal effort. the authors believe that the ease of development using Cocoa is greater than in other similar development environments.
this paper introduces a fuzzy inference approach to the modelling and prediction of time series. the focus is on the multi-step prediction of bandwidth profiles of multimedia traffic that exists in modern Internet and...
详细信息
Being part of domain engineering, domain analysis enables identifying domains and capturing their ontologies in order to assist and guide system developers to design domain-specific applications. Domain analysis shoul...
详细信息
暂无评论