Sciweavers

1361 search results - page 32 / 273
» From Legacy to Web through Interaction Modeling
Sort
View
CLIMA
2004
15 years 1 months ago
A New Framework for Knowledge Revision of Abductive Agents Through Their Interaction
The aim of this work is the design of a framework for the revision of knowledge in abductive reasoning agents, based on interaction. We address issues such as: how to exploit knowl...
Andrea Bracciali, Paolo Torroni
FM
2003
Springer
169views Formal Methods» more  FM 2003»
15 years 5 months ago
Checking and Reasoning about Semantic Web through Alloy
Abstract. Semantic Web (SW), commonly regarded as the next generation of the Web, is an emerging vision of the new Web from the Knowledge Representation and the Web communities. Th...
Jin Song Dong, Jing Sun, Hai H. Wang
SIGMOD
2005
ACM
156views Database» more  SIGMOD 2005»
15 years 12 months ago
Model-driven design of service-enabled web applications
Significant efforts are currently invested in application integration to enable the interaction and composition of business processes of different companies, yielding complex, mul...
Marco Brambilla, Stefano Ceri, Piero Fraternali, R...
PDPTA
2008
15 years 1 months ago
Utilizing RSS Feeds by Web Request and Web Service Models in the .NET Compact Framework
- The rising popularity of Mobile Computing creates new methods for accessing Web content. At the same time Really Simple Syndication (RSS) feed is another new trend of constantly ...
Andrew Dutt, Sarah White, Zornitza Genova Prodanof...
ICWS
2009
IEEE
14 years 9 months ago
From Workflow Models to Executable Web Service Interfaces
Workflow models have been used and refined for years to execute processes within organisations. To deal with collaborative processes (choreographies) these internal workflow model...
Armin Haller, Mateusz Marmolowski, Walid Gaaloul, ...