Sciweavers

1216 search results - page 171 / 244
» Modelling Safe Interface Interactions in Web Applications
Sort
View
WETICE
2007
IEEE
15 years 4 months ago
Context Adaptation of Web Service Orchestrations
With orchestrations, one service may be realized through the cooperation of several services. This cooperation has to be formally described. In this paper, we propose to describe ...
Frédérick Seyler, Chantal Taconet, G...
NRHM
1998
124views more  NRHM 1998»
14 years 9 months ago
Adaptable and adaptive information provision for all users, including disabled and elderly people
: Due to the tremendously increasing popularity of the World-Wide Web, hypermedia is going to be the leading online information medium for some years to come and will most likely b...
Josef Fink, Alfred Kobsa, Andreas Nill
EAGC
2004
Springer
15 years 3 months ago
Overview of an Architecture Enabling Grid Based Application Service Provision
In this short paper we examine the integration of three emerging trends in Information Technology (Utility Computing, Grid Computing, and Web Services) into a new Computing paradig...
Stefan Wesner, Bassem Serhan, Theodosis Dimitrakos...
IRI
2009
IEEE
15 years 4 months ago
An Agent-based Formal Framework for Modeling and Simulating Supply Chains
We propose an open and extensible agent-based formal framework for modeling and simulating supply chains. Since structures and behaviors of supply chains can be very different bas...
Li Tan, Shenghan Xu, Benjamin Meyer, Brock Erwin
CORR
2004
Springer
142views Education» more  CORR 2004»
14 years 9 months ago
Modeling and Validating Hybrid Systems Using VDM and Mathematica
Hybrid systems are characterized by the hybrid evolution of their state: A part of the state changes discretely, the other part changes continuously over time. Typically, modern c...
Bernhard K. Aichernig, Reinhold Kainhofer