Sciweavers

3111 search results - page 384 / 623
» Communities - The Role of Technology
Sort
View
BIRTHDAY
2005
Springer
16 years 24 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 24 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 22 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 22 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 21 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