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
PDF Tools
Image Tools
Text Tools
OCR Tools
Symbol and Emoji Tools
On-screen Keyboard
Latex Math Equation to Image
Smart IPA Phonetic Keyboard
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
857
search results - page 35 / 172
»
Compositional Semantics in Verbmobil
Sort
relevance
views
votes
recent
update
View
thumb
title
142
click to vote
COMPOS
1997
Springer
144
views
Formal Methods
»
more
COMPOS 1997
»
Compositional Proof Methods for Concurrency: A Semantic Approach
15 years 10 months ago
Download
www-sst.informatik.tu-cottbus.de
Frank S. de Boer, Willem P. de Roever
claim paper
Read More »
120
click to vote
CSMR
2006
IEEE
81
views
Software Engineering
»
more
CSMR 2006
»
Semantic-Based Toolkit for Automated Building Block Composition in SAP R/3
15 years 9 months ago
Download
sisinflab.poliba.it
Francesco di Cugno, Tommaso Di Noia, Eugenio Di Sc...
claim paper
Read More »
156
click to vote
IFM
2000
Springer
111
views
Formal Methods
»
more
IFM 2000
»
A Concurrent and Compositional Petri Net Semantics of Preemption
15 years 9 months ago
Download
hal.archives-ouvertes.fr
Hanna Klaudel, Franck Pommereau
claim paper
Read More »
130
click to vote
ECOWS
2009
Springer
81
views
Internet Technology
»
more
ECOWS 2009
»
Negotiating Robustness in Semantic Web Service Composition
15 years 9 months ago
Download
www.php.portals.mbs.ac.uk
Freddy Lécué, Usman Wajid, Nikolay M...
claim paper
Read More »
123
click to vote
CAISE
2008
Springer
97
views
Information Technology
»
more
CAISE 2008
»
Information Gathering for Semantic Service Discovery and Composition in Business Process Modeling
15 years 8 months ago
Download
www.imweber.de
Norman May, Ingo Weber
claim paper
Read More »
« Prev
« First
page 35 / 172
Last »
Next »
