Institution
Telesoft Technologies
About: Telesoft Technologies is a based out in . It is known for research contribution in the topics: Asynchronous communication & The Internet. The organization has 39 authors who have published 31 publications receiving 308 citations.
Topics: Asynchronous communication, The Internet, Cellular network, Network packet, Semantics (computer science)
Papers
Book•
1 Nov 1991TL;DR: This book describes the specification, type and instance system instance behaviour system instance structure system specification structure abstract data type representation forms and the interpretation model: interpretation of a system specification interaction with the environment dynamic semantics.
Abstract: Part 1 Introduction: application area the benefits of a specification language the use of a specification language about this book. Part 2 Overview of the language: specification, type and instance system instance behaviour system instance structure system specification structure abstract data type representation forms. Part 3 Basic SDL: hierarchical specifications system specification block specification process specification extended processes (using data) process communication creating and terminating processes other SDL process concepts comment shorthands a complete SDL example. Part 4 Structural concepts: channel partitioning procedure service signal refinement. Part 5 Additional concepts: macro option signal list declaration label and join continuous signal enabling condition import/export viewing variables nondeterminism. Part 6 General lexical and syntax rules: lexical rules visibility and naming rules. Part 7 Abstract data types: partial type specifications conditional equations error inheritance generators infix operators ordering name class literal default assignment predefined sorts predefined generators. Part 8 Interpretation model: interpretation of a system specification interaction with the environment dynamic semantics. Part 9 Protocol specification with SDL: the OSI basic reference model basic approach - the vertical view of protocols alternative approach - the horizontal view of protocols the inres system generic OSI specifications.
243 citations
1 Dec 1991
TL;DR: Advanced features in the Ada language pave the way for the creation of tools which make the software developers life easier through techniques such as graphical representation of Ada designs, quick response semantic analysis, interactive cross referencing, and exhaustive path analysis.
Abstract: Advanced features in the Ada language pave the way for the creation of tools which make the software developers life easier through techniques such as graphical representation of Ada designs, quick response semantic analysis, interactive cross referencing, design validation through reverse engineering, and exhaustive path analysis. However, the complexity and potential size of Ada applications creates the problem of efficient access by such tools to the complete representation of the semantics of an Ada program.
24 citations
31 May 2021
TL;DR: In this paper, the authors present the current state of the fog computing paradigm and ways to integrate it with the IoT, and propose the architecture of fog computing platform with a description of its components.
Abstract: With the continued intensive development of applications and services within the framework of the Internet of Things (IoT) concept, as well as the expected rapid ubiquity of devices that support the 5G standard, the classic paradigm of centralized cloud computing faces a number of problems, including high latency, low capacity and network data transmission failures. To solve these problems, it is advisable to apply the fog computing paradigm, in which it is possible to ensure the initial processing and storage of IoT device data locally on the devices themselves, without the need to send them to the cloud infrastructure. At the same time, one of the main issues in the framework of the proposed solution is to ensure adequate and correct routing, as well as a system for managing it, which should allow to provide services with faster response and higher quality. This article presents the current state of the fog computing paradigm and ways to integrate it with the| IoT, and proposes the architecture of the fog computing platform with a description of its components. The issues of ensuring the correct routing and the formation of its management system are presented.
24 citations
TL;DR: This paper presents an idiom for programming mode changes and argues that this structure can be implemented efficiently.
Abstract: Mode changes are a crucial characteristic of a number of real-time systems. Ada does not easily deal with these events and hence it has been argued that language changes are required; in particular the introduction (or strictly speaking the re-introduction) of asynchronous exceptions. In this paper we present an idiom for programming mode changes. Moreover we argue that this structure can be implemented efficiently.
15 citations
01 Feb 1992-International Journal of Human-computer Studies \/ International Journal of Man-machine Studies
TL;DR: A new approach to learning diagnostic knowledge is presented, based on the use of a causal model of the domain and abductive reasoning, which serves both to focus the search during one-step learning and to localize failures and propose changes during knowledge refinement.
Abstract: This paper presents a new approach to learning diagnostic knowledge, based on the use of a causal model of the domain and abductive reasoning. Justifications supplied by the casual model serve both to focus the search during one-step learning and to localize failures and propose changes during knowledge refinement.
10 citations
Authors
Showing all 39 results
| Name | H-index | Papers | Citations |
|---|---|---|---|
| Mats Brorsson | 17 | 102 | 1174 |
| Thomas J. Quiggle | 5 | 10 | 170 |
| Ferenc Belina | 4 | 4 | 610 |
| Ivan Kruzela | 2 | 2 | 11 |
| Kenneth L. Bowles | 1 | 1 | 4 |
| James B. Bladen | 1 | 2 | 25 |
| Jack H. Schwartz | 1 | 1 | 1 |
| Massimo Annunziata | 1 | 3 | 5 |
| M. Annunziata | 1 | 1 | 1 |
| John Allen | 1 | 1 | 5 |
| S. Allegra | 1 | 1 | 1 |
| Steven J. Blake | 1 | 2 | 25 |
| Stefan Björnson | 1 | 1 | 1 |
| G. P. Heliades | 1 | 1 | 4 |
| M. Mora | 1 | 1 | 5 |
Related Institutes (5)
Performance Metrics
| Year | Papers |
|---|---|
| 2021 | 1 |
| 2015 | 1 |
| 2000 | 2 |
| 1999 | 1 |
| 1996 | 1 |
| 1994 | 1 |