|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: 2009 IEEE International Conference on Robotics and Automation, ICRA 2009, Kobe, Japan, May 12-17, 2009, pp. 2617-2622, 2009, IEEE. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Michael Sfakiotakis, Dimitris P. Tsakiris |
Undulatory and pedundulatory robotic locomotion via direct and retrograde body waves. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: 2009 IEEE International Conference on Robotics and Automation, ICRA 2009, Kobe, Japan, May 12-17, 2009, pp. 3457-3463, 2009, IEEE. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: 2009 IEEE International Conference on Robotics and Automation, ICRA 2009, Kobe, Japan, May 12-17, 2009, pp. 3815-3820, 2009, IEEE. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: 2009 IEEE International Conference on Robotics and Automation, ICRA 2009, Kobe, Japan, May 12-17, 2009, pp. 1010-1015, 2009, IEEE. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2009 IEEE/RSJ International Conference on Intelligent Robots and Systems, October 11-15, 2009, St. Louis, MO, USA, pp. 5665-5671, 2009, IEEE, 978-1-4244-3803-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2009 IEEE/RSJ International Conference on Intelligent Robots and Systems, October 11-15, 2009, St. Louis, MO, USA, pp. 546-551, 2009, IEEE, 978-1-4244-3803-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Wen Li, Tianmiao Wang, Jianhong Liang, Jinlan Li |
Fuzzy logic vorticity control of ocillating foil UUV. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2009 IEEE/RSJ International Conference on Intelligent Robots and Systems, October 11-15, 2009, St. Louis, MO, USA, pp. 1019-1024, 2009, IEEE, 978-1-4244-3803-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI 2009: Advances in Artificial Intelligence, 32nd Annual German Conference on AI, Paderborn, Germany, September 15-18, 2009. Proceedings, pp. 719-726, 2009, Springer, 978-3-642-04616-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Air-launched Space Launch Vehicle, Simulated Annealing, Multidisciplinary Design Optimization |
12 | Eric Feron, Eric N. Johnson |
Aerial Robotics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Springer Handbook of Robotics ![In: Springer Handbook of Robotics, pp. 1009-1029, 2008, Springer, 978-3-540-23957-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Robotics ![In: IEEE Trans. Robotics 24(6), pp. 1274-1288, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. China Ser. F Inf. Sci. ![In: Sci. China Ser. F Inf. Sci. 51(5), pp. 535-549, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
biomimetic robotic fish, motion control, optimization design, central pattern generator (CPG), mechatronics |
12 | Peter Dabnichki |
Modelling, Computing and Sport. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inform. Spektrum ![In: Inform. Spektrum 31(4), pp. 316-322, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Rong-Jong Wai, Jeng-Dao Lee |
Adaptive Fuzzy-Neural-Network Control for Maglev Transportation System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Neural Networks ![In: IEEE Trans. Neural Networks 19(1), pp. 54-70, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Damian Dechev, Rabi N. Mahapatra, Bjarne Stroustrup, David A. Wagner 0002 |
C++ Dynamic Cast in Autonomous Space Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC ![In: 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), 5-7 May 2008, Orlando, Florida, USA, pp. 499-507, 2008, IEEE Computer Society, 978-0-7695-3132-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Panagiotis Chatzakos, Evangelos Papadopoulos |
The influence of DC electric drives on sizing quadruped robots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: 2008 IEEE International Conference on Robotics and Automation, ICRA 2008, May 19-23, 2008, Pasadena, California, USA, pp. 793-798, 2008, IEEE. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: 2008 IEEE International Conference on Robotics and Automation, ICRA 2008, May 19-23, 2008, Pasadena, California, USA, pp. 602-607, 2008, IEEE. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Klaus Havelund |
Runtime Verification of C Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TestCom/FATES ![In: Testing of Software and Communicating Systems, 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008, 8th International Workshop, FATES 2008, Tokyo, Japan, June 10-13, 2008, Proceedings, pp. 7-22, 2008, Springer, 978-3-540-68514-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2008 IEEE/RSJ International Conference on Intelligent Robots and Systems, September 22-26, 2008, Acropolis Convention Center, Nice, France, pp. 2946-2951, 2008, IEEE, 978-1-4244-2057-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2008 IEEE/RSJ International Conference on Intelligent Robots and Systems, September 22-26, 2008, Acropolis Convention Center, Nice, France, pp. 3089-3094, 2008, IEEE, 978-1-4244-2057-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: Proceedings of the 47th IEEE Conference on Decision and Control, CDC 2008, December 9-11, 2008, Cancún, Mexico, pp. 3433-3440, 2008, IEEE, 978-1-4244-3123-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISER ![In: Experimental Robotics, The Eleventh International Symposium, ISER 2008, July 13-16, 2008, Athens, Greece, pp. 169-178, 2008, Springer, 978-3-642-00195-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Faming Sun, Xinsheng Xu |
The Control Mechanism of a New Fish-Like Underwater Robot with Two Tails. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIRA (1) ![In: Intelligent Robotics and Applications, First International Conference, ICIRA 2008, Wuhan, China, October 15-17, 2008 Proceedings, Part I, pp. 304-313, 2008, Springer, 978-3-540-88512-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAM ![In: 2008 IEEE Conference on Robotics, Automation and Mechatronics, RAM 2008, 21-24 September 2008, Chengdu, China, pp. 1079-1083, 2008, IEEE. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAM ![In: 2008 IEEE Conference on Robotics, Automation and Mechatronics, RAM 2008, 21-24 September 2008, Chengdu, China, pp. 587-591, 2008, IEEE. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer ![In: Computer 40(1), pp. 46-53, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Innov. Syst. Softw. Eng. ![In: Innov. Syst. Softw. Eng. 3(2), pp. 105-116, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), November 14-16, 2007, Dallas, Texas, USA, pp. 245-255, 2007, IEEE Computer Society, 0-7695-3043-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Shuxiang Guo, Qinxue Pan |
Mechanism and Control of a Novel Type Microrobot for Biomedical Application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: 2007 IEEE International Conference on Robotics and Automation, ICRA 2007, 10-14 April 2007, Roma, Italy, pp. 187-192, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSC ![In: Proceedings of the 2007 Summer Computer Simulation Conference, SCSC 2007, San Diego, California, USA, July 16-19, 2007, pp. 33, 2007, Simulation Councils, Inc., 1-56555-316-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2007 IEEE/RSJ International Conference on Intelligent Robots and Systems, October 29 - November 2, 2007, Sheraton Hotel and Marina, San Diego, California, USA, pp. 853-858, 2007, IEEE, 978-1-4244-0912-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Junaed Sattar, Gregory Dudek |
Where is your dive buddy: tracking humans underwater using spatio-temporal features. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2007 IEEE/RSJ International Conference on Intelligent Robots and Systems, October 29 - November 2, 2007, Sheraton Hotel and Marina, San Diego, California, USA, pp. 3654-3659, 2007, IEEE, 978-1-4244-0912-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
12 | I. Carnelli, Bernd Dachwald, Massimiliano Vasile |
Optimizing low-thrust gravity assist interplanetary trajectories using evolutionary neurocontrollers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Congress on Evolutionary Computation ![In: Proceedings of the IEEE Congress on Evolutionary Computation, CEC 2007, 25-28 September 2007, Singapore, pp. 965-972, 2007, IEEE, 978-1-4244-1339-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Michèle Lavagna, Guido Sangiovanni |
A Possible Approach to Cope with Uncertainties in Space Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WILF ![In: Applications of Fuzzy Sets Theory, 7th International Workshop on Fuzzy Logic and Applications, WILF 2007, Camogli, Italy, July 7-10, 2007, Proceedings, pp. 277-284, 2007, Springer, 978-3-540-73399-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Antonio J. Plaza |
Cluster-Based Implementation of a Morphological Watershed Algorithm for Parallel Classification of Multichannel Images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SYNASC ![In: Proceedings of the Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2007, Timisoara, Romania, September 26-29, 2007, pp. 298-303, 2007, IEEE Computer Society, 978-0-7695-3078-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Alex Groce, Gerard J. Holzmann, Rajeev Joshi |
Randomized Differential Testing as a Prelude to Formal Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 29th International Conference on Software Engineering (ICSE 2007), Minneapolis, MN, USA, May 20-26, 2007, pp. 621-631, 2007, IEEE Computer Society, 0-7695-2828-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Robotic Syst. ![In: J. Intell. Robotic Syst. 46(4), pp. 339-364, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 55(6), pp. 659-671, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPDC ![In: 5th International Symposium on Parallel and Distributed Computing (ISPDC 2006), 6-9 July 2006, Timisoara, Romania, pp. 301-308, 2006, IEEE Computer Society, 0-7695-2638-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2006 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2006, October 9-15, 2006, Beijing, China, 2006, IEEE, 1-4244-0258-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2006 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2006, October 9-15, 2006, Beijing, China, pp. 1335-1340, 2006, IEEE, 1-4244-0258-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2006 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2006, October 9-15, 2006, Beijing, China, 2006, IEEE, 1-4244-0258-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Thomas M. Howard, Alonzo Kelly |
Trajectory and Spline Generation for All-Wheel Steering Mobile Robots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2006 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2006, October 9-15, 2006, Beijing, China, pp. 4827-4832, 2006, IEEE, 1-4244-0258-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2006 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2006, October 9-15, 2006, Beijing, China, pp. 1861-1866, 2006, IEEE, 1-4244-0258-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2006 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2006, October 9-15, 2006, Beijing, China, pp. 3405-3410, 2006, IEEE, 1-4244-0258-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2006 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2006, October 9-15, 2006, Beijing, China, pp. 3994-3999, 2006, IEEE, 1-4244-0258-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Underwater Networks ![In: Proceedings of the First Workshop on Underwater Networks, WUWNET 2006, Los Angeles, CA, USA, September 25, 2007, pp. 25-32, 2006, ACM, 1-59593-484-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISNN (2) ![In: Advances in Neural Networks - ISNN 2006, Third International Symposium on Neural Networks, Chengdu, China, May 28 - June 1, 2006, Proceedings, Part III, pp. 1216-1222, 2006, Springer, 3-540-34482-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Kris K. Hauser, Timothy Bretl, Jean-Claude Latombe, Brian Wilcox |
Motion Planning for a Six-Legged Lunar Robot. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WAFR ![In: Algorithmic Foundation of Robotics VII, Selected Contributions of the Seventh International Workshop on the Algorithmic Foundations of Robotics, WAFR 2006, July 16-18, 2006, New York, NY, USA, pp. 301-316, 2006, Springer, 978-3-540-68404-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPP Workshops ![In: 2006 International Conference on Parallel Processing Workshops (ICPP Workshops 2006), 14-18 August 2006, Columbus, Ohio, USA, pp. 465-472, 2006, IEEE Computer Society, 0-7695-2637-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Rolf Pfeifer, Max Lungarella, Olaf Sporns, Yasuo Kuniyoshi |
On the Information Theoretic Implications of Embodiment - Principles and Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
50 Years of Artificial Intelligence ![In: 50 Years of Artificial Intelligence, Essays Dedicated to the 50th Anniversary of Artificial Intelligence, pp. 76-86, 2006, Springer, 978-3-540-77295-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (5) ![In: Computational Science and Its Applications - ICCSA 2006, International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part V, pp. 484-490, 2006, Springer, 3-540-34079-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAB ![In: From Animals to Animats 9, 9th International Conference on Simulation of Adaptive Behavior, SAB 2006, Rome, Italy, September 25-29, 2006, Proceedings, pp. 162-173, 2006, Springer, 3-540-38608-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WETICE ![In: 15th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE 2006), 26-28 June 2006, Manchester, United Kingdom, pp. 319-325, 2006, IEEE Computer Society, 0-7695-2623-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DELTA ![In: Third IEEE International Workshop on Electronic Design, Test and Applications (DELTA 2006), 17-19 January 2006, Kuala Lumpur, Malaysia, pp. 361-364, 2006, IEEE Computer Society, 0-7695-2500-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Antonio J. Plaza |
Heterogeneous Parallel Computing in Remote Sensing Applications: Current Trends and Future Perspectives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLUSTER ![In: Proceedings of the 2006 IEEE International Conference on Cluster Computing, September 25-28, 2006, Barcelona, Spain, 2006, IEEE Computer Society, 1-4244-0328-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Auton. Robots ![In: Auton. Robots 18(1), pp. 81-102, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Internet Comput. ![In: IEEE Internet Comput. 9(1), pp. 20-26, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Distributed Syst. Online ![In: IEEE Distributed Syst. Online 6(10), 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Adrian Stoica, Ricardo Salem Zebulum, Didier Keymeulen, Taher Daud |
Transistor-Level Circuit Experiments Using Evolvable Hardware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWINAC (2) ![In: Artificial Intelligence and Knowledge Engineering Applications: A Bioinspired Approach: First International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2005, Las Palmas, Canary Islands, Spain, June 15-18, 2005, Proceedings, Part II, pp. 366-375, 2005, Springer, 3-540-26319-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
12 | S. Sitharama Iyengar |
The Distributed Sensor Networks - An Emerging Technology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCIT ![In: Distributed Computing and Internet Technology, Second International Conference, ICDCIT 2005, Bhubaneswar, India, December 22-24, 2005, Proceedings, pp. 1, 2005, Springer, 3-540-30999-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCC ![In: Proceedings of the 10th IEEE Symposium on Computers and Communications (ISCC 2005), 27-30 June 2005, Murcia, Cartagena, Spain, pp. 995-1000, 2005, IEEE Computer Society, 0-7695-2373-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMENS ![In: 2005 International Conference on MEMS, NANO, and Smart Systems (ICMENS 2005), 24-27 July 2005, Banff, Alberta, Canada, pp. 277-280, 2005, IEEE Computer Society, 0-7695-2398-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (4) ![In: Computational Science and Its Applications - ICCSA 2005, International Conference, Singapore, May 9-12, 2005, Proceedings, Part IV, pp. 548-557, 2005, Springer, 3-540-25863-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
12 | David P. Gilliam, John D. Powell, Matt Bishop |
Application of Lightweight Formal Methods to Software Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WETICE ![In: 14th IEEE International Workshops on Enabling Technologies (WETICE 2005), 13-15 June 2005, Linköping, Sweden, pp. 160-165, 2005, IEEE Computer Society, 0-7695-2362-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Samir Bouabdallah, Roland Siegwart |
Towards Intelligent Miniature Flying Robots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSR ![In: Field and Service Robotics, Results of the 5th International Conference, FSR 2005, July 29-31, 2005, Port Douglas, QLD, Australia, pp. 429-440, 2005, Springer, 978-3-540-33452-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroGP ![In: Genetic Programming, 8th European Conference, EuroGP2005, Lausanne, Switzerland, March 30 - April 1, 2005, Proceedings, pp. 250-260, 2005, Springer, 3-540-25436-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Evolvable Hardware ![In: 2005 NASA / DoD Conference on Evolvable Hardware (EH 2005), 29 June - 1 July 2005, Washington, DC, USA, pp. 131-138, 2005, IEEE Computer Society, 0-7695-2399-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIS (1) ![In: Computational Intelligence and Security, International Conference, CIS 2005, Xi'an, China, December 15-19, 2005, Proceedings, Part I, pp. 528-535, 2005, Springer, 3-540-30818-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Auton. Robots ![In: Auton. Robots 17(1), pp. 79-92, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Robotic Syst. ![In: J. Intell. Robotic Syst. 39(4), pp. 365-391, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 30(4), pp. 257-277, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 21(2), pp. 19-25, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 21(1), pp. 42-49, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC ![In: 7th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2004), 12-14 May 2004, Vienna, Austria, pp. 15-22, 2004, IEEE Computer Society, 0-7695-2124-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Thomas Kämpke, Alberto Elfes |
Optimal Wind-assisted Flight Planning for Planetary Aerobots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: Proceedings of the 2004 IEEE International Conference on Robotics and Automation, ICRA 2004, April 26 - May 1, 2004, New Orleans, LA, USA, pp. 2542-2549, 2004, IEEE. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Gianluca Antonelli, Fabrizio Caccavale, Carlo Sansone, Luigi Villani |
Fault Diagnosis for AUVs using Support Vector Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: Proceedings of the 2004 IEEE International Conference on Robotics and Automation, ICRA 2004, April 26 - May 1, 2004, New Orleans, LA, USA, pp. 4486-4491, 2004, IEEE. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: Proceedings of the 2004 IEEE International Conference on Robotics and Automation, ICRA 2004, April 26 - May 1, 2004, New Orleans, LA, USA, pp. 4893-4898, 2004, IEEE. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WICSA ![In: 4th Working IEEE / IFIP Conference on Software Architecture (WICSA 2004), 12-15 June 2004, Oslo, Norway, pp. 255-276, 2004, IEEE Computer Society, 0-7695-2172-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Allen P. Nikora, John C. Munson |
The Effects of Fault Counting Methods on Fault Model Quality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 28th International Computer Software and Applications Conference (COMPSAC 2004), Design and Assessment of Trustworthy Software-Based Systems, 27-30 September 2004, Hong Kong, China, Proceedings, pp. 192-201, 2004, IEEE Computer Society, 0-7695-2209-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), CD-ROM / Abstracts Proceedings, 26-30 April 2004, Santa Fe, New Mexico, USA, 2004, IEEE Computer Society, 0-7695-2132-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Jon Ahn, Kyungtae Lee |
A Computational Method for the Performance Modeling and Design of a Ducted Fan System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AsiaSim ![In: Systems Modeling and Simulation: Theory and Applications, Third Asian Simulation Conference, AsiaSim 2004, Jeju Island, Korea, October 4-6, 2004, Revised Selected Papers, pp. 113-121, 2004, Springer, 3-540-24477-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
12 | A. E. Lindsey, Charles Pecheur |
Simulation-Based Verification of Autonomous Controllers via Livingstone PathFinder. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings, pp. 357-371, 2004, Springer, 3-540-21299-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISESE ![In: 2004 International Symposium on Empirical Software Engineering (ISESE 2004), 19-20 August 2004, Redondo Beach, CA, USA, pp. 117-126, 2004, IEEE Computer Society, 0-7695-2165-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 37th Hawaii International Conference on System Sciences (HICSS-37 2004), CD-ROM / Abstracts Proceedings, 5-8 January 2004, Big Island, HI, USA, 2004, IEEE Computer Society, 0-7695-2056-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Keith Whisnant, Zbigniew Kalbarczyk, Ravishankar K. Iyer |
A Foundation for Adaptive Fault Tolerance in Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 10th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2003), 7-10 April 2003, Huntsville, AL, USA, pp. 252-260, 2003, IEEE Computer Society, 0-7695-1917-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Nicolas F. Rouquette |
UML/MDA Reality Check: Heterogenous Architecture Style. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UML ![In: «UML» 2003 - The Unified Modeling Language, Modeling Languages and Applications, 6th International Conference, San Francisco, CA, USA, October 20-24, 2003, Proceedings, pp. 143, 2003, Springer, 3-540-20243-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
12 | David P. Gilliam |
Managing Information Technology Security Risk. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSS ![In: Software Security - Theories and Systems, Second Mext-NSF-JSPS International Symposium, ISSS 2003, Tokyo, Japan, November 4-6, 2003, Revised Papers, pp. 296-317, 2003, Springer, 3-540-23635-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EGOV ![In: Electronic Government, Second International Conference, EGOV 2003, Prague, Czech Republic, September 1-5, 2003, Proceedings, pp. 351-354, 2003, Springer, 3-540-40845-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Pietro Torasso, Gianluca Torta |
Computing Minimum-Cardinality Diagnoses Using OBDDs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI ![In: KI 2003: Advances in Artificial Intelligence, 26th Annual German Conference on AI, KI 2003, Hamburg, Germany, September 15-18, 2003, Proceedings, pp. 224-238, 2003, Springer, 3-540-20059-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Xenofon D. Koutsoukos, James Kurien, Feng Zhao 0001 |
Estimation of Distributed Hybrid Systems Using Particle Filtering Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control, 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings, pp. 298-313, 2003, Springer, 3-540-00913-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CBMS ![In: 16th IEEE Symposium on Computer-Based Medical Systems (CBMS 2003), 26-27 June 2003, New York, NY, USA, pp. 117-123, 2003, IEEE Computer Society, 0-7695-1901-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEW ![In: 28th Annual IEEE / NASA Software Engineering Workshop (SEW-28 2003), 3-4 December 2003, Greenbelt, Maryland, USA, pp. 201, 2003, IEEE Computer Society, 0-7695-2064-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPP Workshops ![In: 32nd International Conference on Parallel Processing Workshops (ICPP 2003 Workshops), 6-9 October 2003, Kaohsiung, Taiwan, pp. 181-190, 2003, IEEE Computer Society, 0-7695-2018-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Allen P. Nikora, John C. Munson |
Understanding the Nature of Software Evolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: 19th International Conference on Software Maintenance (ICSM 2003), The Architecture of Existing Systems, 22-26 September 2003, Amsterdam, The Netherlands, pp. 83-, 2003, IEEE Computer Society, 0-7695-1905-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Gloria Mark |
Extreme collaboration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 45(6), pp. 89-93, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSN ![In: 2002 International Conference on Dependable Systems and Networks (DSN 2002), 23-26 June 2002, Bethesda, MD, USA, Proceedings, pp. 337-344, 2002, IEEE Computer Society, 0-7695-1597-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSN ![In: 2001 International Conference on Dependable Systems and Networks (DSN 2001) (formerly: FTCS), 1-4 July 2001, Göteborg, Sweden, Proceedings, pp. 501-506, 2001, IEEE Computer Society, 0-7695-1101-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CBMS ![In: 14th IEEE Symposium on Computer-Based Medical Systems (CBMS 2001), 26-27 July 2001, Bethesda, MD, USA, pp. 65-72, 2001, IEEE Computer Society, 0-7695-1004-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPDC ![In: 10th IEEE International Symposium on High Performance Distributed Computing (HPDC-10 2001), 7-9 August 2001, San Francisco, CA, USA, pp. 22-, 2001, IEEE Computer Society, 0-7695-1296-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WETICE ![In: 10th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2001), 20-22 June 2001, Cambridge, MA, USA, pp. 144-149, 2001, IEEE Computer Society, 0-7695-1269-0. The full citation details ...](Pics/full.jpeg) |
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][ >>] |
|