Sciweavers

11462 search results - page 1976 / 2293
» Developing Application-Centric Methods
Sort
View
JCP
2008
116views more  JCP 2008»
15 years 6 months ago
Formal Verification and Visualization of Security Policies
Verified and validated security policies are essential components of high assurance computer systems. The design and implementation of security policies are fundamental processes i...
Luay A. Wahsheh, Daniel Conte de Leon, Jim Alves-F...
JCP
2008
104views more  JCP 2008»
15 years 6 months ago
Analysis and Improved Recognition of Protein Names Using Transductive SVM
We first analyzed protein names using various dictionaries and databases and found five problems with protein names; i.e., the treatment of special characters, the treatment of hom...
Masaki Murata, Tomohiro Mitsumori, Kouichi Doi
JDCTA
2008
122views more  JDCTA 2008»
15 years 6 months ago
An Analysis Present Condition of Information Systems in Turkish Ports and Direction of Improvement
The international business environment of port logistics has changed drastically in the last few decades. The increase in international trade, advent of ultra-large vessels, chang...
Hyung Rim Choi, Yavuz Keceli, Min Je Cho
IR
2006
15 years 6 months ago
Full-text federated search of text-based digital libraries in peer-to-peer networks
Abstract. Peer-to-peer (P2P) networks integrate autonomous computing resources without requiring a central coordinating authority, which makes them a potentially robust and scalabl...
Jie Lu, Jamie Callan
CORR
2007
Springer
164views Education» more  CORR 2007»
15 years 6 months ago
Dynamic aspects of individual design activities. A cognitive ergonomics viewpoint
This paper focuses on the use of knowledge possessed by designers. Data collection was based on observations (by the cognitive ergonomics researcher) and simultaneous verbalisation...
Willemien Visser
« Prev « First page 1976 / 2293 Last » Next »