Sciweavers

31 search results - page 2 / 7
» Ocsigen: typing web interaction with objective Caml
Sort
View
DKE
2007
151views more  DKE 2007»
13 years 5 months ago
Towards a context-based multi-type policy approach for Web services composition
The objective of this research work is to look into the role of policies and context in framing the composition of Web services. Context supports the development of adaptable Web ...
Zakaria Maamar, Djamal Benslimane, Philippe Thiran...
FLOPS
2006
Springer
13 years 9 months ago
iData for the World Wide Web - Programming Interconnected Web Forms
Abstract. In this paper we present the iData Toolkit. It allows programmers to create interactive, dynamic web applications with state on evel of abstraction. The key element of th...
Rinus Plasmeijer, Peter Achten
TLDI
2009
ACM
155views Formal Methods» more  TLDI 2009»
14 years 2 months ago
Opis: reliable distributed systems in OCaml
The importance of distributed systems is growing as computing devices become ubiquitous and bandwidth becomes plentiful. Concurrency and distribution pose algorithmic and implemen...
Pierre-Évariste Dagand, Dejan Kostic, Vikto...
FLAIRS
2000
13 years 6 months ago
A Multiagent Architecture to Support Distance Learning Personalization on the Web
This article presents the description of the objectives, the structure and the functionality of an interactive system intended to focus the teaching on the performanceof the stude...
Jesus Boticario, Elena Gaudioso
ACMICEC
2005
ACM
156views ECommerce» more  ACMICEC 2005»
13 years 11 months ago
A web services-based business interactions manager to support electronic commerce applications
Electronic commerce applications (e-commerce) need connecting technologies to support the external, agreed-upon or flexible business processes. This requires a specification of th...
Youcef Baghdadi