Sciweavers

22 search results - page 1 / 5
» Information and Communication Technologies for Development: ...
Sort
View
ICCS
2005
Springer
13 years 11 months ago
A Courseware Development Methodology for Establishing Practice-Based Network Course
Abstract. In this paper, we present a practice-based courseware development methodology for establishing a senior undergraduate network course for the computer-engineering departme...
Jahwan Koo, Seong-Jin Ahn
PCI
2001
Springer
13 years 9 months ago
Communicating X-Machines: From Theory to Practice
Formal modeling of complex systems is a non-trivial task, especially if a formal method does not facilitate separate development of the components of a system. This paper describes...
Petros Kefalas, George Eleftherakis, Evangelos Keh...
APWEB
2011
Springer
12 years 9 months ago
SecGuard: Secure and Practical Integrity Protection Model for Operating Systems
Host compromise is a serious security problem for operating systems. Most previous solutions based on integrity protection models are difficult to use; on the other hand, usable i...
Ennan Zhai, Qingni Shen, Yonggang Wang, Tao Yang, ...
CAISE
2005
Springer
13 years 11 months ago
Development of a formal REA-ontology Representation
Business domain ontologies offer great opportunities for facilitating communication between people in business, for improving the enterprise system engineering processes and for cr...
Frederik Gailly, Geert Poels