A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Filters
Proteus: A DLT-Agnostic Emulation and Analysis Framework
2019
USENIX Security Symposium
Preserved Fulltext
Proteus is designed to support any DLT that has some form of a "transaction" and which operates on a peer-to-peer network layer. ...
This paper presents Proteus, a framework for conducting rapid, emulation-based analysis of distributed ledger technologies (DLTs) using FIREWHEEL, an orchestration tool that assists a user in building, ...
A DLT supported by Proteus is abstracted into components, which enables the same experiment scenarios to be reused with any supported DLT. ...
dblp:conf/uss/DamDCJPE19
fatcat:gh6cnwt2e5cfpd4vneef6yfoam
Proteus: Detecting Android Emulators from Instruction-Level Profiles
[chapter]
2018
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 2019; you can also visit the original URL.
The file type is application/pdf.
This work uncovers the detection methods based on discrepancies in instruction-level behavior between software-based emulators and real ARM CPUs that power the vast majority of Android devices. ...
Proteus automatically identifies the instructions that cause divergent behavior between emulated and real CPUs and, on a set of 500K test programs, identified 28K divergent instances. ...
Acknowledgements This work was supported by the Office of Naval Research under grants N00014-15-1-2948 and N00014-17-1-2011. ...
doi:10.1007/978-3-030-00470-5_1
fatcat:kszdl5ewafdwdh5wmwvmlq6yoy
XCAT-C++: Design and Performance of a Distributed CCA Framework
[chapter]
2005
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 2006; you can also visit the original URL.
The file type is application/pdf.
XCAT-C++ uses a high-performance multi-protocol library so that the appropriate communication protocol is employed for each pair of interacting components. ...
It has a suite of tools to aid application developers including a flexible code generation toolkit and a python scripting interface. ...
A central issue in any system that relies on multiple protocols is finding break-even points -to know when one method is preferable to another. ...
doi:10.1007/11602569_30
fatcat:gwkxs4alwjakfo4kimfwq5prma
Requirements for guidelines systems: implementation challenges and lessons from existing software-engineering efforts
2012
BMC Medical Informatics and Decision Making
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.
We cite previous work under each category and then provide sub-requirements under each category, and provide example of similar work in software-engineering efforts that have addressed a similar problem ...
on our own experience in the development of the Proteus guideline system (http://proteme.org). ...
These systems allow communication with external systems by a variety of methods, including ODBC and Web services (which may run on multiple hardware platforms). ...
doi:10.1186/1472-6947-12-16
pmid:22405400
pmcid:PMC3342141
fatcat:ynpbzfruwffivbbalu3du37yhq
Design and implementation issues for distributed CCA framework interoperability
2007
Concurrency and Computation
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 2008; you can also visit the original URL.
The file type is application/pdf.
Component frameworks, including those that support the Common Component Architecture (CCA), represent a promising approach to addressing this challenge, one that is being realized, for example, in our ...
We then address the communication interoperability in detail via a single multiprotocol communication library called Proteus, and discuss how we have incorporated it into two distinct distributed framework ...
a taxonomy of interoperability solution strategies. ...
doi:10.1002/cpe.1109
fatcat:cyc7yixrlng4fbhqsvcpjpv7l4
Using english to retrieve software
1995
Journal of Systems and Software
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 2008; you can also visit the original URL.
The file type is application/pdf.
This paper describes ROSA, a software reuse system based on the processing of the natural language descriptions of software artifacts. ...
Retrieval similarity measures provide good retrieval effectiveness by supporting semantic matching and processing of lexical relationships between terms. ...
PROTEUS [8] is a software reuse system that supports different classification methods for software components (simple keyword-based, faceted, enumerated graph and attribute value) in order to do a comparative ...
doi:10.1016/0164-1212(94)00137-c
fatcat:dnbnccasxrbmlff5aawcpax4y4
Supporting evolution of SDL-based systems: industrial experience
[chapter]
1996
IFIP Advances in Information and Communication Technology
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.
Stentofon, a Norwegian company producing customized internal communication systems, uses SDL and automatic code generation for software development. ...
The paper starts with a description of the approach to software development currently used at Stentofon, and highlights why evolution support is an important problem area in their product development. ...
ACKNOWLEDGMENTS The work described in this paper is carried out in the scope of PROTEUS, project number 6086 in the European Commission ESPRIT research and development programme. ...
doi:10.1007/978-0-387-34945-9_18
fatcat:s7jqyw2yirgczpqhrn5zdbbgsi
A Component Architecture for High-Performance Scientific Computing
2006
The international journal of high performance computing applications
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 2007; you can also visit the original URL.
The file type is application/pdf.
The CCA supports parallel and distributed computing as well as local high-performance connections between components in a language-independent manner. ...
The Common Component Architecture (CCA) provides a means for software developers to manage the complexity of large-scale scientific simulations and to move toward a plug-and-play environment for high-performance ...
This work has been supported in part by the U. Research at Binghamton University is sponsored by grant DE-FG02-02ER25526 from the MICS program of the U.S. Dept. of Energy, Office of Science. ...
doi:10.1177/1094342006064488
fatcat:ybzdejmep5ci7gwvpxlju4giii
PCL: a language for modelling evolving system architectures
1996
Software Engineering 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 2017; you can also visit the original URL.
The file type is application/pdf.
The paper describes a language called PCL, which has been designed to model the architecture of multiple versions of computer-based systems (system families). ...
The features of PCL are illustrated using a number of simple examples. A supporting toolset for PCL has been implemented and is briefly described. ...
PCL includes a relation definition facility which can be used to create libraries of relations that are conformant with the relations supported by different design methods. ...
doi:10.1049/sej.1996.0015
fatcat:y2ybdh3ko5fjjga4dn57ymz7jm
CScout: A refactoring browser for C
2010
Science of Computer Programming
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.
Despite its maturity and popularity, the C programming language still lacks tool support for reliably performing even simple refactoring, browsing, or analysis operations. ...
A web-based user interface provides programmers with an intuitive source code analysis and navigation front-end, while an sql-based back-end allows more complex source code analysis and manipulation. ...
Handling code reuse complications CScout handles the code reuse complications outlined in Section 2.2 by providing an integrated build system that can process multiple linkage units as a whole. ...
doi:10.1016/j.scico.2009.09.003
fatcat:4zoxnb6m7zh4dl7kp2nfuc3aru
Model-driven software development approaches in robotics research
2014
Proceedings of the 6th International Workshop on Modeling in Software Engineering - MiSE 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.
A conceptual overview of our software development approach called 'Self Adaptive Framework for Robotic Systems (SafeRobots)' is explained and we also try to position our approach within this model ecosystem ...
Recently, there is an encouraging trend in adopting modeldriven engineering approaches for software development in robotics research. ...
INTRODUCTION A robotic system is a software intensive system that is composed of distributed, heterogeneous software components interacting in a highly dynamic, uncertain environment. ...
doi:10.1145/2593770.2593781
dblp:conf/icse/RamaswamyMT14
fatcat:ghqa6xsmdfa5lh3dkxzsyjlupu
Stratego/XT 0.17. A language and toolset for program transformation
2008
Science of Computer Programming
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.
This paper gives an overview of Stratego/XT 0.17, including a description of the Stratego language and XT transformation tools; a discussion of the implementation techniques and software engineering process ...
Complete program transformation systems are composed from these components. ...
The Proteus group, led by Daniel Waddington, at Lucent Bell Labs provided us with the confidence that people can build complex transformation systems with Stratego/XT without our involvement, even before ...
doi:10.1016/j.scico.2007.11.003
fatcat:jhkofle3nneklm5miuafaicb4y
The BRICS component model
2013
Proceedings of the 28th Annual ACM Symposium on Applied Computing - SAC '13
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.
support the development and reuse of "large grained" pieces of robotics software. ...
Because robotic systems get more complex all the time, developers around the world have, during the last decade, created component-based software frameworks (Orocos, Open-RTM, ROS, OPRoS, SmartSoft) to ...
[19] , GenoM [14, 20] , SmartSoft [28] , and Proteus [16] ) to support software development and to promote reuse of "large grained" pieces of robotics software. ...
doi:10.1145/2480362.2480693
dblp:conf/sac/BruyninckxKHKGB13
fatcat:5qj35wbn5jb7ljsp6fxutw3sh4
D4.1 Definition of Architecture for Extreme-Scale Analytics
2019
Zenodo
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.
physical resources in a way that optimizes specific performance measures, (iii) providing real-time, interactive machine learning and data mining tools that can be leveraged by the designed workflows, ...
This deliverable defines the building blocks of the INFORE Architecture, their functionality and their interconnections in the scope of a holistic, pluggable, extensible INFORE framework that will evolve ...
RHEEM 10 RHEEM is a system designed to support cross-platform data processing. That is, it enables users to run data analytics over multiple data processing platforms. ...
doi:10.5281/zenodo.4034092
fatcat:g766jj6xwvesddsm3xs56l6mqq
Engineering of E-Learning Content Creation: Case Study for African Countries
2019
Zenodo
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.
It has been outlined as a blended learning program with an assessment plan that proposes face to face lessons, coaching, collaboration, multimedia and web based learning objects as well as support resources ...
Within the project developed for this study, apart from the use of structured methods, there has been a central objective: the establishment of a learning atmosphere. ...
We also thank our colleagues from our own group [GTMA -Grupo de Tecnologías Médicas y Audiovisuales], who provided insight and expertise that greatly assisted the documentation. ...
doi:10.5281/zenodo.2643712
fatcat:jc73bybbaza4poztpn3iosv3ji
« Previous
Showing results 1 — 15 out of 197 results