A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf
.
Filters
QoS Analysis of Real-Time Distributed Systems Based on Hybrid Analysis of Probabilistic Model Checking Technique and Simulation
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
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
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
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
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
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
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
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
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]
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
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
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
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
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
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