Architecture for software-assisted quantity calculus
نویسندگان
چکیده
منابع مشابه
A Software Architecture for Network-Assisted Handover in IEEE 802.21
The IEEE 802.21 is a recent standard for enabling handover in heterogeneous wireless networks, which defines protocols and messages for mobile-to-node and node-tonode communication in a technology-neutral and flexible manner. The need arises because of the widespread diffusion of different technologies for wireless communications (e.g., WiFi, WiMAX, LTE), which are often coexisting in the same ...
متن کاملA Framework for Machine-Assisted Software Architecture Validation
In this thesis we propose a formal framework for specifying and validating properties of software system architectures. The framework is founded on a model of software architecture description languages (ADLs) and uses a theorem-proving based approach to formally and mechanically establish properties of architectures. Our approach allows models defined using existing ADLs to be validated agains...
متن کاملSoftware Architecture Specification with π - calculus ∗ Carlos Canal Ernesto Pimentel
The application of formal methods to the development of software depends on the availability of adequate models and formalisms for each of the levels of the development process. In this paper we focus in the level of design called Software Architecture. At this level, the system is described as a collection of interrelated components. Process algebras, such as Milner’s π-calculus seem to be a g...
متن کاملQuality-Quantity Paradigm in Assisted Instruction
The purpose of this article is to introduce and develop an approach educational research oriented, in order to integrate assisted instruction in assisted didactics design, based on a quality-quantity paradigm. In this context, the analysis focuses on a methodological approach, permanently reframed by the conceptual, analytical and theoretical updated frameworks. This manner reflects the version...
متن کاملSoftware Architecture for Immersipresence
Immersive, interactive applications grouped under the concept of Immersipresence require on-line processing and mixing of multimedia data streams and structures. One critical issue seldom addressed is the integration of different solutions to technical challenges, developed independently in separate fields, into working systems, that operate under hard performance constraints. In order to reali...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Computer Standards & Interfaces
سال: 2018
ISSN: 0920-5489
DOI: 10.1016/j.csi.2017.10.002