Sciweavers

779 search results - page 113 / 156
» An ERP Maintenance Model
Sort
View
FM
2003
Springer
169views Formal Methods» more  FM 2003»
14 years 2 months ago
Checking and Reasoning about Semantic Web through Alloy
Abstract. Semantic Web (SW), commonly regarded as the next generation of the Web, is an emerging vision of the new Web from the Knowledge Representation and the Web communities. Th...
Jin Song Dong, Jing Sun, Hai H. Wang
APSCC
2009
IEEE
14 years 2 months ago
Extended policies for automatic service composition in IMS
— Service creation by composing existing services and/or network resources is considered by Telecom and Internet industries as the trend for service provisioning in Next Generati...
Cuiting Huang, Noël Crespi
ACNS
2010
Springer
200views Cryptology» more  ACNS 2010»
14 years 1 months ago
Deniable Internet Key Exchange
In this work, we develop a family of protocols for deniable Internet Key-Exchange (IKE) with the following properties: • Highly practical efficiency, and conceptual simplicity a...
Andrew Chi-Chih Yao, Yunlei Zhao
EMO
2001
Springer
150views Optimization» more  EMO 2001»
14 years 1 months ago
On the Effects of Archiving, Elitism, and Density Based Selection in Evolutionary Multi-objective Optimization
This paper studies the influence of what are recognized as key issues in evolutionary multi-objective optimization: archiving (to keep track of the current non-dominated solutions...
Marco Laumanns, Eckart Zitzler, Lothar Thiele
INFOCOM
1999
IEEE
14 years 1 months ago
User-Friendly Access Control for Public Network Ports
We are facing a growing user demand for ubiquitous Internet access. As a result, network ports and wireless LANs are becoming common in public spaces inside buildings such as loung...
Guido Appenzeller, Mema Roussopoulos, Mary Baker