Filters








13 Hits in 6.3 sec

Formal verification of SDL systems at the siemens mobile phone department [chapter]

Franz Regensburger, Aenne Barnard
1998 Lecture Notes in Computer Science  
In this paper we present the multi process verification of SDL systems at the Siemens mobile phone department.  ...  The formal verification is efficiently performed by the model checker tool SVE that is developed at Siemens, too.  ...  Supported Sub-Language of SDL At the mobile phone department at Siemens formal verification is used in the early design phase of a protocol.  ... 
doi:10.1007/bfb0054188 fatcat:obu43cq6vjapzf5dwq2hvia6v4

Open learning in the African context: challenges and possibilities for self-directed learning [article]

M. Letseka
2021 Zenodo  
The chapter argues that SDL and ODL are pertinent modes of delivering teaching and learning in times of global crises such as the current COVID-19  ...  Based on the ODL experiences, the chapter argues that ODL is a student-centered mode of delivery.  ...  The aim of this study is to gauge students' experience of self-directed learning* at the lower/upper secondary level.  ... 
doi:10.5281/zenodo.5647852 fatcat:vicfudh4bfbkfdp7ndzsw7cofm

What Industry Needs from Architectural Languages: A Survey

Ivano Malavolta, Patricia Lago, Henry Muccini, Patrizio Pelliccione, Antony Tang
2013 IEEE Transactions on Software Engineering  
of from academic research; (c) more formality and better usability are required of an architectural language. !  ...  We use the AL term for the sake of clarity, since in the last decades several different definitions of the ADL term have been proposed.  ...  us valuable feedbacks on the design of the questionnaire.  ... 
doi:10.1109/tse.2012.74 fatcat:nicuicxvazcmrdpikkxc3itwwq

Synchronous Langauges

Willem-Paul De Roever, Nicolas Halbwachs, Verimag Grenoble, France
unpublished
(LeGuernic, Benveniste), and Statecharts (Harel, Pnueli), and were applied to the design of control of (real-time) embedded systems.  ...  A number of researchers, e.g., at the Signal Laboratory of IRISIA at Rennes, and in several European consortia suggested by the Common Market, are investigating how to combine the synchronous approach  ...  Verification of Embedded Systems: SafeAir Achievements Klaus Winkelmann Siemens AG, Germany The IST project "SafeAir" aims at an Avionics System Design Environment (ASDE) based on formal specification,  ... 
fatcat:iabt6zxt4jhgnafanqypju5mke

Tagungsband Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme 2005

Torsten Klein, Bernhard Rumpe, Bernhard Schätz
2005
Die modellbasierte Entwicklung eingebetteter, softwarebasierter Systeme beruht auf der anwendungsorientierten Modellierung der zu realisierenden Systeme sowohl unter Nutzung von Standardsprachen, wie der  ...  Acknowledgements Thanks to Florian Klein for his comments on an earlier version of this position paper.  ...  approach to implement component/container infrastructures in the automotive and mobile phone domains.  ... 
doi:10.4230/dagsemproc.05022.1 fatcat:cf66dr7dsfd7rj7tsatb4jiuo4

ICNS 2014 Committee ICNS Advisory Chairs

France Chamonix, Tao Zheng, Pedro Andrés, Aranda Gutiérrez, Telefónica I+d -Madrid, Spain Carlos, Becker Westphall, Abdulrahman Yarali, Emmanuel Bertin, Rui Aguiar, Iain Murray, Pedro Andrés (+165 others)
ICNS 2014 The Tenth International Conference on Networking and Services Foreword The Tenth International Conference on Networking and Services   unpublished
At the same time IPv6 technology continues to evolve beyond IPv4 capabilities.  ...  Parameters such as packet reordering, delay, jitter and loss that characterize the delivery of packet streams are at times highly correlated.  ...  Acknowledgment Our technique to measure latency was inspired by [17], but adapted to the tools offered by GStreamer. Acknowledgments  ... 
fatcat:odq26lgfineyjbq5asllvoyzey

Software Service Composition in Next Generation Networking Environments

Carsten Bether, Technische Universität Berlin, Technische Universität Berlin, Sahin Albayrak
2008
and agility needed in the provision of telecommunication services.  ...  At the same time, software engineering tends to implement flexible software solutions using Service-Oriented Architectures (SOA).  ...  The IP phones are standard Siemens Gigaset A140 DECT phones, connected to the IP network over a SIPURA SPA-2000 VoIP adapter.  ... 
doi:10.14279/depositonce-2034 fatcat:joxniwy54rcxrnh7kwaa7ilrke

BUDGETING PROCESS IN THE BUSINESS ENVIRONMENT

Jiří Dokulil
2016 12th Annual International Bata Conference   unpublished
The Neural network is a means of imitating the capabilities of neurons of the human brain's ability to model the course of dependencies between individual indicators and results.  ...  Acknowledgment The authors are thankful to the Internal Grant Agency of FaME TBU project called " The concept of cluster policy impact on the emergence and viability of cluster organizations", Acknowledgement  ...  Mobile Phone Subscribers Sri Lanka Sri Lanka is an island located in the Indian Ocean occupying approximately 65,600 Km 2 .  ... 
doi:10.7441/dokbat.2016.11 fatcat:lyhzsf2eafb77jfncimqhhuxo4

E-Learning Delivery in Saudi Arabian Universities [article]

Eman Walabe, University, My, University, My
2020
The advanced findings revealed how the recent integration of a blended learning model has helped to contribute to a shift in the Saudi distance education system, as it moves from a teacher-centered approach  ...  By using a multiple case studies approach, this study aimed to understand the opportunities and challenges faced in the development of online learning environments at Saudi universities from an ethical  ...  For example, Participant #26 noted that "today, the young generation is using mobile phones, iPads and a lot of other devices. They don't need any help with that."  ... 
doi:10.20381/ruor-24303 fatcat:mrnrohgfdzeblhka6ngms6icqy

Examining the existing reality of using social media as e-learning tools at an Emerging University in Saudi Arabia from the viewpoint of tutors and students

Omar Abdullah Alshehri
2021
The findings reveal that the students and tutors who participated in this study had positive perceptions of the use of social media in education.  ...  This study examines dimensions of the reality of social media use in an EU in Saudi Arabia in order to provide a new understanding that supports the effective integration of these tools in higher education  ...  The KSA is home to 14.7 million mobile users, a number that makes their rate of mobile phone penetration the highest in the world.  ... 
doi:10.5525/gla.thesis.82056 fatcat:annswdtcnnfexmxl7ftgnkhalu

8 th International Configuration Workshop Chairs Special Thanks

Paul, Mines Albi, France
Proceedings of the 18 th International Configuration Workshop   unpublished
Andreas FALKNER from Siemens AG, Vienna, Austria for his constructive comments and suggestions which helped improve both the quality and presentation of the earlier versions of the paper.  ...  social software applications both via mobile phone or personal computer.  ...  http://www.minizinc.org17 The MiniZinc models and data can be found at https://github. com/siemens/OOCSP.  ... 
fatcat:g3xtv4zjwvdodbtbdd2gnzjt24

Audiovisual translation in education towards a universal design for accessible online content

Emmanouela Patiniotaki, Jorge Díaz-Cintas, Onassis Foundation
2020
The aim of this research project is to investigate the current role and the potential of Audiovisual Translation in online education environments for the purpose of enhancing accessibility for adult learners  ...  The research also includes an investigation of the way in which a sample of universities around the world provide accessible education and online learning, the role of audiovisual content and translation  ...  We simply prepare the video with no additional services 10. We do not use any of the above  ... 
doi:10.25560/84551 fatcat:j5sdmzwv7rh5hexefhbi35pzdm

AIUCD2019 - Book of Abstracts

Stefano Allegrezza
2019
, conservation and research" is supported by the program of applied research and development of national and cultural identity (NAKI) of the Ministry of Culture of the Czech Republicgrant No.  ...  ACKNOWLEDGMENTS Thanks to Giacomo Paolicchi, conservator of the "Giovanni Podenzana" Ethnographic Civic Museum and Marzia Ratti, director of museums and cultural services, Municipality of La Spezia.  ...  STATE OF THE ART If we take as a starting point the mass diffusion of the Web in the mid-1990 (and mobile phones, although they were not yet smartphones), we see that by now digital natives have reached  ... 
doi:10.6092/unibo/amsacta/6361 fatcat:ojvohb3xtvfklkxl2cxethfpmy