Sciweavers

631 search results - page 93 / 127
» Deriving Specifications from Requirements: An Example
Sort
View
AAAI
1994
13 years 8 months ago
Reasoning about Priorities in Default Logic
In this paper we argue that for realistic applications involving default reasoning it is necessary to reason about the priorities of defaults. Existing approaches require the know...
Gerhard Brewka
JITECH
2008
86views more  JITECH 2008»
13 years 7 months ago
Generic verticalization strategies in enterprise system markets: An exploratory framework
In recent years, enterprise system (ES) software markets have been very dynamic. While contemporary customers are increasingly seeking ES solutions that require less and less cust...
Lior Fink, Sarit Markovich
JOC
2008
97views more  JOC 2008»
13 years 7 months ago
Tag-KEM/DEM: A New Framework for Hybrid Encryption
This paper presents a novel framework for the generic construction of hybrid encryption schemes which produces more efficient schemes than the ones known before. A previous framew...
Masayuki Abe, Rosario Gennaro, Kaoru Kurosawa
JBI
2006
117views Bioinformatics» more  JBI 2006»
13 years 7 months ago
Desiderata for domain reference ontologies in biomedicine
Domain reference ontologies represent knowledge about a particular part of the world in a way that is independent from specific objectives, through a theory of the domain. An exam...
Anita Burgun
JUCS
2010
143views more  JUCS 2010»
13 years 5 months ago
Information Support Services for Intermediation Tasks of Collaborative Networks
: Companies in collaborative networks require intermediation to perform. The collaborative network forms the breeding environment for the configuration of a Virtual Enterprise that...
Heiko Thimm, Karsten Boye Rasmussen