77 Hits in 2.0 sec

Design for verification for asynchronously communicating Web services

Aysu Betin-Can, Tevfik Bultan, Xiang Fu
2005 Proceedings of the 14th international conference on World Wide Web - WWW '05  
We present a design for verification approach to developing reliable web services. We focus on composite web services which consist of asynchronously communicating peers.  ...  Using these peer interfaces we automatically generate BPEL specifications to publish for interoperability.  ...  In this example a customer requests a loan for some amount. If the amount is small, the loan request is approved. For large amounts, a risk assessment service decides a risk level.  ... 
doi:10.1145/1060745.1060853 dblp:conf/www/Betin-CanBF05 fatcat:mwbdjnxsjnhaxhg3jmifye2uhm

Synchronization of periodic clocks

Albert Cohen, Marc Duranton, Christine Eisenbeis, Claire Pagetti, Florence Plateau, Marc Pouzet
2005 Proceedings of the 5th ACM international conference on Embedded software - EMSOFT '05  
We show how to extend a core synchronous data-flow language with a notion of periodic clocks, and to design a relaxed clock calculus (a type system for clocks) to allow non strictly synchronous processes  ...  We propose a programming model dedicated to real-time videostreaming applications for embedded media devices, including highdefinition TVs.  ...  can be decided in quadratic time.  ... 
doi:10.1145/1086228.1086289 dblp:conf/emsoft/CohenDEPPP05 fatcat:mfnlbkwiavaojfzc345oxmlyvy

A Parametric Communication Model for the Verification of BPEL4WS Compositions [chapter]

Raman Kazhamiakin, Marco Pistore
2005 Lecture Notes in Computer Science  
Indeed, these communications are asynchronous and buffered in the existing execution frameworks, while most verification approaches adopt a synchronous communication model for efficiency reasons.  ...  In this paper we describe an approach for the verification of Web service compositions defined by a set of BPEL4WS processes.  ...  Related Work and Conclusions In this paper we presented a unified framework for the analysis and verification of Web service compositions provided as BPEL specifications.  ... 
doi:10.1007/11549970_23 fatcat:hhdmicfhrva4tjplahthypo6ta

A harmonious unifying hybrid preferential model and its universal properties for complex dynamical networks

JinQing Fang, Qiao Bi, Yong Li, XinBiao Lu, Qiang Liu
2007 Science in China Series G: Physics, Mechanics and Astronomy  
Their model is a better one for technological networks.  ...  To describe the real world which is a harmonious unification world with both determinism and randomness, we propose a harmonious unifying hybrid preferential model (HUHPM) of a certain class of complex  ...  the PSIC framework is quite effective in detecting seizures, which is often better than the Lyapunov exponent based methods from the conventional ESIC framework.  ... 
doi:10.1007/s11433-007-0029-7 fatcat:rkfkrjuskjdkxjpwic4sigg5dm

Polychronous Analysis of Timing Constraints in UML MARTE

Huafeng Yu, Jean-Pierre Talpin, Loïc Besnard, Thierry Gautier, Frédéric Mallet, Charles André, Robert de Simone
2010 2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops  
The UML Profile for Modeling and Analysis of Real-Time and Embedded systems (MARTE) defines a broadly expressive Time Model to provide a generic timed interpretation for UML models.  ...  Hierarchization enables to identify the endochrony property in a system that allows code generation ensuring determinism.  ...  It provides a formal framework for the system modeling at a high level of abstraction, design validation at different levels, as well as simulations for deterministic specifications.  ... 
doi:10.1109/isorcw.2010.10 dblp:conf/isorc/YuTBGMAS10 fatcat:rxn5km3nmjdl3mvj557oaqpbkq

Pinning control and synchronization on complex dynamical networks

Guanrong Chen
2014 International Journal of Control, Automation and Systems  
Some technical details, if deemed necessary for clarity, will be outlined as well.  ...  This article offers a survey of the recent research advances in pinning control and pinning synchronization on complex dynamical networks.  ...  A unified framework for in-depth studying the subject is the random graph theory, established by Erdös-Rényi in the late 1950s [2] .  ... 
doi:10.1007/s12555-014-9001-2 fatcat:llaxhnoipffpdioogadtnx42ru

Analysis of communication models in web service compositions

Raman Kazhamiakin, Marco Pistore, Luca Santuari
2006 Proceedings of the 15th international conference on World Wide Web - WWW '06  
Indeed, these communications are asynchronous and buffered in the existing execution frameworks, while most verification approaches assume a synchronous communication model for efficiency reasons.  ...  In our approach, we develop a parametric model for describing Web service compositions, which allows us to capture a hierarchy of communication models, ranging from synchronous communications to asynchronous  ...  RELATED WORK AND CONCLUSIONS In this paper we presented a unified framework for the analysis and verification of Web service compositions provided as BPEL specifications.  ... 
doi:10.1145/1135777.1135819 dblp:conf/www/KazhamiakinPS06 fatcat:wrfikrt4xfepddqkrc6su5qzgi

A standard for multimedia middleware

D. J. Duke, I. Herman
1998 Proceedings of the sixth ACM international conference on Multimedia - MULTIMEDIA '98  
PREMO &Resentition Environments for Mtitimedia Objeck) is a new MO S*dard, to be pub-~b ed in 1998, that defies a middeware frmework encompassing synchrotiation, the mnagement of distributed media resourcw  ...  Advmees in hardware, software, and coding stindards for digiti media have now made the defivery of mdtimedia ifiormation a sWdard component of many systems.  ...  P~MO is not intended as a rendering engine, but as a framework for integrating media processing and rendering, performing a service for digital mdla somewhat like the service that a coordination framework  ... 
doi:10.1145/290747.290806 dblp:conf/mm/DukeH98 fatcat:riu3ia62g5bqhddiddxpzieu7i

The role of synchronization in digital communications using chaos. II. Chaotic modulation and chaotic synchronization

G. Kolumban, M.P. Kennedy, L.O. Chua
1998 IEEE Transactions on Circuits and Systems I Fundamental Theory and Applications  
Finally, the authors wish to thank the reviewers for their constructive criticism of this work.  ...  Our objectives in this work have been: 1) To provide a theoretical context in which the performance of modulation schemes based on chaotic synchronization can be evaluated, 2) To develop a unified framework  ...  framework for discussing and comparing conventional and chaotic communication systems; 3) to highlight the special problems that arise when chaotic basis functions are used.  ... 
doi:10.1109/81.735435 fatcat:acmtxwpxcragnfpdeje6qu5sme

Developing Curriculum of Bachelor at University of Foreign Language Studies in Vietnam

2016 International Journal of Science and Research (IJSR)  
The curriculum is the backbone of the entire training process at university and also is a significant factor that determines the quality of university education.  ...  Curriculum Development at Universities Wentling (1993) said: "The curriculum is an overall blueprint for a training activity (which might be a course lasting several hours, a day, a week or a few years  ...  More than ever, the quality of higher education is becoming a matter of survival; decide the success or failure of an entire country especially in terms of integration with the world economy.  ... 
doi:10.21275/v5i6.29061602 fatcat:viahgdpxm5guzef2o6lsy2d76a

Fundamental structures in Well-Structured infinite Transition Systems [chapter]

Alain Finkel, Philippe Schnoebelen
1998 Lecture Notes in Computer Science  
We suggest a simple and clean de nition for Well-Structured Transition Systems Fin90,A CJY96], a general class of in nite state systems for which decidability results exist.  ...  As a consequence we can (1) generalize the de nition in many ways, (2) nd examples of (general) WSTS's in many elds, and (3) present new decidability results. ? 61, av.  ...  Some points worth stressing are { The WSTS idea is a guide for relating and unifying many approaches in many di erent elds of computer science. { It suggests directions for extending already known decidability  ... 
doi:10.1007/bfb0054314 fatcat:qsn3s57gdrh5hh3mzupudirakq

A semantical framework to engineering WSBPEL processes

Mohsen Rouached, Walid Fdhila, Claude Godart
2008 Information Systems and E-Business Management  
for a better performance in verification.  ...  A key aspect for this kind of verification is the model adopted for representing the communications among the Web services.  ...  Conclusion In this paper we presented a unified framework for the analysis and verification of Web service compositions provided as BPEL specifications.  ... 
doi:10.1007/s10257-008-0081-5 fatcat:q6lltyb6nnb5pk5ppr5mnd7z6i

Classes of optimal network topologies under multiple efficiency and robustness constraints

Sanket Patil, Srinath Srinivasa, Venkat Venkatasubramanian
2009 2009 IEEE International Conference on Systems, Man and Cybernetics  
We analyze CSLs to observe that they show several structural motifs that are optimal with respect to a variety of metrics.  ...  Cayley graphs are proposed as a unified group-theoretic model for designing optimal DHT topologies [18] . Gummadi et al. [19] report that ring structures are most suitable for DHTs.  ...  [15] study optimal structures for high synchronizability and low first-passage times for random walkers, and propose entangled networks with highly homogeneous structural properties.  ... 
doi:10.1109/icsmc.2009.5346272 dblp:conf/smc/PatilSV09 fatcat:lkrfltd4qngejkwmq7wzk35p6e

Well-structured transition systems everywhere!

A. Finkel, Ph. Schnoebelen
2001 Theoretical Computer Science  
Well-structured transition systems (WSTSs) are a general class of inÿnite-state systems for which decidability results rely on the existence of a well-quasi-ordering between states that is compatible with  ...  and application to Timed Petri Nets [56] , WSTSs as symbolic transition systems [60] , data structures for upward-closed sets [58] , WSTS algorithm for the logic LO [57] , coverability for WSTSs [  ...  Afterword Since this article was submitted, we became aware of some more works related to WSTS: well-quasi-orderings for powersets [61] , model-checking for WSTSs [59] , better-quasi-orderings [55]  ... 
doi:10.1016/s0304-3975(00)00102-x fatcat:tmflt4czdbf55p6rxmm2h4uyqy

Matrix measures, stability and contraction theory for dynamical systems on time scales

Giovanni Russo, Fabian Wirth
2021 Discrete and continuous dynamical systems. Series B  
For the former, we give a sufficient condition on the parameters of a SIQR model on time scales ensuring that its solutions converge to the disease-free solution.  ...  For the latter, we first give a sufficient condition for pinning synchronization of complex time scale networks and then use this condition to study certain collective opinion dynamics.  ...  The authors would like to thank the anonymous reviewers for their constructive comments.  ... 
doi:10.3934/dcdsb.2021188 fatcat:eqh4poghjrcpjcu5kckm7nhpca
« Previous Showing results 1 — 15 out of 77 results