|
Results
Found 42 publication records. Showing 42 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 2 | Hua Wang, Yao Guo, Xiangqun Chen |
SAConf: Semantic Attestation of Software Configurations.  |
ATC  |
2009 |
DBLP DOI BibTeX RDF |
|
| 2 | Axel Mahler, Andreas Lampen |
An Integrated Toolset for Engineering Software Configurations.  |
Software Development Environments (SDE)  |
1988 |
DBLP DOI BibTeX RDF |
|
| 2 | Scott E. Hudson, Roger King |
The Cactis Project: Database Support for Software Environment.  |
IEEE Trans. Software Eng.  |
1988 |
DBLP DOI BibTeX RDF |
database support, Cactis, load modules, software versions, object-oriented, program transformations, programming environments, database management system, database management systems, program compilations, program compilers, semantic models, project schedules, software environments, software configurations |
| 1 | Elnatan Reisner, Charles Song, Kin-Keung Ma, Jeffrey S. Foster, Adam Porter |
Using symbolic evaluation to understand behavior in configurable software systems.  |
ICSE  |
2010 |
DBLP DOI BibTeX RDF |
software testing and analysis, empirical software engineering, software configurations |
| 1 | Afonso Araújo Neto, Marco Vieira |
Appraisals Based on Security Best Practices for Software Configurations.  |
LADC  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Chi-Keung Luk, Sunpyo Hong, Hyesoon Kim |
Qilin: exploiting parallelism on heterogeneous multiprocessors with adaptive mapping.  |
MICRO  |
2009 |
DBLP DOI BibTeX RDF |
adaptive, GPU, mapping, heterogeneous, multicore, dynamic compilation |
| 1 | John Lyle, Andrew Martin |
On the Feasibility of Remote Attestation for Web Services.  |
CSE  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Roman Gumzej, Matjaz Colnaric, Wolfgang A. Halang |
A reconfiguration pattern for distributed embedded systems.  |
Software and System Modeling  |
2009 |
DBLP DOI BibTeX RDF |
UML profiles and patterns, Specification PEARL, Embedded systems, Real-time, Distributed, Dynamic reconfiguration, UML-RT |
| 1 | Pietro Colombo, Vieri Del Bianco, Luigi Lavazza |
Fine-Grained Integrated Management of Software Configurations and Traceability Relations.  |
ICSOFT (SE/MUSE/GSDCA)  |
2008 |
DBLP BibTeX RDF |
|
| 1 | Sebastian Höhn, Jan Jürjens |
Rubacon: automated support for model-based compliance engineering.  |
ICSE  |
2008 |
DBLP DOI BibTeX RDF |
user permissions, access control, security analysis |
| 1 | Yacine Gasmi, Ahmad-Reza Sadeghi, Patrick Stewin, Martin Unger, N. Asokan |
Beyond secure channels.  |
STC  |
2007 |
DBLP DOI BibTeX RDF |
state changes, trusted channel, virtualization, trusted computing, hypervisor, TLS, microkernel, remote attestation, relay attack |
| 1 | Andreas Ekelhart, Stefan Fenz, Thomas Neubauer, Edgar Weippl |
Formal threat descriptions for enhancing governmental risk assessment.  |
ICEGOV  |
2007 |
DBLP DOI BibTeX RDF |
formal threat descriptions, inventory, security ontology |
| 1 | Ganesh Sankaranarayanan, Hawkeye H. I. King, Seong-Young Ko, Mitchell J. H. Lum, Diana C. W. Friedman, Jacob Rosen, Blake Hannaford |
Portable surgery master station for mobile robotic telesurgery.  |
ROBOCOMM  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Gareth Howells, Evangelos Papoutsis, Andrew B. T. Hopkins, Klaus D. McDonald-Maier |
Normalizing Discrete Circuit Features with Statistically Independent values for incorporation within a highly Secure Encryption System.  |
AHS  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Schröder-Preikschat, Rüdiger Kapitza, Jürgen Kleinöder, Meik Felser, Katja Karmeier, Thomas Halva Labella, Falko Dressler |
Robust and Efficient Software Management in Sensor Networks.  |
COMSWARE  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Tse-Chen Yeh, Tsung-Yu Ho, Hung-Yu Chen, Ing-Jer Huang |
SystemC-Based Design Space Exploration of a 3D Graphics Acceleration SoC for Consumer Electronics.  |
EUC  |
2007 |
DBLP DOI BibTeX RDF |
SystemC modeling, 3D graphics SoC, design space exploration, transaction-level modeling |
| 1 | Joaquín Gutiérrez, Dimitrios Apostolopoulos, José Luis Gordillo |
Numerical comparison of steering geometries for robotic vehicles by modeling positioning error.  |
Auton. Robots  |
2007 |
DBLP DOI BibTeX RDF |
Positioning error, Simulation, Autonomous vehicles |
| 1 | Philip W. L. Fong, Simon A. Orr |
A Module System for Isolating Untrusted Software Extensions.  |
ACSAC  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Li Wei, John Handley, Nathaniel Martin, Tong Sun, Eamonn J. Keogh |
Clustering Workflow Requirements Using Compression Dissimilarity Measure.  |
ICDM Workshops  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | HongQian Karen Lu |
Multi-stage Packet Filtering in Network Smart Cards.  |
CARDIS  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Holger Giese, Matthias Tichy |
Component-Based Hazard Analysis: Optimal Designs, Product Lines, and Online-Reconfiguration.  |
SAFECOMP  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Renée C. Bryce, Charles J. Colbourn |
Test prioritization for pairwise interaction coverage.  |
A-MOST  |
2005 |
DBLP DOI BibTeX RDF |
biased covering arrays, pairwise interaction coverage, greedy algorithm, covering arrays, software interaction testing, mixed-level covering arrays |
| 1 | Renée C. Bryce, Charles J. Colbourn |
Test prioritization for pairwise interaction coverage.  |
ACM SIGSOFT Software Engineering Notes  |
2005 |
DBLP DOI BibTeX RDF |
biased covering arrays, pairwise interaction coverage, greedy algorithm, covering arrays, software interaction testing, mixed-level covering arrays |
| 1 | Sutirtha Bhattacharya, Dewayne E. Perry |
Predicting Architectural Styles from Component Specifications.  |
WICSA  |
2005 |
DBLP DOI BibTeX RDF |
Reuse, Architectural Style, Component Based Software Engineering, System Composition |
| 1 | Giuseppe A. Di Lucca, Anna Rita Fasolino, Porfirio Tramontana |
Web Site Accessibility: Identifying and Fixing Accessibility Problems in Client Page Code.  |
WSE  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Lidia Yamamoto, Christian F. Tschudin |
Experiments on the Automatic Evolution of Protocols Using Genetic Programming.  |
WAC  |
2005 |
DBLP DOI BibTeX RDF |
protocol evolution, genetic programming, protocol synthesis |
| 1 | Sergei Mikhailov, Jonathan Robert Stanton |
AIS: A Fast, Disk Space Efficient "Adaptable Installation System" Supporting Multitudes of Diverse Software Configurations.  |
LISA  |
2004 |
DBLP BibTeX RDF |
|
| 1 | Arvind S. Krishna, Cemal Yilmaz, Atif M. Memon, Adam A. Porter, Douglas C. Schmidt, Aniruddha S. Gokhale, Balachandran Natarajan |
Preserving Distributed Systems' Critical Properties: A Model-Driven Approach.  |
IEEE Software  |
2004 |
DBLP DOI BibTeX RDF |
Skoll, Distributed Continuous Quality Assurance (DCQA), model-based techniques, Persistent Software Attributes (PSA), Quality of Service (QoS), model-integrated computing, software configurations |
| 1 | Gregory Pluta, Larry Brumbaugh, William Yurcik |
BEASTS: An Enterprise Management Tool for Providing Information Survivability in Dynamic Heterogeneous Networked Environments.  |
LCN  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Chao-Tung Yang, Ko-Tzu Wang, Kuan-Ching Li, Liang-Teh Lee |
Applying Linux High-Availability and Load Balancing Servers for Video-on-Demand (VOD) Systems.  |
PCM  |
2004 |
DBLP DOI BibTeX RDF |
VOD servers, Cluster Computing Systems, Load Balancing, High-Availability |
| 1 | Narayan Desai, Andrew Lusk, Rick Bradshaw, Rémy Evard |
BCFG: A Con.guration Management Tool for Heterogeneous Environments.  |
CLUSTER  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Jérôme Hugues, Laurent Pautet, Fabrice Kordon |
Contributions to middleware architectures to prototype distribution infrastructures.  |
IEEE International Workshop on Rapid System Prototyping  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Vikram S. Adve, Afolami Akinsanmi, James C. Browne, Det Buaklee, Guoshen Deng, Vinh Vi Lam, Trevor Morgan, John R. Rice, Gregory J. Rodin, Patricia J. Teller, Gregory F. Tracy, Mary K. Vernon, Stephen J. Wright |
Model-Based Control of Adaptive Applications: An Overview. (PDF / PS)  |
IPDPS  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen Quirolgico, L. Jay Wantz, Michael Miller, Naveen Srinivasan, Vlad Korolev, Michael Fay |
Wireless Agents in Ad Hoc Networks.  |
WRAC  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Timothy Fraser |
LOMAC: Low Water-Mark Integrity Protection for COTS Environments. (PDF / PS)  |
IEEE Symposium on Security and Privacy  |
2000 |
DBLP DOI BibTeX RDF |
low water-mark, linux security, access control, integrity, mandatory access control, security policy model |
| 1 | Deepak R. Karuppiah, Patrick Deegan, Elizeth Araujo, Yunlei Yang, Gary Holness, Zhigang Zhu, Barbara Staudt Lerner, Roderic A. Grupen, Edward M. Riseman |
Software Mode Changes for Continuous Motion Tracking.  |
IWSAS  |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Kurt C. Wallnau |
Repairing coordination mismatches among legacy components. (PDF / PS)  |
ICSM  |
1997 |
DBLP DOI BibTeX RDF |
software coordination mismatch, legacy components, reengineering problem, software component integration, classification, World Wide Web, software maintenance, Intranet, network computing, software configurations, distributed object technology |
| 1 | Haluk Topcuoglu, Salim Hariri |
A Global Computing Environment for Networked Resources. (PDF / PS)  |
ICPP  |
1997 |
DBLP DOI BibTeX RDF |
task scheduling, problem solving environments, Network computing |
| 1 | Mustafa Uysal, Anurag Acharya, Robert Bennett, Joel H. Saltz |
A Customizable Simulator for Workstation Networks. (PDF / PS)  |
IPPS  |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Carl A. Gunter |
Abstracting Dependencies between Software Configuration Items.  |
SIGSOFT FSE  |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Surinder Saini |
Distributed support: a case study.  |
SIGUCCS  |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas Wiebe |
Specifying and Verifying Semantic Properties of Software Configurations.  |
SCM  |
1988 |
DBLP BibTeX RDF |
|
Displaying result #1 - #42 of 42 (100 per page; Change: )
|