Search Sciweavers | Sciweavers

2696 search results - page 16 / 540

» Semantic Abstraction and Anaphora

136

click to vote

CALCO
2007
Springer

98views Mathematics» more CALCO 2007»

A Semantic Characterization of Unbounded-Nondeterministic Abstract State Machines

15 years 8 months ago

Download www2.informatik.hu-berlin.de

Andreas Glausch, Wolfgang Reisig

claim paper

Read More »

136

click to vote

ESWS
2007
Springer

136views Internet Technology» more ESWS 2007»

Design Abstractions for Innovative Web Applications: The Case of the SOA Augmented with Semantics

15 years 8 months ago

Download www.webml.org

Stefano Ceri, Marco Brambilla, Emanuele Della Vall...

claim paper

Read More »

140

click to vote

COMMA
2008

98views Applied Computing» more COMMA 2008»

The Computational Complexity of Ideal Semantics I: Abstract Argumentation Frameworks

15 years 7 months ago

Download cgi.csc.liv.ac.uk

Paul E. Dunne

claim paper

Read More »

103

click to vote

DAGSTUHL
2008

89views Software Engineering» more DAGSTUHL 2008»

08061 Abstracts Collection -- Types, Logics and Semantics for State

15 years 7 months ago

Download drops.dagstuhl.de

Amal Ahmed, Nick Benton, Martin Hofmann, Greg Morr...

claim paper

Read More »

116

click to vote

ICWS
2004
IEEE

70views Internet Technology» more ICWS 2004»

Semantics Based Verification and Synthesis of BPEL4WS Abstract Processes

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers