Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
Sci2ools
International Keyboard
Graphical Social Symbols
CSS3 Style Generator
OCR
Web Page to Image
Web Page to PDF
Merge PDF
Split PDF
Latex Equation Editor
Extract Images from PDF
Convert JPEG to PS
Convert Latex to Word
Convert Word to PDF
Image Converter
PDF Converter
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
557
search results - page 11 / 112
»
Calculi for Service-Oriented Computing
Sort
relevance
views
votes
recent
update
View
thumb
title
10
click to vote
JACIII
2007
36
views
more
JACIII 2007
»
A Qualitative Model for Service Oriented Computing
13 years 8 months ago
Download
www.fujipress.jp
Jian Ying Zhang, Hepu Deng, Ryszard Kowalczyk
claim paper
Read More »
19
click to vote
TWEB
2008
37
views
more
TWEB 2008
»
Introduction to special issue on service oriented computing (SOC)
13 years 8 months ago
Download
www.infosys.tuwien.ac.at
Schahram Dustdar, Bernd J. Krämer
claim paper
Read More »
18
click to vote
JWSR
2007
89
views
more
JWSR 2007
»
Automated Situation-Aware Service Composition in Service-Oriented Computing
13 years 8 months ago
Download
www.public.asu.edu
150 words or less
Stephen S. Yau, Hasan Davulcu, Supratik Mukhopadhy...
claim paper
Read More »
8
click to vote
COMPUTER
2007
58
views
more
COMPUTER 2007
»
Component Contracts in Service-Oriented Architectures
13 years 9 months ago
Download
www.acs.org.au
Francisco Curbera
claim paper
Read More »
35
click to vote
LICS
2008
IEEE
200
views
Automated Reasoning
»
more
LICS 2008
»
From Axioms to Analytic Rules in Nonclassical Logics
14 years 3 months ago
Download
www.logic.at
We introduce a systematic procedure to transform large classes of (Hilbert) axioms into equivalent inference rules in sequent and hypersequent calculi. This allows for the automat...
Agata Ciabattoni, Nikolaos Galatos, Kazushige Teru...
claim paper
Read More »
« Prev
« First
page 11 / 112
Last »
Next »