197 Hits in 5.4 sec

Proteus: A DLT-Agnostic Emulation and Analysis Framework

Russell Van Dam, Thien-Nam Dinh, Christopher Cordi, Gregory Jacobus, Nicholas D. Pattengale, Steven Elliott
2019 USENIX Security Symposium  
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]

Onur Sahin, Ayse K. Coskun, Manuel Egele
2018 Lecture Notes in Computer Science  
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]

Madhusudhan Govindaraju, Michael R. Head, Kenneth Chiu
2005 Lecture Notes in Computer Science  
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

Hemant Shah, Raymond D Allard, Robert Enberg, Ganesh Krishnan, Patricia Williams, Prakash M Nadkarni
2012 BMC Medical Informatics and Decision Making  
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 (  ...  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

Madhusudhan Govindaraju, Michael J. Lewis, Kenneth Chiu
2007 Concurrency and Computation  
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

M.R. Girardi, B. Ibrahim
1995 Journal of Systems and Software  
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]

B. Gulla, J. Gorman
1996 IFIP Advances in Information and Communication Technology  
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

David E. Bernholdt, Benjamin A. Allan, Robert Armstrong, Felipe Bertrand, Kenneth Chiu, Tamara L. Dahlgren, Kostadin Damevski, Wael R. Elwasif, Thomas G. W. Epperly, Madhusudhan Govindaraju, Daniel S. Katz, James A. Kohl (+14 others)
2006 The international journal of high performance computing applications  
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

Ian Sommerville, Graham Dean
1996 Software Engineering Journal  
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

Diomidis Spinellis
2010 Science of Computer Programming  
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

Arunkumar Ramaswamy, Bruno Monsuez, Adriana Tapus
2014 Proceedings of the 6th International Workshop on Modeling in Software Engineering - MiSE 2014  
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

Martin Bravenboer, Karl Trygve Kalleberg, Rob Vermaas, Eelco Visser
2008 Science of Computer Programming  
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

Herman Bruyninckx, Markus Klotzbücher, Nico Hochgeschwender, Gerhard Kraetzschmar, Luca Gherardi, Davide Brugali
2013 Proceedings of the 28th Annual ACM Symposium on Applied Computing - SAC '13  
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

Project Consortium Members
2019 Zenodo  
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

María-Dolores Afonso-Suárez, Nayra Pumar-Carreras, Juan Ruiz-Alzola
2019 Zenodo  
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