Sciweavers

3429 search results - page 273 / 686
» Modelling the Operational Semantics of Domain-Specific Model...
Sort
View
TCS
2008
15 years 4 months ago
Compositional semantics and behavioral equivalences for P Systems
The aim of the paper is to give a compositional semantics in the style of the Structural Operational Semantics (SOS) and to study behavioral equivalence notions for P Systems. Fir...
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo ...
WWW
2004
ACM
16 years 5 months ago
TCOZ approach to semantic web services design
Complex Semantic Web (SW) services may have intricate data state, autonomous process behavior and concurrent interactions. The design of such SW service systems requires precise a...
Jin Song Dong, Yuan-Fang Li, Hai H. Wang
FASE
2008
Springer
15 years 6 months ago
An Algebraic Semantics for MOF
Abstract. Model-driven development is a field within software engineering in which software artifacts are represented as models in order to improve productivity, quality, and cost ...
Artur Boronat, José Meseguer
EMNLP
2010
15 years 2 months ago
SRL-Based Verb Selection for ESL
In this paper we develop an approach to tackle the problem of verb selection for learners of English as a second language (ESL) by using features from the output of Semantic Role ...
Xiaohua Liu, Bo Han, Kuan Li, Stephan Hyeonjun Sti...
182
Voted
ICSE
2010
IEEE-ACM
15 years 6 months ago
Supporting developers with natural language queries
The feature list of modern IDEs is steadily growing and mastering these tools becomes more and more demanding, especially for novice programmers. Despite their remarkable capabili...
Michael Würsch, Giacomo Ghezzi, Gerald Reif, ...