Sciweavers

1179 search results - page 98 / 236
» Should Superclasses be Abstract
Sort
View
CORR
2006
Springer
133views Education» more  CORR 2006»
13 years 8 months ago
A Business Goal Driven Approach for Understanding and Specifying Information Security Requirements
Abstract. In this paper we present an approach for specifying and prioritizing information security requirements in organizations. It is important to prioritize security requiremen...
Xiaomeng Su, Damiano Bolzoni, Pascal van Eck
ETT
2006
115views Education» more  ETT 2006»
13 years 8 months ago
Radio network planning of DVB-H/UMTS hybrid mobile communication networks
Abstract-- The benefit of hybrid mobile communication networks combining point-to-point and point-to-multipoint systems should be an optimized transfer of data for both providers a...
Peter Unger, Thomas Kürner
CMMR
2003
Springer
1215views Music» more  CMMR 2003»
14 years 1 months ago
FMF(Fast Melody Finder): A Web-Based Music Retrieval System
Abstract. As the use of digital music is getting popular, there is an increasing demand for efficient retrieval of music. To do that, an effective music indexing and natural way o...
Seung-Min Rho, Een-Jun Hwang
JAR
2008
77views more  JAR 2008»
13 years 8 months ago
Translating Higher-Order Clauses to First-Order Clauses
Interactive provers typically use higher-order logic, while automatic provers typically use first-order logic. In order to integrate interactive provers with automatic ones, it is ...
Jia Meng, Lawrence C. Paulson
DKE
2007
115views more  DKE 2007»
13 years 7 months ago
Business process management: Where business processes and web services meet
Abstract. Business Process Management (BPM) includes methods, techniques, and tools to support the design, enactment, management, and analysis of operational business processes. Th...
Wil M. P. van der Aalst, Boualem Benatallah, Fabio...