Sciweavers

13791 search results - page 459 / 2759
» Modeling Web Interactions
Sort
View
ISTA
2001
15 years 8 months ago
Application of Java-Technologies for Simulation in the Web
: In this article, the visual Internet-oriented Java-based E-net Simulation System (JESS) is considered. JESS supports all the simulation stages from constructing the models to exp...
Volodynur Kazymyr, Nataliya Demshevska
IEE
2007
120views more  IEE 2007»
15 years 6 months ago
Classification of model transformation techniques used in UML-based Web engineering
Software development techniques are continuously evolving with the goal of solving the main problems that still affect the building and maintenance of software systems: time, cost...
N. Koch
213
Voted
IEEEHPCS
2010
15 years 5 months ago
Semantic model checking security requirements for web services
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...
L. Boaro, E. Glorio, Francesco Pagliarecci, Luca S...
WWW
2008
ACM
16 years 7 months ago
Web page rank prediction with markov models
In this paper we propose a method for predicting the ranking position of a Web page. Assuming a set of successive past top-k rankings, we study the evolution of Web pages in terms...
Michalis Vazirgiannis, Dimitris Drosos, Pierre Sen...
IEEESCC
2007
IEEE
16 years 1 months ago
Deriving executable BPEL from UMM Business Transactions
UN/CEFACT’s Modeling Methodology (UMM) is a UML profile for modeling global B2B choreographies. The basic building blocks of UMM are business transactions, which describe the e...
Birgit Hofreiter, Christian Huemer, Philipp Liegl,...