Sciweavers

3111 search results - page 384 / 623
» Communities - The Role of Technology
Sort
View
BIRTHDAY
2005
Springer
16 years 4 days ago
SAT-Based Decision Procedures for Automated Reasoning: A Unifying Perspective
Propositional reasoning (SAT) is an essential part of many reasoning tasks. Many problems in computer science can be compiled to SAT and then effectively decided using state-of-th...
Alessandro Armando, Claudio Castellini, Enrico Giu...
CAISE
2005
Springer
16 years 4 days ago
A Method for Ontology Modeling in the Business Domain
Today ontology languages present a syntax which looks not “natural” and are lacking of built-in primitives (i.e., modeling notions) domain experts are familiar with. In this pa...
Michele Missikoff, Federica Schiappelli
SEMWEB
2005
Springer
16 years 2 days ago
Choreography in IRS-III - Coping with Heterogeneous Interaction Patterns in Web Services
Abstract. In this paper we describe how we handle heterogeneity in web service interaction through a choreography mechanism that we have developed for IRS-III. IRS-III is a framewo...
John Domingue, Stefania Galizia, Liliana Cabral
WWIC
2005
Springer
129views Communications» more  WWIC 2005»
16 years 2 days ago
Comparison of Incentive-Based Cooperation Strategies for Hybrid Networks
Today’s public Wireless LANs are restricted to hotspots. With the current technology, providers can only target a small audience and in turn charge high prices for their service ...
Attila Weyland, Thomas Staub, Torsten Braun
ELPUB
2004
ACM
16 years 1 days ago
Advantages of two new approaches for scientific e-publishing
nal. It is based on the following idea: authors of scientific papers can submit an abstract to this facility and editors and referees can routinely scan the Metajournal to find out...
Juan Miguel Campanario