A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Filters
Automatic adaptor synthesis for protocol transformation
[article]
2014
arXiv
pre-print
Preserved Fulltext
for the set of components. ...
We address these problems enhancing our architectural approach which allows for detection and recovery of integration mismatches by synthesizing a suitable coordinator. ...
This graph is obtained by filtering the LTS specification of K1. This is done by using the algorithm formalized in [2] . ...
arXiv:1412.0527v1
fatcat:ngy2ndodqzg7hjwlm5dooeoeam
Foundations and Tools for End-User Architecting
[chapter]
2012
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Other Versions
Creating such compositions today typically requires low-level technical expertise, limiting the use of computational methods and increasing the cost of using them. ...
Drawing on the rich heritage of software architecture languages, methods, and tools, we show how those techniques can be adapted to support end users in composing rich computational systems through domain-specific ...
Acknowledgments This work was supported in part by the Office of Naval Research grant ONR-N000140811223, and the Center for Computational Analysis of Social and Organizational Systems (CA-SOS). ...
doi:10.1007/978-3-642-34059-8_9
fatcat:rp6xrxi6x5he5jug6fqrh7plkq
Practical, Formal Synthesis and Automatic Enforcement of Security Policies for Android
2016
2016 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The approach, realized in a tool, called SEPAR, combines static analysis with lightweight formal methods to automatically infer security-relevant properties from a bundle of apps. ...
As the dominant mobile computing platform, Android has become a prime target for cyber-security attacks. ...
To the best of our knowledge, SEPAR is the first formally-precise technique for automated synthesis and dynamic enforcement of Android security policies.
IX. ...
doi:10.1109/dsn.2016.53
dblp:conf/dsn/BagheriSBM16
fatcat:q4rqzejtmva45lcpl3sk475jwu
AVANTE: An architecture of CORBA components and XML Metadata for Web Based Instruction
2002
CLEI Electronic Journal
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
A filter-mapping service in the Presentation layer produces the dynamic HTML web pages needed for user interaction, processing these XML descriptions by applying one or more previously defined XSL stylesheets ...
The AVANTE Architecture is a WBI environment assembled using CORBA distributed components, implementing core services such as course management, user authentication, collaborative work, database access ...
The XML-XSL Filter-Mapping Component transforms this representation using associated XSL templates, and producing the instantiated data needed for the next processes. ...
doi:10.19153/cleiej.5.2.1
fatcat:7xj4pbnhprfsfdzmhydxuqwen4
Layered Connectors
[chapter]
2014
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
We provide formal semantics of layered connectors and present an approach for the synthesis of layered connectors in order to enable the dynamic composition of highly heterogeneous components. ...
In this paper, we propose a formal approach to represent and reason about interactions between components using layered connectors. ...
Formal Basis of Architectural Connection. ...
doi:10.1007/978-3-319-09970-5_25
fatcat:vybopz5egjbovhdbo3qmgemlte
On Enabling Dependability Assurance in Heterogeneous Networks through Automated Model-Based Analysis
[chapter]
2011
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2014; you can also visit the original URL.
The file type is application/pdf.
The library builds on classical dependability patterns, such as majority voting and retry, and uses the concept of overlay networks for triggering the synthesis of specific dependability mechanisms in ...
We present the specification of a basic library of dependability mechanisms that can be used within automated approaches for synthesising dependable Connectors in heterogeneous networks. ...
The mechanism has been used, for instance, in [22] for defining an overlay-based architecture for enhancing the quality of service of best-effort services over the Internet. ...
doi:10.1007/978-3-642-24124-6_7
fatcat:pjjnnkecdfc3vb3tavnvpyti6y
Memory-span concepts and the synthesis of sequential machines in feedback shift-register form
1967
8th Annual Symposium on Switching and Automata Theory (SWAT 1967)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Architecture Design Register Transfer design; High-level synthesis; Architecture for low power; Architecture testing. ...
, Characteristics of commonly used Analog Filters, Some examples of Digital Filters Designs based on the Bilinear Transformation. ...
Mobile Operating Systems Operating System, PalmOS, Windows CE, Symbian OS, Linux for Mobile Devices. ...
doi:10.1109/focs.1967.19
dblp:conf/focs/Martin67
fatcat:fwn5xjv7mbcsja5xrhcmdo6ipe
On the Automated Synthesis of Enterprise Integration Patterns to Adapt Choreography-based Distributed Systems
2015
Electronic Proceedings in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2015 pre-print arXiv:1512.07682v1 fatcat:2p4q2s3nxraltjbas6w34d5jhy
In this direction, this paper leverages previous work on the automatic synthesis of choreography-based systems, and describes our preliminary steps towards exploiting Enterprise Integration Patterns to ...
A key enabler for this vision is then the ability to automatically compose and dynamically coordinate software services. ...
For instance, the use of ontological information will be indeed useful in the future since we plan to extend our method so to account also for other kinds of EIP (e.g., Message Transformation EIP like ...
doi:10.4204/eptcs.201.3
fatcat:wmhdr5rk4zcy3mbljzkaox2quu
The application of threshold logic to the design of sequential machines
1966
Annual Symposium on Switching and Automata Theory
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Digital Communication through fading multi-path channels: Characterization of fading multi-path channels, the effect of signal characteristics on the choice of a channel model, frequency-Nonselective, ...
slowly fading channel, diversity techniques for fading multi-path channels, Digital signal over a frequency-selective, slowly fading channel, coded wave forms for fading channels, multiple antenna systems ...
Speech Enhancement: Spectral subtraction & filtering, Harmonic filtering,
parametric
re-synthesis, Adaptive noise cancellation. ...
doi:10.1109/swat.1966.29
dblp:conf/focs/MastersM66
fatcat:ierxfghv4vcpbbh2iaktwfdzlm
Rigorous system design
2014
Proceedings of the 2014 ACM symposium on Principles of distributed computing - PODC '14
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
I would like to thank in particular Saddek Bensalem, Marius Bozga, Jacques Combaz, and Simon Bliudze for their contribution to the development of the BIP framework. ...
Correctness is achieved mainly by construction through extensive use of architectures and of powerful synthesis tools. ...
Component-based construction: Components are essential for enhanced productivity and correctness through reuse and architectures. ...
doi:10.1145/2611462.2611517
dblp:conf/podc/Sifakis13
fatcat:dmj4scewsrhfvf3rxbtqpeacxa
2018 Index IEEE Transactions on Computers Vol. 67
2019
IEEE transactions on computers
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
., A Faster Software Implementation of the Supersingular Isogeny Diffie-Hellman Key Exchange Protocol; 1622-1636 Feng, D., see Fu, M., TC Sept. 2018 1259-1272 Analysis ...
., þ, TC Jan. 2018 102-
114
Filtering
Principal Component Analysis Based Filtering for Scalable, High Precision
k-NN Search. ...
., þ, TC Aug. 2018 1193-1201
Estimation
Principal Component Analysis Based Filtering for Scalable, High Precision
k-NN Search. ...
doi:10.1109/tc.2018.2882120
fatcat:j2j7yw42hnghjoik2ghvqab6ti
On the architecture and development life cycle of secure cyber-physical systems
2016
Journal of Communications and Information Networks
Preserved Fulltext
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.
We provide a comprehensive survey on the domain-specific architectures, countermeasure techniques and security standards involved in the development life cycle of VHFXULW\FULWLFDO F\EHUSK\VLFDO V\VWHPV ...
Integrating security-related activities into the early phases of the development life cycle is a monolithic and cost-effective solution for the development of security-critical cyber-physical V\VWHPV 7KHVH ...
In an automotive scenario, the system architecture can be transformed to a continuous-time Markov model whose transition rates are determined by the security assessment of each component >@ . ...
doi:10.1007/bf03391576
fatcat:ykws4j5rgrcp7g53rciyqapnoi
Software architecture: a travelogue
2014
Proceedings of the on Future of Software Engineering - FOSE 2014
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Moreover, the changing face of technology raises a number of challenges for software architecture. ...
During that time there has been considerable progress in developing the technological and methodological base for treating architectural design as an engineering discipline. ...
For example, a pipe-filter style will likely apply to any system that is primarily transformational, but can be equally useful in domains such as signal processing, music synthesis, scientific workflow ...
doi:10.1145/2593882.2593886
dblp:conf/icse/Garlan14
fatcat:pxuxk3iqwbas3amxlpapfehsqu
Integrated, Reliable and Cloud-Based Personal Health Record : A Scoping Review
2016
Health Informatics - An International Journal
Preserved Fulltext
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.
Other Versions
Architecture PHR design should be in accordance to these, and take advantage of nowadays technology. ...
Information reliability is based in ABE security-privacy mechanism. Cloud-based technology access is achieved via SOA. ...
avoiding bottlenecks and enhancing security in the 1 articles were included in the final synthesis. ...
doi:10.5121/hiij.2016.5301
fatcat:ppp33rdax5f3fhohrhhm4ua4ja
Extending UML/MARTE to Support Discrete Controller Synthesis, Application to Reconfigurable Systems-on-Chip Modeling
2014
ACM Transactions on Reconfigurable Technology and Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
This article presents the first framework to design and synthesize a formal controller managing dynamic reconfiguration, using a model-driven engineering methodology based on an extension of UML/MARTE. ...
An application model of an image processing application is presented, then transformed and synthesized to be executed on a Xilinx platform to show how the controller, executed on a Microblaze, manages ...
Guillet et al. systems-is first enhanced with control information and then transformed into a synchronous specification, named BZR, to be synthesized by a formal tool (SIGALI). ...
doi:10.1145/2629628
fatcat:m3umuaz2tnhglgsad6we7bikhi
« Previous
Showing results 1 — 15 out of 7,562 results