Filters








401 Hits in 4.1 sec

The framework of selective interleaving functions and the modular assembly kit

Heiko Mantel
2005 Proceedings of the 2005 ACM workshop on Formal methods in security engineering - FMSE '05  
The Framework of Selective Interleaving Functions and the Modular Assembly Kit for Security Properties both provide a basis for the uniform representation and formal analysis of noninterference-like properties  ...  Our main result is that each property that can be represented in the Framework of Selective Interleaving Functions can also be represented in the assembly kit.  ...  CONCLUSION In this article, we clarified the relationship between the Framework of Selective Interleaving Functions [19, 20] and the Modular Assembly Kit for Security Properties [11, 14, 15] .  ... 
doi:10.1145/1103576.1103584 dblp:conf/ccs/Mantel05 fatcat:bctps5ifuveypimrvuqeswwnn4

Livecoding the SynthKit: Little Bits as an Embodied Programming Language

James Noble
2014 2014 Second IEEE Working Conference on Software Visualization  
littleBits (littleBits.cc) is an open-source hardware library of pre-assembled analogue components that can be easily assembled into circuits, disassembled, reassembled, and re-used.  ...  We describe how littleBits' liveness, embodiment, and plasticity assists both learning and debugging, and then evaluate littleBits configurations according to the cognitive dimensions of notations.  ...  ACKNOWLEDGEMENTS Thanks to Chris Wilson, for being the other half of Selective Yellow. Thanks to the anonymous reviewers for their comments.  ... 
doi:10.1109/vissoft.2014.16 dblp:conf/vissoft/Noble14 fatcat:o36fhkwtuff5lbkt6uhvbzthmm

Peptoids at the 7th Summit: Toward macromolecular systems engineering

K. Eric Drexler
2011 Biopolymers  
Assembly directed by cooperative pairwise binding between sequences of side-chains provides the basis for the regularity, scalability, and modularity of structural DNA nanotechnology.  ...  constraints on the geometry and functionality of higher-order structures. 31 Encoding Folding and Self-Assembly Strategies for atomically precise self assembly begin with control of covalent structure  ... 
doi:10.1002/bip.21623 pmid:22180902 fatcat:qik2eyje2vhodd4js67px3cy4i

A Modular Framework for Distributed VR Interaction Processing [article]

Ingo Assenmacher, Bruno Raffin
2009 ICAT-EGVE 2014 - International Conference on Artificial Reality and Telexistence and Eurographics Symposium on Virtual Environments  
Interactions are a key part of Virtual Reality systems and can lead to complex software assembly for multi-modal and multi-site collaborative environments.  ...  This is even harder, when each participant is interacting in the same virtual world by very different hardware and software capabilities.  ...  The motivation is to simplify the incorporation of new user modules and functionality in the collaborative environment.  ... 
doi:10.2312/egve/jvrc09/105-108 fatcat:xkfn2pfavfglhllm77gkqfbtae

Clean-Slate Development of Certified OS Kernels

Zhong Shao
2015 Proceedings of the 2015 Conference on Certified Programs and Proofs - CPP '15  
We advocate a modular certification framework for kernel components, which mirrors and enhances the modularity of the kernel itself.  ...  The rich meta-logic enables us to verify all kinds of low-level assembly and C code [10, 28, 31, 44, 68, 77, 98] and to establish dependability claims ranging from simple safety properties to advanced  ...  The seL4 kernel consists of 8700 lines of C and 600 lines of assembler.  ... 
doi:10.1145/2676724.2693180 dblp:conf/cpp/Shao15 fatcat:ffiwrhqsdnbcflselj27eevbre

Assembly Operations Aided by Augmented Reality: An Endeavour toward a Comparative Analysis

Fernando Suárez-Warden, Eduardo González Mendívil, Ciro A. Rodríguez, Salvador Garcia-Lumbreras
2015 Procedia Computer Science  
Scenarios are focused on assessing an AR request, by stating a confrontation of declarations about assembly time and comparisons respect to outstanding authors who conduct assembly operations.  ...  where the situation with limited number of tries has compelled to recognize that variations exist depending on test conditions.  ...  Acknowledgements The authors want to acknowledge the support of the Research Group in Intelligent Machines from Tecnológico de Monterrey and SEMARA project in collaboration with Universitat Politécnica  ... 
doi:10.1016/j.procs.2015.12.249 fatcat:f3flq3k23zdg7cqs27g4725ufm

Structural Architecture of Prothrombin in Solution Revealed by Single Molecule Spectroscopy

Nicola Pozzi, Dominika Bystranowska, Xiaobing Zuo, Enrico Di Cera
2016 Journal of Biological Chemistry  
The coagulation factor prothrombin has a complex spatial organization of its modular assembly that comprises the N-terminal Gla domain, kringle-1, kringle-2, and the C-terminal protease domain connected  ...  Here we use single molecule Förster resonance energy transfer to access the conformational landscape of prothrombin in solution and uncover structural features of functional significance that extend recent  ...  The results broaden our understanding of this important coagulation factor in ways that benefit the study of other zymogens with modular assembly.  ... 
doi:10.1074/jbc.m116.738310 pmid:27435675 pmcid:PMC5000060 fatcat:th2n3otjwffjhbn77l6fgrbd4y

Spiral in scala

Georg Ofenbeck, Tiark Rompf, Alen Stojanov, Martin Odersky, Markus Püschel
2013 Proceedings of the 12th international conference on Generative programming: concepts & experiences - GPCE '13  
As a case study, we implement a small, but representative subset of Spiral in Scala using the Lightweight Modular Staging (LMS) framework.  ...  to select the best-performing alternative.  ...  Coupled with selective staging of loops, this directly leads to an arguably elegant and modular implementation of various loop unrolling and scalar replacement schemes. • We pushed the LMS framework beyond  ... 
doi:10.1145/2517208.2517228 dblp:conf/gpce/OfenbeckRSOP13 fatcat:buvxb5h6qjdfbfmjtenq2luxgq

Formal verification of Intelligent Mechatronic Systems with decentralized control logic

Sandeep Patil, Valeriy Vyatkin, Majid Sorouri
2012 Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation (ETFA 2012)  
A multi closed loop model of Plant and Controller is used and controller is extensively verified for safety, liveliness and functional properties of the robot.  ...  Net Condition Event Systems formalism (a modular extension of Petri net) is used to model the decentralized control logic and discrete-state dynamics of the plant.  ...  In fact IEC 61499 automation tools such as NxtSTUDIO®1. 5 [8], ISaGRAF [9] and Function Block Development Kit (FBDK) [10] support visual simulation for the reason of testing.  ... 
doi:10.1109/etfa.2012.6489678 dblp:conf/etfa/PatilVS12 fatcat:smadbhrn4bgcfeup4nkakbpjiq

Fast Elliptic-Curve Cryptography on the Cell Broadband Engine [chapter]

Neil Costigan, Peter Schwabe
2009 Lecture Notes in Computer Science  
Algorithm 3 Structure of the modular reduction Carry from r20 to r21, from r24 to r25, from r28 to r29 and from r32 to r33 Carry from r21 to r22, from r25 to r26, from r29 to r30 and from r33 to r34 Carry  ...  Comparison with implementations of the same function for other architectures shows that the Cell Broadband Engine is competitive in terms of cost-performance ratio to other recent processors such as the  ...  of the code on assembly level.  ... 
doi:10.1007/978-3-642-02384-2_23 fatcat:t7327wlrs5ckje46twp2cdcgfe

A Self-Assisting Protein Folding Model for Teaching Structural Molecular Biology

Jodi Davenport, Michael Pique, Elizabeth Getzoff, Jon Huntoon, Adam Gardner, Arthur Olson
2017 Structure  
Graphical Abstract Highlights d A new self-assisting physical assembly kit of protein backbone structure is described d The model demonstrates emergent properties during the formation of protein structure  ...  With this model we have produced a polypeptide assembly kit to create an idealized model of the Triosephosphate isomerase mutase enzyme (TIM), which forms a structure known as TIM barrel.  ...  The modular polypeptide molecular models described here have numerous advantages over existing ball-and-stick model kits that are currently used for in many science courses.  ... 
doi:10.1016/j.str.2017.03.001 pmid:28380340 pmcid:PMC5490835 fatcat:jbwzxvbukjd4fjajqkft75uvb4

The Infrared Imaging Spectrograph (IRIS) for TMT: final software design update [article]

Edward L. Chapin, Jennifer Dunn, Takashi Nakamoto, Jiman Simon Sohn, Arun Surya, Chris Johnson, Shelley Wright, Andrea Zonca, David Andersen, Eric Chisholm, Kim Gillies, Yutaka Hayano (+4 others)
2021 arXiv   pre-print
The overall architecture and philosophy of the IRIS software is presented, as well as a summary of the individual software components and their interactions with other systems.  ...  TMT Common Software (CSW), which provides framework code (Java/Scala), and services (e.g., commands, telemetry).  ...  , the Department of Science and Technology of India and their supported institutes, and the National Research Council of Canada.  ... 
arXiv:2108.06427v1 fatcat:6x2trzc5fvfjpb6z2vwhyxgbv4

Athena: Constructing Dialogues Dynamically with Discourse Constraints [article]

Vrindavan Harrison, Juraj Juraska, Wen Cui, Lena Reed, Kevin K. Bowden, Jiaqi Wu, Brian Schwarzmann, Abteen Ebrahimi, Rishi Rajasekaran, Nikhil Varghese, Max Wechsler-Azen, Steve Whittaker (+2 others)
2020 arXiv   pre-print
After describing the dialogue system architecture, we perform an analysis of conversations that Athena participated in during the 2019 Alexa Prize Competition.  ...  This allows Athena to procure responses from dynamic sources, such as knowledge graph traversals and feature-based on-the-fly response retrieval methods.  ...  Flow-RG Flow-RG is a framework that we developed with the objective of creating dialogue-act (DA) driven call-flow RGs that are modular and flexible.  ... 
arXiv:2011.10683v1 fatcat:j2ojyrh3pbht3hywfmd2vf4m6q

Model-Based Computing for Design and Control of Reconfigurable Systems

Markus P. J. Fromherz, Daniel G. Bobrow, Johan de Kleer
2004 The AI Magazine  
Satisfying the Machine Constraints When planning and scheduling the machine's operations, the controller has choices in selecting and interleaving operations.  ...  CDL has become part of the practice of the engineers in Xerox since 1995 and is an integral part of a generic, reusable machine control tool kit.  ... 
doi:10.1609/aimag.v24i4.1735 dblp:journals/aim/FromherzBK04 fatcat:wrk3zu7pzjblhad4d46ftov7eu

Version models for software configuration management

Reidar Conradi, Bernhard Westfechtel
1998 ACM Computing Surveys  
Finally, we provide an overview of systems that have had significant impact on the development of the SCM discipline and classify them according to a detailed taxonomy.  ...  This article focuses on the version models underlying both commercial systems and research prototypes.  ...  However, selection of b fails and triggers backtracking. Change-Based Functional Configurators. A change-based functional configurator is supplied with a sequence of changes.  ... 
doi:10.1145/280277.280280 fatcat:rglqi6ckjnhmzeefdv5hdsam2u
« Previous Showing results 1 — 15 out of 401 results