Filters








184,924 Hits in 6.8 sec

Declarative Framework for Specification, Simulation and Analysis of Distributed Applications

Jiefei Ma, Franck Le, Alessandra Russo, Jorge Lobo
2016 IEEE Transactions on Knowledge and Data Engineering  
In this paper we present a declarative framework for the specification, execution, simulation and analysis of distributed applications.  ...  The D2C specification can be directly executed using the DSM computational infrastructure of our framework. The same specification can be simulated and formally verified.  ...  CONCLUSION AND FUTURE WORK We have presented our declarative framework for specification, simulation and analysis of distributed applications.  ... 
doi:10.1109/tkde.2016.2515604 fatcat:ci6nugh64ncxdjsylzberel6bq

Rupeas: Ruby powered event analysis DSL

Matthias Woehrle, Christian Plessl, Lothar Thiele
2010 2010 Seventh International Conference on Networked Sensing Systems (INSS)  
The framework is independent from WSN test platforms, applications and logging semantics and thus generally applicable for analyzing event logs of WSN test executions.  ...  It allows for abstracting from the event trace by means of behavioral queries and uses assertions for checking the accordance of an execution to its specification.  ...  Case Study As an example for an analysis of a data gathering application, we apply Rupeas to data from simulating a TinyOS 2.x application.  ... 
doi:10.1109/inss.2010.5572211 dblp:conf/inss/WoehrlePT10 fatcat:eszerlinljaavaz24xqdxi7dwa

Simulation Application for the LHCb Experiment [article]

I. Belyaev, Ph. Charpentier, S. Easo, P. Mato, J. Palacios, W. Pokorski, F. Ranjard, J. van Tilburg
2003 arXiv   pre-print
, reconstruction and analysis applications.  ...  The application is built using the Gaudi software framework, which is used for all event-processing applications in the LHCb experiment.  ...  With the new reconstruction and analysis applications already used in production, the simulation one is getting close to that stage as well.  ... 
arXiv:physics/0306035v1 fatcat:3evp6zpltbdyxcljo43vqxgjcq

Analysing Selfishness Flooding with SEINE

Guido Lena Cota, Sonia Ben Mokhtar, Gabriele Gianini, Ernesto Damiani, Julia Lawall, Gilles Muller, Lionel Brunie
2017 2017 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)  
SEINE relies on a domain-specific language (SEINE-L) for specifying selfishness scenarios, and provides semi-automatic support for their implementation and study in a state-of-the-art simulator.  ...  To overcome these difficulties, we propose SEINE, a simulation framework for rapid modelling and evaluation of selfish behaviours in a cooperative system.  ...  For the purpose of these experiments, a designer can rely on frameworks for developing and evaluating real distributed systems [16] , [19] or simulations of such systems [2] , [27] .  ... 
doi:10.1109/dsn.2017.51 dblp:conf/dsn/CotaMGDLMB17 fatcat:hd2uqk7u3nez5bv6pxcqbsiasi

A model-driven method for building distributed simulation systems from business process models

Paolo Bocciarelli, Alessandra Pieroni, Daniele Gianni, Andrea D'Ambrogio
2012 Proceedings Title: Proceedings of the 2012 Winter Simulation Conference (WSC)  
The analysis of modern business processes implemented as orchestration of software services demands for new approaches that explicitly take into account the inherent complexity and distribution characteristics  ...  as Extended Queueing Network (EQN) models and executed as distributed simulations.  ...  The simulator can be finally deployed on a SimArch-enabled distributed platform and be run for yielding the results of the BP analysis.  ... 
doi:10.1109/wsc.2012.6465106 dblp:conf/wsc/BocciarelliPGD12 fatcat:6p6bfxxzb5htzby2ghxhiggete

Towards Interoperability of Distributed Interactive Simulations through Node-based OpenGL Stream Processing

Maik Mory, Norbert Siegmund, Alexander Blankenburg, Gunter Saake
2012 Interop-Vlab.It Workshop on Pervasive Computing for Networked Enterprises  
A novel approach exploits simulations' visualizations to setup distributed simulations: OpenGL stream processors intercept the dialogue between OpenGL clients and servers, and (distributedly) process the  ...  Results are a systematic examination of the framework's capabilities and limits; identification of open research questions; and an initial benchmark for architectural comparison with other OpenGL stream  ...  Maik Mory and Norbert Siegmund are funded by German Ministry of Education and Science (BMBF) within the ViERforES project No. 01IM10002B.  ... 
dblp:conf/invit/MorySBS12 fatcat:nkk5fo62rnhcthfnft223vxuvq

Toward a Tool-Based Development Methodology for Pervasive Computing Applications

Damien Cassou, Julien Bruneau, Charles Consel, Emilie Balland
2012 IEEE Transactions on Software Engineering  
specific code to test the application, and finally deploying it.  ...  Despite much progress, developing a pervasive computing application remains a challenge because of a lack of conceptual frameworks and supporting tools.  ...  Another promising direction is to take advantage of architectural invariants for guiding program analysis tools.  ... 
doi:10.1109/tse.2011.107 fatcat:noxefbu435eynehdqdqm33qjkm

Service-Oriented Model Encapsulation and Selection Method for Complex System Simulation Based on Cloud Architecture

Xiong, Zhu, Yao, Tang, Xiao
2019 Entropy  
In order to support the distributed sharing of the simulation models with large computational requirements and to select the optimal service model to construct complex system simulation applications, this  ...  This method encapsulates models into shared simulation services, supports the distributed scheduling of model services in the network, and designs a semantic search framework which can support users in  ...  The simulation object framework is built on a specific simulation engine, and the simulation object instances are defined by the simulation object framework (including the declarations of these simulation  ... 
doi:10.3390/e21090891 fatcat:wg43kvgsqfd4xjuturjouw77na

Modeling and Simulation Framework for Development of Interactive Virtual Environments

Konstantin V. Knyazkov, Sergey V. Kovalchuk
2014 Procedia Computer Science  
The article p resents a framework for interactive virtual environ ments' development for simu lation and modeling of co mp lex systems.  ...  The framework uses system's structural model as a core concept for composition and control of simu lation-based scientific experiments not in terms of technological processes or wo rkflo ws but in terms  ...  Acknowledgements: Th is work was financially supported by the Govern ment of the Russian Federation, Grant 074-U01.  ... 
doi:10.1016/j.procs.2014.05.030 fatcat:kkss2w4jo5bwbjdjaczqusy7b4

A Specification Language for Performance and Economical Analysis of Short Term Data Intensive Energy Management Services [chapter]

Alberto Merino, Rafael Tolosana-Calasanz, José Ángel Bañares, José-Manuel Colom
2016 Lecture Notes in Computer Science  
In this paper we present a component based specification language for building trustworthy continuous dataflow applications.  ...  The paper illustrates how to model and reason with specifications of advanced data flow abstractions such as smart grids.  ...  Acknowledgments This work was supported by the Spanish Ministry of Economy under the program "Programa de I+D+i Estatal de Investigación, Desarrollo e innovación Orientada a los Retos de la Sociedad",  ... 
doi:10.1007/978-3-319-43177-2_10 fatcat:3ai2jw4obbgkhpp7a3g4gmcaky

Advances in Computer Simulation of Genome Evolution: Toward More Realistic Evolutionary Genomics Analysis by Approximate Bayesian Computation

Miguel Arenas
2015 Journal of Molecular Evolution  
produce a more realistic evolutionary analysis of genomic data.  ...  Advantages and pitfalls in using these analytical methods are discussed. Potential applications of these ancestral genomic inferences are also pointed out.  ...  Conflict of interest The author declares that there is no conflict of interests.  ... 
doi:10.1007/s00239-015-9673-0 pmid:25808249 fatcat:rbm3f6unwfbsnfeta6a54qjo3y

Risk-based decision making to evaluate pollutant reduction scenarios

Ebrahim Ahmadisharaf, Brian L. Benham
2019 Science of the Total Environment  
We demonstrate a generic routine for the application of Generalized Likelihood Uncertainty Estimation (GLUE) to Hydrological Simulation Program-FORTRAN (HSPF) using existing softwares to evaluate two bacteria  ...  The risk-based framework presented here illustrates a method to propagate watershed model uncertainty and assess performance of alternative pollutant reduction scenarios using existing tools, thereby enabling  ...  Acknowledgements We thank Anurag Mishra and Karen Kline for the help with HSPEXP+ and HSPF development in the Woods Creek watershed.  ... 
doi:10.1016/j.scitotenv.2019.135022 pmid:31731127 fatcat:tzylzepimvdl5emw36tp6j3w3q

Leveraging network-centric strategic goals in capabilities

Jo Erskine Hannay, Eli Gjørven
2021 Journal of Military Studies  
We conclude that it is necessary to formulate and implement some form of explicit methodology with which to span the gap between strategic visions and an effective implementation of those visions.  ...  NATO and its member nations state this vision in strategic documents at a very high level of abstraction.  ...  Acknowledgements The authors are grateful to Trude Bloebaum and the reviewers for comments that helped improve this article.  ... 
doi:10.2478/jms-2021-0001 fatcat:u7owusuqu5bqzjemqqcewbdqae

MULE-Based Wireless Sensor Networks: Probabilistic Modeling and Quantitative Analysis [chapter]

Fatemeh Kazemeyni, Einar Broch Johnsen, Olaf Owe, Ilangko Balasingham
2012 Lecture Notes in Computer Science  
The declarative model abstractly captures behavior without committing to specific transitions by means of probability distributions, whereas the operational model is given as a concrete transition system  ...  We perform statistical quantitative analysis based on repeated discrete-event simulations in Maude.  ...  We would like to thank Lucian Bentea for his contribution to this paper, and in particular for his help with the implementation.  ... 
doi:10.1007/978-3-642-30729-4_11 fatcat:ub5pmwmdwvfnhnrp2u6mhb4ycm

EXTENDING THE APPLICABILITY OF THE NEKO FRAMEWORK FOR THE VALIDATION AND VERIFICATION OF DISTRIBUTED ALGORITHMS [chapter]

LORENZO FALAI, ANDREA BONDAVALLI
2007 Software Engineering of Fault Tolerant Systems  
In this paper we present our recent work extending the applicability of a toolset for the fast prototyping, verification and quantitative validation of dependable distributed systems and algorithms.  ...  Since most of the running distributed algorithms are written in C/C++, allowing a direct analysis of C/C++ existing legacy distributed algorithms, we widely extend the applicability of Neko and improve  ...  Acknowledges We would like to thank Giuseppina Bastone for her work, made during her master thesis, on the integration of C/C++ code in Neko/NekoStat, and Martina Albini and Vania Guarnieri, for their  ... 
doi:10.1142/9789812778864_0010 fatcat:2rsssvh3i5dhpknjn3iuiankly
« Previous Showing results 1 — 15 out of 184,924 results