Modelling and Implementing Pre-built Information Spaces. Architecture and Methods for Process Oriented Knowledge Management
Kategori: Computer Science
Diposting pada Selasa, 18 Agustus 2009
Karsten Böhm, Wolf Engelbach, Jörg Härtwig, Martin Wilcken, Martin Delp
Abstract:
Process-oriented Knowledge Management aims to provide adequate information for employees, especially in weakly structured and information-intensive business processes. Beside a technical software solution, which uses a pre-structured, context-aware and collaborative information space that combines processes, domain specific semantic structures and document parts, this requires a methodology to model the process and other contextdimensions, such as roles. Moreover, a guideline and clear service modules are necessary to introduce process-oriented Knowledge Management in companies, especially in small and medium-sized enterprises (SME). [...]
Physically Locating Wireless Intruders
Kategori: Computer Science
Diposting pada Selasa, 18 Agustus 2009
Frank Adelstein, Prasanth Alla, Rob Joyce, Golden G. Richard III
Abstract:
Wireless networks, specifically IEEE 802.11, are inexpensive and easy to deploy, but their signals can be detected by eavesdroppers at great distances. Even with existing and new security measures, wireless networks have a higher risk than wired nets. WIDS, Wireless Intrusion Detection System, provides an additional layer of security by combining intrusion detection with physical location determination, using directional antennas. We briefly describe WIDS and present our initial results of remote station location using inexpensive hardware.
Key Words: Wireless, intrusion detection system, 802.11, antenna
Full Text [...]
Formal Construction of a Non-blocking Concurrent Queue Algorithm (a Case Study in Atomicity)
Kategori: Computer Science
Diposting pada Selasa, 18 Agustus 2009
Jean-Raymond Abrial, Dominique Cansell
Abstract:
This paper contains a completely formal (and mechanically proved) development of some algorithms dealing with a linked list supposed to be shared by various processes. These algorithms are executed in a highly concurrent fashion by an unknown number of such independent processes. These algorithms have been first presented in [MS96] by M.M. Michael and M.L. Scott. Two other developments of the same algorithms have been proposed recently in [YS03] (using the 3VMC Model Checker developed by E. Yahav) and in [DGLM04] (using I/O Automata and PVS).
Key Words: atomicity, concurrency, refinement, formal proof, prover.
Full Text [...]
The Influence of Social Capital on Adoption of Rural Development Programs by Farmers in the Caspian Sea Region of Iran
Kategori: Agriculture, Agronomy and Food Sciences
Diposting pada Selasa, 18 Agustus 2009
A. Ahmadi Firouzjaie, H. Sadighi and M. A. Mohammadi
Abstract:
The main purpose of this study was to measure social capital (consisting of structural and cognitive) of mainly rice producing farmers in the Caspian See region of Iran. The secondary purpose was to determine the influence of farmers' social capital on adoption of Rural Development Programs (RDPs). This was a descriptive-correlation and a causal-comparative survey study. The population of this study consisted of 5746 farmers and by a stratified proportional random sampling technique, 396 farmers were chosen as sample of the study. To measure structural and cognitive components of social capital variables, a self designed questionnaire was developed to gather needed data. [...]
Morpho-physiological Differences of the Spermatheca of Attini Ants (Hymenoptera: Myrmicinae)
Kategori: Agriculture, Agronomy and Food Sciences
Diposting pada Selasa, 18 Agustus 2009
Gabriela Ortiz and Maria Izabel Camargo-Mathias
Abstract:
The insect’s spermatheca store the spermatozoa from the time of copulation until the
fertilization of the eggs and consists of a sac, usually associated to glands. The ant species Atta
laevigata, Atta sexdens sexdens, Atta sexdens piriventris, Acromyrmex coronatus and Cyphomyrmex
muelleri are considered pests, as they cause economics losses to several crops. The spermatheca of
these species were examined by scanning electron microscopy, histological and histochemical
techniques. Their morphology resembled that of a bilobular pouch partially jointed in the central
portion. In A. coronatus and C. muelleri it is flatter in shape than those of other species. The external
Posting Terbaru