Sciweavers

1288 search results - page 48 / 258
» Integrating formal models into the programming languages cou...
Sort
View
WORDS
2005
IEEE
15 years 11 months ago
Agent-Oriented Modelling and Specification of Web Services
Web services (WS) provide a technology for integrating applications over the Internet. This paper proposes a multi-agent conceptual model of WS and an agent-oriented modelling and...
Hong Zhu, Lijun Shan
UM
2001
Springer
15 years 10 months ago
An Integrated Approach for Generating Arguments and Rebuttals and Understanding Rejoinders
This paper describes an integrated approach for interpreting a user’s responses and generating replies in the framework of a WWW-based Bayesian argumentation system. Our system c...
Ingrid Zukerman
142
Voted
BTW
2007
Springer
93views Database» more  BTW 2007»
16 years 5 days ago
Towards an Integrated Model for Data, Metadata, and Operations
: Information integration requires manipulating data and metadata in ways that in general go beyond a single existing transformation formalism. As a result, a complete source-to-ta...
Jürgen Göres, Stefan Dessloch
GPCE
2007
Springer
16 years 4 days ago
Oz/K: a kernel language for component-based open programming
Programming in an open environment remains challenging because it requires combining modularity, security, concurrency, distribution, and dynamicity. In this paper, we propose an ...
Michael Lienhardt, Alan Schmitt, Jean-Bernard Stef...
187
Voted
POPL
2012
ACM
14 years 1 months ago
A type theory for probability density functions
There has been great interest in creating probabilistic programming languages to simplify the coding of statistical tasks; however, there still does not exist a formal language th...
Sooraj Bhat, Ashish Agarwal, Richard W. Vuduc, Ale...