Sciweavers

9264 search results - page 1258 / 1853
» Space Between Languages
Sort
View
ECOWS
2008
Springer
15 years 9 months ago
Automatic Timed Test Case Generation for Web Services Composition
In order to specify the composition of Web services, WSBPEL was defined as an orchestrating language by an international standards consortium. In this paper, we propose a method t...
Mounir Lallali, Fatiha Zaïdi, Ana R. Cavalli,...
FM
2008
Springer
130views Formal Methods» more  FM 2008»
15 years 8 months ago
Specification and Checking of Software Contracts for Conditional Information Flow
Abstract. Information assurance applications built according to the MILS (Multiple Independent Levels of Security) architecture often contain information flow policies that are con...
Torben Amtoft, John Hatcliff, Edwin Rodrígu...
ACL
2008
15 years 8 months ago
Soft Syntactic Constraints for Hierarchical Phrased-Based Translation
In adding syntax to statistical MT, there is a tradeoff between taking advantage of linguistic analysis, versus allowing the model to exploit linguistically unmotivated mappings l...
Yuval Marton, Philip Resnik
FOIS
2010
15 years 8 months ago
Revisiting the Ontological Square
Considerations regarding predication in ordinary language as well as the ontology of relations suggest a refinement of the Ontological Square, a conceptual scheme used in many foun...
Luc Schneider
DAGSTUHL
2007
15 years 8 months ago
Spatially Distributed Normative Objects
Organisational structures for multi-agent systems are usually defined independently of any spatial and temporal structure. Therefore, when the multi-agent system is situated in a ...
Fabio Y. Okuyama, Rafael H. Bordini, Antônio...
« Prev « First page 1258 / 1853 Last » Next »