|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 145 occurrences of 134 keywords
|
|
|
Results
Found 920 publication records. Showing 920 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
12 | Sylvain Martel, Walder Andre, Mahmood Mohammadi, Zhao Lu, Ouajdi Felfoul |
Towards swarms of communication-enabled and intelligent sensotaxis-based bacterial microrobots capable of collective tasks in an aqueous medium. |
ICRA |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Michael Sfakiotakis, Dimitris P. Tsakiris |
Undulatory and pedundulatory robotic locomotion via direct and retrograde body waves. |
ICRA |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Pål Liljebäck, Sigurd Aksnes Fjerdingen, Kristin Ytterstad Pettersen, Øyvind Stavdahl |
A snake robot joint mechanism with a contact force measurement system. |
ICRA |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Bradley Kratochvil, Dominic R. Frutiger, Karl Vollmers, Bradley J. Nelson |
Visual servoing and characterization of resonant magnetic actuators for decoupled locomotion of multiple untethered mobile microrobots. |
ICRA |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Sigurd Aksnes Fjerdingen, Pål Liljebäck, Aksel Andreas Transeth |
A snake-like robot for internal inspection of complex pipe structures (PIKo). |
IROS |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Seyed Nasr Tabatabaei, Jacinthe Lapointe, Sylvain Martel |
Hydrogel encapsulated magnetic nanoparticles as hyperthermic actuators for microrobots designed to operate in the vascular network. |
IROS |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Wen Li, Tianmiao Wang, Jianhong Liang, Jinlan Li |
Fuzzy logic vorticity control of ocillating foil UUV. |
IROS |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Amer Farhan Rafique, He LinShu, Qasim Zeeshan, Ali Kamran |
Multidisciplinary Design of Air-Launched Space Launch Vehicle Using Simulated Annealing. |
KI |
2009 |
DBLP DOI BibTeX RDF |
Air-launched Space Launch Vehicle, Simulated Annealing, Multidisciplinary Design Optimization |
12 | Eric Feron, Eric N. Johnson |
Aerial Robotics. |
Springer Handbook of Robotics |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Frédéric Boyer, Mathieu Porez, Alban Leroyer, Michel Visonneau |
Fast Dynamics of an Eel-Like Robot - Comparisons With Navier-Stokes Simulations. |
IEEE Trans. Robotics |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Junzhi Yu, Long Wang 0001, Wei Zhao 0007, Min Tan 0001 |
Optimal design and motion control of biomimetic robotic fish. |
Sci. China Ser. F Inf. Sci. |
2008 |
DBLP DOI BibTeX RDF |
biomimetic robotic fish, motion control, optimization design, central pattern generator (CPG), mechatronics |
12 | Peter Dabnichki |
Modelling, Computing and Sport. |
Inform. Spektrum |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Rong-Jong Wai, Jeng-Dao Lee |
Adaptive Fuzzy-Neural-Network Control for Maglev Transportation System. |
IEEE Trans. Neural Networks |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Damian Dechev, Rabi N. Mahapatra, Bjarne Stroustrup, David A. Wagner 0002 |
C++ Dynamic Cast in Autonomous Space Systems. |
ISORC |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Panagiotis Chatzakos, Evangelos Papadopoulos |
The influence of DC electric drives on sizing quadruped robots. |
ICRA |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Mircea Badescu, Sergiu Stroescu, Stewart Sherrit, Jack B. Aldrich, Xiaoqi Bao, Yoseph Bar-Cohen, Zensheu Chang, Wilson Hernandez, Alaa Ibrahim |
Rotary hammer ultrasonic/sonic drill system. |
ICRA |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Klaus Havelund |
Runtime Verification of C Programs. |
TestCom/FATES |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Anthony S. David, Olivier Bruneau |
Sequential Method of Analytical Potentials an approach for the biped robots dynamic gait generation. |
IROS |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Hyatt Nakadoi, David Sobey, Masaki Yamakita, Toshiharu Mukai |
Liquid environment-adaptive IPMC fish-like robot using extremum seeking feedback. |
IROS |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Marcus J. Holzinger, Jeremiah DiMatteo, Jeremy D. Schwartz, Mark Milam |
Passively safe Receding Horizon Control for satellite proximity operations. |
CDC |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Dominic R. Frutiger, Karl Vollmers, Bradley Kratochvil, Bradley J. Nelson |
Small, Fast, and under Control: Wireless Resonant Magnetic Micro-agents. |
ISER |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Faming Sun, Xinsheng Xu |
The Control Mechanism of a New Fish-Like Underwater Robot with Two Tails. |
ICIRA (1) |
2008 |
DBLP DOI BibTeX RDF |
Underwater robot, control mechanism, magnetic field, fish-like robot |
12 | Xibo Wang, Song Liu, Ge Yu 0001, Qian Li |
Underwater Glider Embedded Control System Design Based on QNX Real-time Kernel. |
RAM |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Jianhong Liang, Li Wen, Yuxiao Guo 0003 |
Experimental design and performance of underwater vehicle based on capacity of voyage. |
RAM |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Gregory Dudek, Philippe Giguère, Chris Prahacs, Shane Saunderson, Junaed Sattar, Luz Abril Torres-Méndez, Michael Jenkin, Andrew German, Andrew Hogue, Arlene Ripsman, James E. Zacher, Evangelos E. Milios, Hui Liu, Pifu Zhang, Martin Buehler, Christina Georgiades |
AQUA: An Amphibious Autonomous Robot. |
Computer |
2007 |
DBLP DOI BibTeX RDF |
AQUA, Autonomous robot development, SASR tasks, Robotics |
12 | G. P. Briggs, Tapabrata Ray, J. F. Milthorpe |
Optimal design of an Australian medium launch vehicle. |
Innov. Syst. Softw. Eng. |
2007 |
DBLP DOI BibTeX RDF |
Launch vehicles, Evolutionary algorithms, Optimisation, Systems analysis |
12 | Joanne Bechta Dugan, Ganesh J. Pai, Hong Xu |
Combining Software Quality Analysis with Dynamic Event/Fault Trees for High Assurance Systems Engineering. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Shuxiang Guo, Qinxue Pan |
Mechanism and Control of a Novel Type Microrobot for Biomedical Application. |
ICRA |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Sardis Azongha, Hui Li |
Modeling and simulation of the dynamic control of a cascaded multilevel inverter using single DC source for induction motor drive application. |
SCSC |
2007 |
DBLP BibTeX RDF |
dynamic modulation control, multilevel inverter, induction motor |
12 | Julia M. B. Braman, Richard M. Murray, David A. Wagner 0002 |
Safety verification of a fault tolerant reconfigurable autonomous goal-based robotic control system. |
IROS |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Junaed Sattar, Gregory Dudek |
Where is your dive buddy: tracking humans underwater using spatio-temporal features. |
IROS |
2007 |
DBLP DOI BibTeX RDF |
|
12 | I. Carnelli, Bernd Dachwald, Massimiliano Vasile |
Optimizing low-thrust gravity assist interplanetary trajectories using evolutionary neurocontrollers. |
IEEE Congress on Evolutionary Computation |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Michèle Lavagna, Guido Sangiovanni |
A Possible Approach to Cope with Uncertainties in Space Applications. |
WILF |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Antonio J. Plaza |
Cluster-Based Implementation of a Morphological Watershed Algorithm for Parallel Classification of Multichannel Images. |
SYNASC |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Alex Groce, Gerard J. Holzmann, Rajeev Joshi |
Randomized Differential Testing as a Prelude to Formal Verification. |
ICSE |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Polyhronis Spanoudakis, Nikos Tsourveloudis, Kimon P. Valavanis |
Design Considerations of a Prototype VTOL Robotic Vehicle through Market Survey Data Collection. |
J. Intell. Robotic Syst. |
2006 |
DBLP DOI BibTeX RDF |
drop test, vertical take-off and landing, unmanned aerial vehicle, design specifications |
12 | Dong-U Lee, John D. Villasenor, Wayne Luk, Philip Heng Wai Leong |
A Hardware Gaussian Noise Generator Using the Box-Muller Method and Its Error Analysis. |
IEEE Trans. Computers |
2006 |
DBLP DOI BibTeX RDF |
elementary function approximation, minimax approximation and algorithms, simulation, optimization, field programmable gate arrays, computer arithmetic, error analysis, random number generation, Algorithms implemented in hardware |
12 | David Valencia, Alexey L. Lastovetsky, Antonio Plaza |
Design and Implementation of a Parallel Heterogeneous Algorithm for Hyperspectral Image Analysis Using HeteroMPI. |
ISPDC |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Kevin Nickels, Brett Kennedy, Hrand Aghazarian, Curtis Collins, Michael Garrett, Lee Magnone, Avi Okon, Julie A. Townsend |
Lemur IIa Capabilities. |
IROS |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Walder Andre, Sylvain Martel |
Design of Photovoltaic Cells to Power Control Electronics Embedded in Untethered Aqueous Microrobots Propelled by Bacteria. |
IROS |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Kevin Nickels, Brett Kennedy, Hrand Aghazarian, Curtis Collins, Michael Garrett, Lee Magnone, Avi Okon, Julie A. Townsend |
In-Space Robotic Assembly with Lemur IIa. |
IROS |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Thomas M. Howard, Alonzo Kelly |
Trajectory and Spline Generation for All-Wheel Steering Mobile Robots. |
IROS |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Kentaro Takagi, Masanori Yamamura, Zhi Wei Luo, Masaki Onishi, Shinya Hirano, Kinji Asaka, Yoshikazu Hayakawa |
Development of a Rajiform Swimming Robot using Ionic Polymer Artificial Muscles. |
IROS |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Jean-Christophe Fauroux, F. Chapelle, B. C. Bouzgarrou |
A New Principle for Climbing Wheeled Robots: Serpentine Climbing with the Open WHEEL Platform. |
IROS |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Changlong Ye 0001, Shugen Ma, Bin Li 0001 |
Design and Basic Experiments of a Shape-shifting Mobile Robot for Urban Search and Rescue. |
IROS |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Sumit Roy 0001, Payman Arabshahi, Dan Rouseff, Warren L. J. Fox |
Wide area ocean networks: architecture and system design considerations. |
Underwater Networks |
2006 |
DBLP DOI BibTeX RDF |
energy efficiency, autonomous vehicles, underwater networking |
12 | Tao Qian, Xiaokun Li, Bulent Ayhan, Roger Xu, Chiman Kwan, Tim Griffin |
Application of Support Vector Machines to Vapor Detection and Classification for Environmental Monitoring of Spacecraft. |
ISNN (2) |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Kris K. Hauser, Timothy Bretl, Jean-Claude Latombe, Brian Wilcox |
Motion Planning for a Six-Legged Lunar Robot. |
WAFR |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Javier Setoain, Christian Tenllado, Manuel Prieto 0001, David Valencia, Antonio Plaza, Javier Plaza |
Parallel Hyperspectral Image Processing on Commodity Graphics Hardware. |
ICPP Workshops |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Rolf Pfeifer, Max Lungarella, Olaf Sporns, Yasuo Kuniyoshi |
On the Information Theoretic Implications of Embodiment - Principles and Methods. |
50 Years of Artificial Intelligence |
2006 |
DBLP DOI BibTeX RDF |
Embodiment, Morphology, Materials, Information Processing |
12 | Jack Jai-ick Yoh |
High-End Modeling and Simulation of Cookoff of HMX-Based Energetic Materials. |
ICCSA (5) |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Guangming Wang 0003, Lincheng Shen, Tianjiang Hu |
Kinematic Modeling and Dynamic Analysis of the Long-Based Undulation Fin of Gymnarchus Niloticus. |
SAB |
2006 |
DBLP DOI BibTeX RDF |
|
12 | David P. Gilliam, John D. Powell, Matt Bishop, Chris Andrew, Sameer Jog |
Security Verification Techniques Applied to PatchLink COTS Software. |
WETICE |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Takahisa Ohji, Masaaki Sato, Kenji Amei, Masaaki Sakui |
Analytical Study on a New Induction Type Magnetic Levitation System Creating Quasi-Static Lorentz Forces for a Non-Magnetic Sheet Metal. |
DELTA |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Antonio J. Plaza |
Heterogeneous Parallel Computing in Remote Sensing Applications: Current Trends and Future Perspectives. |
CLUSTER |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Roberto Manduchi, Andres Castano, Ashit Talukder, Larry H. Matthies |
Obstacle Detection and Terrain Classification for Autonomous Off-Road Navigation. |
Auton. Robots |
2005 |
DBLP DOI BibTeX RDF |
ladar classification, autonomous navigation, obstacle detection, color classification, terrain classification |
12 | Ronald Mak, Joan D. Walton |
The Collaborative Information Portal and NASA's Mars Rover Mission. |
IEEE Internet Comput. |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Mark Baker, Aamir Shafi, Bryan Carpenter, Sylvia C. Wong, Victor Tan, Weijian Fang, Simon Miles, Luc Moreau 0001 |
Cluster Computing and Grid 2005 Works in Progress. |
IEEE Distributed Syst. Online |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Adrian Stoica, Ricardo Salem Zebulum, Didier Keymeulen, Taher Daud |
Transistor-Level Circuit Experiments Using Evolvable Hardware. |
IWINAC (2) |
2005 |
DBLP DOI BibTeX RDF |
|
12 | S. Sitharama Iyengar |
The Distributed Sensor Networks - An Emerging Technology. |
ICDCIT |
2005 |
DBLP DOI BibTeX RDF |
|
12 | David Valencia, Antonio J. Plaza, Pablo Martínez 0001, Javier Plaza |
On the Use of Cluster Computing Architectures for Implementation of Hyperspectral Image Analysis Algorithms. |
ISCC |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Prasant Kumar Pattnaik 0002, Bh. Vijayaaditya, T. Srinivas, A. Selvarajan |
Optical MEMS pressure sensor using ring resonator on a circular diaphragm. |
ICMENS |
2005 |
DBLP DOI BibTeX RDF |
|
12 | H. M. Prasanna, Debasish Ghose, M. Seetharama Bhat, Chiranjib Bhattacharyya, J. Umakant |
Ascent Phase Trajectory Optimization for a Hypersonic Vehicle Using Nonlinear Programming. |
ICCSA (4) |
2005 |
DBLP DOI BibTeX RDF |
|
12 | David P. Gilliam, John D. Powell, Matt Bishop |
Application of Lightweight Formal Methods to Software Security. |
WETICE |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Samir Bouabdallah, Roland Siegwart |
Towards Intelligent Miniature Flying Robots. |
FSR |
2005 |
DBLP DOI BibTeX RDF |
VTOL design, quadrotor, quadrotor modelling |
12 | Eva Alfaro-Cid, Euan William McGookin, David James Murray-Smith |
Evolution of a Strategy for Ship Guidance Using Two Implementations of Genetic Programming. |
EuroGP |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Richard Terrile, Hrand Aghazarian, Michael I. Ferguson, Wolfgang Fink, Terrance L. Huntsberger, Didier Keymeulen, Gerhard Klimeck, Mark A. Kordon, Seungwon Lee, Paul von Allmen |
Evolutionary Computation Technologies for the Automated Design of Space Systems. |
Evolvable Hardware |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Saqlain Akhtar, He Linshu |
Support Vector Machine Based Trajectory Metamodel for Conceptual Design of Multi-stage Space Launch Vehicle. |
CIS (1) |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Terrance L. Huntsberger, Ashitey Trebi-Ollennu, Hrand Aghazarian, Paul S. Schenker, Paolo Pirjanian, Hari Das Nayar |
Distributed Control of Multi-Robot Systems Engaged in Tightly Coupled Tasks. |
Auton. Robots |
2004 |
DBLP DOI BibTeX RDF |
tight coordination, distributed control architecture, multiple mobile robots |
12 | Emanuele Cavallo, Rinaldo C. Michelini, Vladimir F. Filaretov |
Conceptual Design of an AUV Equipped with a Three Degrees of Freedom Vectored Thruster. |
J. Intell. Robotic Syst. |
2004 |
DBLP DOI BibTeX RDF |
3 dof vectored thruster, integrated path-and-attitude follower, autonomous underwater vehicles |
12 | Keith Whisnant, Ravishankar K. Iyer, Zbigniew Kalbarczyk, Phillip H. Jones III, David A. Rennels, Raphael R. Some |
The Effects of an ARMOR-Based SIFT Environment on the Performance and Dependability of User Applications. |
IEEE Trans. Software Eng. |
2004 |
DBLP DOI BibTeX RDF |
distributed systems, high availability, Software-implemented fault tolerance |
12 | Robyn R. Lutz, Ines Carmen Mikulski |
Ongoing Requirements Discovery in High-Integrity Systems. |
IEEE Softw. |
2004 |
DBLP DOI BibTeX RDF |
requirements/specifications management, maintenance and enhancement, software and system safety, error processing, distribution, product metrics |
12 | Jeffrey S. Norris, Poul-Henning Kamp |
Mission-Critical Development with Open Source Software: Lessons Learned. |
IEEE Softw. |
2004 |
DBLP DOI BibTeX RDF |
mission-critical software, open source development |
12 | Daniel L. Dvorak, Gregory Bollella, Tim Canham, Vanessa Carson, Virgil Champlin, Brian Giovannoni, Mark B. Indictor, Kenny Meyer, Alex Murray, Kirk Reinholtz |
Project Golden Gate: Towards Real-Time Java in Space Missions. |
ISORC |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Thomas Kämpke, Alberto Elfes |
Optimal Wind-assisted Flight Planning for Planetary Aerobots. |
ICRA |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Gianluca Antonelli, Fabrizio Caccavale, Carlo Sansone, Luigi Villani |
Fault Diagnosis for AUVs using Support Vector Machines. |
ICRA |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Peter D. Neuhaus, Michael O'Sullivan, David Eaton, John Carff, Jerry E. Pratt |
Concept Designs for Underwater Swimming Exoskeletons. |
ICRA |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Chris Mattmann, Daniel J. Crichton, J. Steven Hughes, Sean C. Kelly, Paul M. Ramirez |
Software Architecture for Large-Scale, Distributed, Data-Intensive Systems. |
WICSA |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Allen P. Nikora, John C. Munson |
The Effects of Fault Counting Methods on Fault Model Quality. |
COMPSAC |
2004 |
DBLP DOI BibTeX RDF |
defect content estimation techniques, software measurement, software modeling, fault prediction |
12 | Raymond K. Clark, E. Douglas Jensen, Nicolas F. Rouquette |
Software Organization to Facilitate Dynamic Processor Scheduling. |
IPDPS |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Jon Ahn, Kyungtae Lee |
A Computational Method for the Performance Modeling and Design of a Ducted Fan System. |
AsiaSim |
2004 |
DBLP DOI BibTeX RDF |
|
12 | A. E. Lindsey, Charles Pecheur |
Simulation-Based Verification of Autonomous Controllers via Livingstone PathFinder. |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Barry W. Boehm, Jesal Bhuta, David Garlan, Eric Gradman, LiGuo Huang, Alexander Lam, Raymond J. Madachy, Nenad Medvidovic, Kenneth Meyer, Steven Meyers, Gustavo Pérez, Kirk Reinholtz, Roshanak Roshandel, Nicolas Rouquette |
Using Empirical Testbeds to Accelerate Technology Maturity and Transition: The SCRover Experience. |
ISESE |
2004 |
DBLP DOI BibTeX RDF |
SCRover, empirical testbeds, seeded defects, Empirical methods, technology evaluation, software dependability, architecture definition languages |
12 | Lynne P. Cooper, Rebecca L. Nash, Tu-Anh T. Phan, Teresa R. Bailey |
Using Knowledge-Based Systems to Support Learning of Organizational Knowledge: A Case Study. |
HICSS |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Keith Whisnant, Zbigniew Kalbarczyk, Ravishankar K. Iyer |
A Foundation for Adaptive Fault Tolerance in Software. |
ECBS |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Nicolas F. Rouquette |
UML/MDA Reality Check: Heterogenous Architecture Style. |
UML |
2003 |
DBLP DOI BibTeX RDF |
|
12 | David P. Gilliam |
Managing Information Technology Security Risk. |
ISSS |
2003 |
DBLP DOI BibTeX RDF |
|
12 | In-Hak Joo, Ki Won Lee, Min-Soo Kim 0001, Jong-Hun Lee |
ISP (Information Strategy Planning) for 4S-Based Integration of Spatial Information Systems as Korean Nationwide Project. |
EGOV |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Pietro Torasso, Gianluca Torta |
Computing Minimum-Cardinality Diagnoses Using OBDDs. |
KI |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Xenofon D. Koutsoukos, James Kurien, Feng Zhao 0001 |
Estimation of Distributed Hybrid Systems Using Particle Filtering Methods. |
HSCC |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Heather Kincaid, Sean C. Kelly, Daniel J. Crichton, Donald Johnsey, Marcy D. Winget, Sudhir Srivastava |
A National Virtual Specimen Database for Early Cancer Detection. |
CBMS |
2003 |
DBLP DOI BibTeX RDF |
|
12 | David P. Gilliam, John D. Powell, Eric Haugh, Matt Bishop |
Addressing Software Security and Mitigations in the Life Cycle. |
SEW |
2003 |
DBLP DOI BibTeX RDF |
|
12 | David W. Curkendall, Eric J. Fielding, Tsan-Huei Cheng, Josef M. Pohl |
A Computational-Grid Based System for Continental Drainage Network Extraction Using SRTM Digital Elevation Models. |
ICPP Workshops |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Allen P. Nikora, John C. Munson |
Understanding the Nature of Software Evolution. |
ICSM |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Gloria Mark |
Extreme collaboration. |
Commun. ACM |
2002 |
DBLP DOI BibTeX RDF |
|
12 | Dong Chen, Selvamuthu Dharmaraja, Dongyan Chen, Lei Li, Kishor S. Trivedi, Raphael R. Some, Allen P. Nikora |
Reliability and Availability Analysis for the JPL Remote Exploration and Experimentation System. |
DSN |
2002 |
DBLP DOI BibTeX RDF |
Fault-tolerance, Distributed systems, Markov chains, Transient faults, Hierarchical modeling, Fault trees, Dependability modeling, Stochastic reward nets |
12 | Raphael R. Some, Won S. Kim, Garen Khanoyan, Leslie Callum, Anil Agrawal, John J. Beahan |
Software-Implemented Fault Injection Methodology for Design and Validation of System Fault Tolerance. |
DSN |
2001 |
DBLP DOI BibTeX RDF |
|
12 | Daniel J. Crichton, J. Steven Hughes, Gregory J. Downing, Heather Kincaid, Sudhir Srivastava |
An Interoperable Data Architecture for Data Exchange in a Biomedical Research Network. |
CBMS |
2001 |
DBLP DOI BibTeX RDF |
|
12 | Gregory J. Follen, Chan M. Kim, Isaac Lopez, Scott Townsend, Janche Sang |
A CORBA-Based Development Environment for Wrapping and Coupling Legacy Scientific Codes. |
HPDC |
2001 |
DBLP DOI BibTeX RDF |
|
12 | David P. Gilliam, John C. Kelly, John D. Powell, Matt Bishop |
Development of a Software Security Assessment Instrument to Reduce Software Security Risk. |
WETICE |
2001 |
DBLP DOI BibTeX RDF |
Security Toolset, Vulnerability Matrix, Model Checking, Security Verification, Property-Based Testing |
Displaying result #801 - #900 of 920 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|