Filters








37,694 Hits in 9.0 sec

QoS Analysis of Real-Time Distributed Systems Based on Hybrid Analysis of Probabilistic Model Checking Technique and Simulation

Takeshi NAGAOKA, Akihiko ITO, Kozo OKANO, Shinji KUSUMOTO
2011 IEICE transactions on information and systems  
We apply a hybrid analysis approach onto real-time distributed systems.  ...  Probabilistic model checking can evaluate performance, dependability and stability of information processing systems with random behaviors.  ...  Acknowledgments This work is being conducted as a part of Stage Project, the Development of Next Generation IT Infrastructure, supported by Ministry of Education, Culture, Sports, Science and Technology  ... 
doi:10.1587/transinf.e94.d.958 fatcat:77t7hb5hmrcjzhz6l57vujuxou

A MODEL VISION OF SORTING SYSTEM APPLICATION USING ROBOTIC MANIPULATOR

Arko Djajadi, Fiona Laoda, Rusman Rusyadi, Tutuko Prajogo, Maralo Sinaga
2010 TELKOMNIKA (Telecommunication Computing Electronics and Control)  
This paper presents a mechatronics color sorting system solution with the application of image processing.  ...  The real challenge is how to improve existing sorting system in the Moduler Processing System (MPS) laboratirium which consists of four integrated stations of distribution, testing, processing and handling  ...  Marks are defined in the pallet to classify ISSN: 1693-6930 ■ A Model Vision of Sorting System Application Using Robotic Manipulator (Arko Djajadi) 143 Figure 10 . 10 There are two main modes of experiments  ... 
doi:10.12928/telkomnika.v8i2.615 fatcat:qqe7uqngyjekja5pesfyvuqzny

Consideration of the Aspects of the Transportation Systems Microscopic Model Application as Part of a Decision Support System

Elena Yurshevich, Irina Yatskiv
2012 Transport and Telecommunication  
In this paper the methodological aspects of MM application as a part of the model-driven DSS are considered.  ...  The attention is paid on the requirements formulation to the data needed for microscopic model application; the supporting of data credibility needed for the microscopic model application as a part of  ...  Project Nr. 2009/0159/1DP/1.1.2.1.2/09/IPIA/VIAA/006 (The Support in Realization of the Doctoral Programme "Telematics and Logistics" of the Transport and Telecommunication Institute).  ... 
doi:10.2478/v10244-012-0017-5 fatcat:clupfz4k7bdkdnz44de57eivoi

Developing wireless sensor network applications in a virtual environment

Nicholas M. Boers, Paweł Gburzyński, Ioanis Nikolaidis, Włodek Olesiński
2010 Telecommunications Systems  
As implied by the holistic nature of the discussed system, our work touches upon operating systems, simulation, network protocols, real-time systems, and programming methodology.  ...  Its role is to provide a vehicle for the authoritative emulation of complete networked applications before physically deploying any wireless nodes.  ...  Acknowledgements The authors would like to thank the Natural Sciences and Engineering Research Council (NSERC) and the Informatics Circle of Research Excellence (iCORE) for helping fund this work.  ... 
doi:10.1007/s11235-009-9246-x fatcat:nidejth74beyzp3lrmq2jdtgj4

Modeling and verification of a telecommunication application using live sequence charts and the Play-Engine tool

Pierre Combes, David Harel, Hillel Kugler
2008 Journal of Software and Systems Modeling  
We apply the language of live sequence charts (LSCs) and the Play-Engine tool to a real-world complex telecommunication service.  ...  The complexity of such applications stems from their distributed architecture, the various time constraints they entail, and the fact the underlying systems are rapidly evolving, introducing new components  ...  The majority of these components is embedded in a large and complex architecture which involves hard and soft real-time constraints and requirements.  ... 
doi:10.1007/s10270-007-0069-5 fatcat:52iw63tycbglhptnhgkmdy2eey

A framework for evaluating specification methods for reactive systems-experience report

M.A. Ardis, J.A. Chaves, L.J. Jagadeesan, P. Mataga, C. Puchol, M.G. Staskauskas, J. Von Olnhausen
1996 IEEE Transactions on Software Engineering  
system.  ...  We argue that the evaluation of a method must take into account not only academic concerns, but also the maturity of the method, its compatibility with the The author was supported by a Fulbright fellowship  ...  Acknowledgements It is a pleasure to acknowledge the help of our colleagues Bill Bielawski, Peter Fales, and Dave Furchtgott who introduced us to APS and Douglas Stuart, who helped with one of the formalisms  ... 
doi:10.1109/32.508312 fatcat:ddzfqvhyi5dydaw5wcncxlhwta

A Framework for Quality-Driven Delivery in Distributed Multimedia Systems

B. Kerherve, K.K. Nguyen, O. Gerbe, B. Jaumard
2006 Advanced Int'l Conference on Telecommunications and Int'l Conference on Internet and Web Applications and Services (AICT-ICIW'06)  
Quality-driven delivery refers to the capacity of a system to deliver documents, or more generally objects, while considering the users expectations in terms of non-functional requirements.  ...  QoS information models and metamodels are used during different QoS activities for mapping requirements to system constraints, for exchanging QoS information, for checking compatibility between QoS information  ...  pre-defined working conditions, or within relatively stable states of a real system.  ... 
doi:10.1109/aict-iciw.2006.14 dblp:conf/aict/KerherveNGJ06 fatcat:2j7gz6eynbfv3il3m5yv4ldk5i

A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks

Yannick Pencolé, Marie-Odile Cordier
2005 Artificial Intelligence  
This paper finally describes the use of this framework in the monitoring of a real telecommunication network.  ...  Model-based diagnosis approaches deal with this problem but, apart very recent proposals, either they require the computation of a global model of the system which is not possible with large discrete event  ...  Section 9 presents some results relying on a real case of telecommunication network.  ... 
doi:10.1016/j.artint.2005.01.002 fatcat:mkqfv737onczllzep7qcbd4yxi

Component and Connector Views in Practice: An Experience Report

Vincent Bertram, Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe, Michael von Wenckstern
2017 2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS)  
We describe our experience in detail and discuss a list of lessons we have learned, including, e.g., a missing abstraction concept in C&C models and C&C views that we have identified and added to the views  ...  of systems engineers that the use of C&C views could address, and what are some of the technical obstacles in bringing C&C views to the hands of systems engineers.  ...  Acknowledgments This research was supported by a Grant from the GIF, the German-Israeli Foundation for Scientific Research and Development.  ... 
doi:10.1109/models.2017.29 dblp:conf/models/BertramMRRW17 fatcat:wfai7bcl6zft5d25qxmtkopupa

Automatically Analyzing Software Processes: Experience Report [chapter]

Rodion M. Podorozhny, Dewayne E. Perry, Leon J. Osterweil
2006 Lecture Notes in Computer Science  
The paper describes our experience using our analysis system and its application to a logistics software process from the telecommunication domain.  ...  modeling the processes.  ...  In this paper we describe our experience analyzing and comparing two versions of a telecommunications logistics process, what results we get from the process analysis, how our system compares to other  ... 
doi:10.1007/11608035_39 fatcat:oew2bgxsbrf7tmlkdytibn65g4

RER: a real time energy efficient routing protocol for query-based applications in wireless sensor networks

Ehsan Ahvar, Gyu Myoung Lee, Noel Crespi, Shohreh Ahvar
2015 Telecommunications Systems  
while supporting a soft real time packet delivery.  ...  This paper proposes a Real time Energy efficient Routing(RER) protocol for query-based applications in WSNs, which offers an efficient trade-off between traditional energy balancing and energy saving objectives  ...  Acknowledgements This work was supported by the EU ITEA 2 Project: 11012 "ICARE: Innovative Cloud Architecture for Real Entertainment".  ... 
doi:10.1007/s11235-015-0072-z fatcat:2voq5uc7erd6litxvutosaikte

Model-Based Probabilistic Reasoning for Self-Diagnosis of Telecommunication Networks: Application to a GPON-FTTH Access Network

S. R. Tembo, S. Vaton, J. L. Courant, S. Gosselin, M. Beuvelot
2016 Journal of Network and Systems Management  
Model-based probabilistic reasoning for self-diagnosis of telecommunication networks: application to a GPON-FTTH access network.  ...  We also explain in this section why and how a probabilistic model-based approach improves self-diagnosis of telecommunication networks compared to expert systems.  ...  An interesting perspective of this work would to automatically fully adjust the entire expert probabilistic model (dependencies and parameters) with the aim to further improve diagnostic results.  ... 
doi:10.1007/s10922-016-9401-0 fatcat:s6cnvyryibgpdjsxtpaavg2awi

Improving the Performance of Passive Network Monitoring Applications using Locality Buffering

A. Papadogiannakis, D. Antoniades, M. Polychronakis, E. P. Markatos
2007 Proceedings of the ... International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems  
In this paper, we present a novel approach for improving the performance of a large class of CPU and memory intensive passive network monitoring applications, such as intrusion detection systems, traffic  ...  Our experimental evaluation shows that locality buffering improves significantly the performance of popular applications, such as the Snort IDS, which exhibits a 40% increase in the packet processing throughput  ...  However, we also briefly report our experiences with Fprobe and Appmon. A.  ... 
doi:10.1109/mascots.2007.28 dblp:conf/mascots/PapadogiannakisAPM07 fatcat:jhh77eadazfsfgu23hw7hs7kju

Rejection techniques for digit recognition in telecommunication applications

L. Villarrubia, A. Acero
1993 IEEE International Conference on Acoustics Speech and Signal Processing  
The baseline keyword recognition system is a speaker-independent continuous density Hidden Markov Model recognizer.  ...  to the a priori probabilities of keywordhon-keyword and the requirements of the specific application.  ...  ACKNOWLEDGMENTS We owe gratitude to Daniel Tapias ,Carlos Crespo and Celinda de la Torre for their help with the HMM system.  ... 
doi:10.1109/icassp.1993.319339 dblp:conf/icassp/VillarrubiaA93 fatcat:2dxeruq4nbgv3ae6yzfpms6gdu

A Big Data Application for Low Emission Heavy Duty Vehicles

Nikos Dimokas, Dimitris Margaritis, Manuel Gaetani, Kerem Koprubasi, Evangelos Bekiaris
2020 Transport and Telecommunication  
The paper introduces a big data system architecture that provides an on-demand route optimization service reducing NOx emissions of heavy-duty vehicles.  ...  The reduction of fuel consumption and CO2 emissions have worked on light-duty vehicles.  ...  This paper is a revised and expanded version of the paper "A Cloud-Based Big Data Architecture for an Intelligent Green Truck" presented at the 5 th Conference on Sustainable Urban Mobility, Greece, June  ... 
doi:10.2478/ttj-2020-0021 fatcat:punb4rs2rzg4jdmyq3sgn2gpma
« Previous Showing results 1 — 15 out of 37,694 results