|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 269 occurrences of 152 keywords
|
|
|
Results
Found 1577 publication records. Showing 1575 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
12 | Witold Walke, Jan Marciniak, Zbigniew Paszenda, Marcin Kaczmarek, Jerzy Cieplak |
Biomechanical Behaviour of Double Threaded Screw in Tibia Fixation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Information Technologies in Biomedicine ![In: Information Technologies in Biomedicine, pp. 521-528, 2008, Springer, 978-3-540-68167-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Jan Marciniak, Marcin Kaczmarek, Witold Walke, Jerzy Cieplak |
Biomechanical Analysis of Plate for Corrective Osteotomy of Tibia. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Information Technologies in Biomedicine ![In: Information Technologies in Biomedicine, pp. 545-550, 2008, Springer, 978-3-540-68167-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Satya Saripalli, Vikram Dalal |
Microcrystalline silicon-germanium solar cells fabricated using VHF PECVD. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EIT ![In: 2008 IEEE International Conference on Electro/Information Technology, EIT 2008, held at Iowa State University, Ames, Iowa, USA, May 18-20, 2008, pp. 414-418, 2008, IEEE, 978-1-4244-2030-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Nazareno Aguirre, Marcelo F. Frias, Pablo Ponzio, Brian J. Cardiff, Juan P. Galeotti, Germán Regis |
Towards Abstraction for DynAlloy Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings, pp. 207-225, 2008, Springer, 978-3-540-88193-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Josiah Rosmarin, H. Harry Asada |
Synergistic design of a humanoid hand with hybrid DC motor - SMA array actuators embedded in the palm. ![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. 773-778, 2008, IEEE. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Mami Nishida, Kazuo Tanaka |
The quadruped locomotion robot with the flexible materials. ![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. 2649-2654, 2008, IEEE, 978-1-4244-2057-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Aaron M. Hoover, Erik Steltz, Ronald S. Fearing |
RoACH: An autonomous 2.4g crawling hexapod robot. ![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. 26-33, 2008, IEEE, 978-1-4244-2057-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Emina Torlak, Felix Sheng-Ho Chang, Daniel Jackson 0001 |
Finding Minimal Unsatisfiable Cores of Declarative Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2008: Formal Methods, 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings, pp. 326-341, 2008, Springer, 978-3-540-68235-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Roberto Bruni, Antonio Bucchiarone, Stefania Gnesi, Dan Hirsch, Alberto Lluch-Lafuente |
Graph-Based Design and Analysis of Dynamic Software Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrency, Graphs and Models ![In: Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday, pp. 37-56, 2008, Springer, 978-3-540-68676-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Mohammad Al Janaideh, Jianqin Mao, Subhash Rakheja, Wen-Fang Xie, Chun-Yi Su |
Generalized Prandtl-Ishlinskii hysteresis model: Hysteresis modeling and its inverse for compensation in smart actuators. ![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. 5182-5187, 2008, IEEE, 978-1-4244-3123-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Guihua Hu, Wenhua Zhu, Tao Yu, Jin Yuan |
Numerical Simulation and Experimental Study of Liquid-Solid Two-Phase Flow in Nozzle of DIA Jet. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIC (3) ![In: Advanced Intelligent Computing Theories and Applications. With Aspects of Contemporary Intelligent Computing Techniques, 4th International Conference on Intelligent Computing, ICIC 2008, Shanghai, China, September 15-18, 2008, Proceedings, pp. 92-100, 2008, Springer, 978-3-540-85929-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
DIA Jet, liquid-solid two-phase flow, the optimum ratio of diameter to length, cutting experiments, numerical simulation |
12 | Dionisio de Niz |
Architectural Concurrency Equivalence with Chaotic Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MOMPES ![In: Model-based Methodologies for Pervasive and Embedded Software, 5th International Workshop on Model-based Methodologies for Pervasive and Embedded Software, MOMPES 2008, Budapest, Hungary, April 5, 2008, Proceedings, pp. 57-67, 2008, IEEE Computer Society, 0-7695-3104-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Satu Tamminen, Ilmari Juutilainen, Juha Röning |
Product design model for impact toughness estimation in steel plate manufacturing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCNN ![In: Proceedings of the International Joint Conference on Neural Networks, IJCNN 2008, part of the IEEE World Congress on Computational Intelligence, WCCI 2008, Hong Kong, China, June 1-6, 2008, pp. 989-992, 2008, IEEE, 978-1-4244-1820-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Lin-Wang Wang, Byounghak Lee, Hongzhang Shan, Zhengji Zhao, Juan C. Meza, Erich Strohmaier, David H. Bailey |
Linearly scaling 3D fragment method for large-scale electronic structure calculations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC ![In: Proceedings of the ACM/IEEE Conference on High Performance Computing, SC 2008, November 15-21, 2008, Austin, Texas, USA, pp. 65, 2008, IEEE/ACM, 978-1-4244-2835-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Stephen Wong, Jing Sun 0002, Ian Warren, Jun Sun 0001 |
A Scalable Approach to Multi-style Architectural Modeling and Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 13th International Conference on Engineering of Complex Computer Systems (ICECCS 2008), March 31 2008 - April 3 2008, Belfast, Northern Ireland, pp. 25-34, 2008, IEEE Computer Society, 0-7695-3139-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Ignace Tchangou Toudjeu, Barend J. van Wyk, Michaël A. van Wyk, Frans van den Bergh |
Global Image Feature Extraction Using Slope Pattern Spectra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIAR ![In: Image Analysis and Recognition, 5th International Conference, ICIAR 2008, Póvoa de Varzim, Portugal, June 25-27, 2008. Proceedings, pp. 640-649, 2008, Springer, 978-3-540-69811-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Pattern spectra, feature extraction, texture analysis, integral image |
12 | Huabin Chen, Tao Lin 0011, Shanben Chen, Jifeng Wang, Jianqiang Jia, Hui Zhang |
Adaptive control on wire feeding in robot arc welding system. ![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. 119-122, 2008, IEEE. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Robert Seater, Daniel Jackson 0001, Rohit Gheyi |
Requirement progression in problem frames: deriving specifications from requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Requir. Eng. ![In: Requir. Eng. 12(2), pp. 77-102, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Joseph M. Romano, Robert J. Webster III, Allison M. Okamura |
Teleoperation of Steerable Needles. ![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. 934-939, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Lael Odhner, Jun Ueda, H. Harry Asada |
Stochastic Optimal Control Laws for Cellular Artificial Muscles. ![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. 1554-1559, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Mirko Kovac, André Guignard, Jean-Daniel Nicoud, Jean-Christophe Zufferey, Dario Floreano |
A 1.5g SMA-actuated Microglider looking for the Light. ![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. 367-372, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Keith Houston, Clemens Eder, Arne Sieber, Arianna Menciassi, Maria Chiara Carrozza, Paolo Dario |
Polymer sensorised microgrippers using SMA actuation. ![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. 820-825, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Howard Foster, Sebastián Uchitel, Jeff Kramer, Jeff Magee |
Towards Self-management in Service-Oriented Computing with Modes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSOC Workshops ![In: Service-Oriented Computing - ICSOC 2007 Workshops, International Workshops, Vienna, Austria, September 17, 2007, Revised Selected Papers, pp. 338-350, 2007, Springer, 978-3-540-93850-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Addisson Salazar, Juan M. Unió, Arturo Serrano, Jorge Gosálbez |
Neural Networks for Defect Detection in Non-destructive Evaluation by Sonic Signals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWANN ![In: Computational and Ambient Intelligence, 9th International Work-Conference on Artificial Neural Networks, IWANN 2007, San Sebastián, Spain, June 20-22, 2007, Proceedings, pp. 638-645, 2007, Springer, 978-3-540-73006-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Emmanuel M. Tadjouddine, Frank Guerin |
Verifying Dominant Strategy Equilibria in Auctions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CEEMAS ![In: Multi-Agent Systems and Applications V, 5th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2007, Leipzig, Germany, September 25-27, 2007, Proceedings, pp. 288-297, 2007, Springer, 978-3-540-75253-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Mami Nishida, Kazuo Tanaka |
Application of FFP-actuators to legged locomotion robots. ![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. 2993-2998, 2007, IEEE, 978-1-4244-0912-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Jagadeesan Jayender, Mahdi Azizian, Rajni V. Patel |
Autonomous robot-assisted active catheter insertion using image guidance. ![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. 889-894, 2007, IEEE, 978-1-4244-0912-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Fernando Valles-Barajas |
A Formal Model for the Building of State Machines: A Lightweight Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEW ![In: 31st Annual IEEE / NASA Software Engineering Workshop (SEW-31 2007), 6-8 March 2007, Loyola College, Columbia, MD, USA, pp. 194-203, 2007, IEEE Computer Society, 0-7695-2862-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
12 | U-Xuan Tan, Win Tun Latt, Cheng Yap Shee, Wei Tech Ang |
Rate-Dependent Hysteresis Model of Piezoelectric using Singularity Free Prandtl-Ishlinskii Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIRA ![In: Proceedings of the 7th IEEE International Symposium on Computational Intelligence in Robotics and Automation, CIRA 2007, 20-23 June 2007, Jacksonville, Florida, USA, pp. 356-361, 2007, IEEE, 1-4244-0790-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Derek Rayside, Lucy Mendel |
Object ownership profiling: a technique for finding and fixing memory leaks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), November 5-9, 2007, Atlanta, Georgia, USA, pp. 194-203, 2007, ACM, 978-1-59593-882-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
object ownership, java, memory leaks |
12 | Robert Scheibe, Mathias Moehring, Bernd Froehlich 0001 |
Tactile Feedback at the Finger Tips for Improved Direct Interaction in Immersive Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VR ![In: IEEE Virtual Reality Conference, VR 2007, 10-14 March 2007, Charlotte, NC, USA, Proceedings, pp. 293-294, 2007, IEEE Computer Society, 1-4244-0905-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Lei Wang, Padmanabhan Krishnan |
A Framework for Checking Behavioral Compatibility for Component Selection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASWEC ![In: 17th Australian Software Engineering Conference (ASWEC 2006), 18-21 April 2006, Sydney, Australia, pp. 49-60, 2006, IEEE Computer Society, 0-7695-2551-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
light weight formal methods, tool support, interface specification, component selection |
12 | Marcelo F. Frias, Rodolfo Gamarra, Gabriela Steren, Lorena Bourg |
Monotonicity Analysis Can Speed Up Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Relations and Kleene Algebra in Computer Science, 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29-September 2, 2006, Proceedings, pp. 177-191, 2006, Springer, 3-540-37873-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Levente Vitos, Börje Johansson |
Mechanical Properties of Random Alloys from Quantum Mechanical Simulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARA ![In: Applied Parallel Computing. State of the Art in Scientific Computing, 8th International Workshop, PARA 2006, Umeå, Sweden, June 18-21, 2006, Revised Selected Papers, pp. 510-519, 2006, Springer, 978-3-540-75754-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Trung T. Dinh-Trong, Sudipto Ghosh, Robert B. France |
A Systematic Approach to Generate Inputs to Test UML Design Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSRE ![In: 17th International Symposium on Software Reliability Engineering (ISSRE 2006), 7-10 November 2006, Raleigh, North Carolina, USA, pp. 95-104, 2006, IEEE Computer Society, 0-7695-2684-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Lael Odhner, Jun Ueda, H. Harry Asada |
Feedback Control of Stochastic Cellular Actuators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISER ![In: Experimental Robotics, The 10th International Symposium on Experimental Robotics [ISER '06, July 6-10, 2006, Rio de Janeiro, Brazil], pp. 481-490, 2006, Springer, 978-3-540-77456-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Lei Wang, Padmanabhan Krishnan |
An Approach to Provisioning E-Commerce Applications with Commercial Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEBE ![In: 2006 IEEE International Conference on e-Business Engineering (ICEBE 2006), 24-26 October 2006, Shanghai, China, pp. 323-330, 2006, IEEE Computer Society, 0-7695-2645-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Juan P. Galeotti, Marcelo F. Frias |
DynAlloy as a Formal Method for the Analysis of Java Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SET ![In: Software Engineering Techniques: Design for Quality, SET 2006, October 17-20, 2006, Warsaw, Poland, pp. 249-260, 2006, Springer, 978-0-387-39387-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
12 | D. Ghosh, David C. Tou Wei |
Material Classification Using Morphological Pattern Spectrum for Extracting Textural Features from Material Micrographs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACCV (2) ![In: Computer Vision - ACCV 2006, 7th Asian Conference on Computer Vision, Hyderabad, India, January 13-16, 2006, Proceedings, Part II, pp. 623-632, 2006, Springer, 3-540-31244-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Yunfeng Bai, Daming Xu, Weisheng Bi, Jingjie Guo, Hengzhi Fu |
Numerical Simulation for the Transport Phenomena in Melting Processes of Blade-Like Castings Using a Continuum Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMSCCS (2) ![In: Interdisciplinary and Multidisciplinary Research in Computer Science, IEEE CS Proceeding of the First International Multi-Symposium of Computer and Computational Sciences (IMSCCS|06), June 20-24, 2006, Zhejiang University, Hangzhou, China, Vol. 2, pp. 807-814, 2006, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Jin Song Dong |
From semantic web to expressive software specifications: a modeling languages spectrum. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 28th International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 20-28, 2006, pp. 1063-1064, 2006, ACM, 1-59593-375-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Francisco García-Córdova, Juan Ignacio Mulero Martínez |
Neuromuscular-Like Control for an Artificial Finger with SMA Actuators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Conference on Artificial Intelligence ![In: AI 2006: Advances in Artificial Intelligence, 19th Australian Joint Conference on Artificial Intelligence, Hobart, Australia, December 4-8, 2006, Proceedings, pp. 678-688, 2006, Springer, 3-540-49787-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Fernando Castor Filho, Patrick H. S. Brito, Cecília M. F. Rubira |
A framework for analyzing exception flow in software architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 30(4), pp. 1-7, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
exception handling, architecture analysis, architecture documentation |
12 | D'Arcy Walsh, Francis Bordeleau, Bran Selic |
A Domain Model for Dynamic System Reconfiguration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Model Driven Engineering Languages and Systems, 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings, pp. 553-567, 2005, Springer, 3-540-29010-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Rohit Gheyi, Tiago Massoni |
Formal refactorings for object models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2005, October 16-20, 2005, San Diego, CA, USA, pp. 208-209, 2005, ACM, 1-59593-193-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
theorem proving, object models, model refactoring |
12 | D. Roy Mahapatra, Roderick V. N. Melnik |
Computational Modeling of Coupled Dynamic Phase Transformations in Shape Memory Alloys. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPCS ![In: 19th Annual International Symposium on High Performance Computing Systems and Applications (HPCS 2005), 15-18 May 2005, Guelph, Ontario, Canada, pp. 267-273, 2005, IEEE Computer Society, 0-7695-2343-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Andreas Schaad |
Revocation of Obligation and Authorisation Policy Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DBSec ![In: Data and Applications Security XIX, 19th Annual IFIP WG 11.3 Working Conference on Data and Applications Security, Storrs, CT, USA, August 7-10, 2005, Proceedings, pp. 28-39, 2005, Springer, 3-540-28138-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Darko Marinov, Sarfraz Khurshid, Suhabe Bugrara, Lintao Zhang, Martin C. Rinard |
Optimizations for Compiling Declarative Models into Boolean Formulas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAT ![In: Theory and Applications of Satisfiability Testing, 8th International Conference, SAT 2005, St. Andrews, UK, June 19-23, 2005, Proceedings, pp. 187-202, 2005, Springer, 3-540-26276-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Linxiang X. Wang, Roderick V. N. Melnik |
Simulation of Nonlinear Thermomechanical Waves with an Empirical Low Dimensional Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science (1) ![In: Computational Science - ICCS 2005, 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part I, pp. 884-891, 2005, Springer, 3-540-26032-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Nonlinear waves, thermo-mechanical dynamics, proper orthogonal decompositions, Galerkin projections |
12 | D. Roy Mahapatra, Roderick V. N. Melnik |
A Dynamic Model for Phase Transformations in 3D Samples of Shape Memory Alloys. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science (3) ![In: Computational Science - ICCS 2005, 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part III, pp. 25-32, 2005, Springer, 3-540-26044-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Sean A. Stauth, Babak A. Parviz |
Integration of Silicon Circuit Components Onto Plastic substrates Using Fluidic Self-Assembly. ![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. 147-152, 2005, IEEE Computer Society, 0-7695-2398-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Masaaki Tanaka |
Injecting and controlling spin populations and currents in semiconductors using optically induced quantum interference effects. ![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. 10, 2005, IEEE Computer Society, 0-7695-2398-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
12 | L. Däweritz, K. H. Ploog |
Ferromagnetic III-V Semiconductor Films with High Transition Temperature. ![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. 42-45, 2005, IEEE Computer Society, 0-7695-2398-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Rohit Gheyi, Tiago Massoni, Paulo Borba |
A rigorous approach for proving model refactorings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), November 7-11, 2005, Long Beach, CA, USA, pp. 372-375, 2005, ACM, 1-58113-993-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
theorem proving, model refactoring |
12 | Joanna Berzowska, Marcelo Coelho |
Kukkia and Vilkas: Kinetic Electronic Garments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISWC ![In: Ninth IEEE International Symposium on Wearable Computers (ISWC 2005), 18-21 October 2005, Osaka, Japan, pp. 82-85, 2005, IEEE Computer Society, 0-7695-2419-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Qin Yao, Sheng Jin 0005, Pei-Sun Ma |
The Micro Trolley Based on SMA and its Control System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Robotic Syst. ![In: J. Intell. Robotic Syst. 39(2), pp. 199-208, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
micro trolley, SMA, elastic rubber band, anti-reverse device |
12 | Francis G. Pascual |
Optimal test planning for the fatigue-limit model when the fatigue-limit distribution is known. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Reliab. ![In: IEEE Trans. Reliab. 53(2), pp. 284-292, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Christie Bolton, Gavin Lowe |
Analyses of the Reverse Path Forwarding Routing Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSN ![In: 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June - 1 July 2004, Florence, Italy, Proceedings, pp. 485-494, 2004, IEEE Computer Society, 0-7695-2052-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Shuxiang Guo, Toshio Fukuda |
SMA Actuator-based Novel Type of Micropump for Biomedical Application. ![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. 1616-1621, 2004, IEEE. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Kyu-Jin Cho, Binayak Roy, Stephen A. Mascaro, H. Harry Asada |
A Vast DOF Robotic Car Seat using SMA Actuators with a Matrix Drive System. ![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. 3647-3652, 2004, IEEE. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Andreas Schaad, Jonathan D. Moffett |
Separation, review and supervision controls in the context of a credit application process: a case study of organisational control principles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), Nicosia, Cyprus, March 14-17, 2004, pp. 1380-1384, 2004, ACM, 1-58113-812-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
control principles, delegation of obligation, security, management, roles, review, supervision |
12 | Kevin J. Sullivan, Jinlin Yang, David Coppit, Sarfraz Khurshid, Daniel Jackson 0001 |
Software assurance by bounded exhaustive testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2004, Boston, Massachusetts, USA, July 11-14, 2004, pp. 133-142, 2004, ACM, 1-58113-820-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
TestEra, formal methods, reverse engineering, specification-based testing, automated test case generation, bounded exhaustive testing |
12 | Jonathan Edwards, Daniel Jackson 0001, Emina Torlak, Vincent Yeung |
Faster constraint solving with subtypes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2004, Boston, Massachusetts, USA, July 11-14, 2004, pp. 232-242, 2004, ACM, 1-58113-820-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
relational logic, verification, constraints, analysis, SAT, subtypes |
12 | Lynette A. Jones, Mealani Nakamura, Brett Lockyer |
Development of a Tactile Vest. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HAPTICS ![In: 12th International Symposium on Haptic Interfaces for Virtual Environment and Teleoperator Systems (HAPTICS 2004), 27-28 March 2004, Chicago, IL, USA, Proceedings, pp. 82-89, 2004, IEEE Computer Society, 0-7695-2112-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Ken-ichi Anjyo, Katsuaki Hiramitsu |
Stylized Highlights for Cartoon Rendering and Animation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Computer Graphics and Applications ![In: IEEE Computer Graphics and Applications 23(4), pp. 54-61, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Siavash Haroun Mahdavi, Peter J. Bentley |
An Evolutionary Approach to Damage Recovery of robot Motion with Muscles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAL ![In: Advances in Artificial Life, 7th European Conference, ECAL 2003, Dortmund, Germany, September 14-17, 2003, Proceedings, pp. 248-255, 2003, Springer, 3-540-20057-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Mealani Nakamura, Lynette A. Jones |
An Actuator for the Tactile Vest - A Torso-Based Haptic Device. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HAPTICS ![In: 11th International Symposium on Haptic Interfaces for Virtual Environment and Teleoperator Systems (HAPTICS 2003), 22-23 March 2003, Los Angeles, CA, USA, Proceedings, pp. 333-339, 2003, IEEE Computer Society, 0-7695-1890-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Roderick V. N. Melnik, Linxiang X. Wang, Piotr P. Matus, Iryna Rybak |
Computational Aspects of Conservative Difference Schemes for Shape Memory Alloys Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (2) ![In: Computational Science and Its Applications - ICCSA 2003, International Conference, Montreal, Canada, May 18-21, 2003, Proceedings, Part II, pp. 791-800, 2003, Springer, 3-540-40161-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Manuel Koch, Francesco Parisi-Presicce |
Visual Specifications of Policies and Their Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, 6th International Conference, FASE 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings, pp. 278-293, 2003, Springer, 3-540-00899-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
12 | Akihiko Hanafusa, Tsuneshi Isomura, Yukio Sekiguchi, Hajime Takahashi, Takeyoshi Dohi |
Orthosis Design System for Malformed Ears Based on Spline Approximation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICCAI (2) ![In: Medical Image Computing and Computer-Assisted Intervention - MICCAI 2002, 5th International Conference, Tokyo, Japan, September 25-28, 2002, Proceedings, Part II, pp. 227-234, 2002, Springer, 3-540-44225-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
12 | Andreas Schaad, Jonathan D. Moffett |
A Framework for Organisational Control Principles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSAC ![In: 18th Annual Computer Security Applications Conference (ACSAC 2002), 9-13 December 2002, Las Vegas, NV, USA, pp. 229-238, 2002, IEEE Computer Society, 0-7695-1828-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
12 | Daniel Jackson 0001 |
Automating first-order relational logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSOFT FSE ![In: ACM SIGSOFT Symposium on Foundations of Software Engineering, an Diego, California, USA, November 6-10, 2000, Proceedings, pp. 130-139, 2000, ACM, 978-1-58113-205-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
model finding, relational logic, first-order logic, object models, SAT solvers, constraint solvers, Z specification, automatic analysis |
12 | Mandana Vaziri, Daniel Jackson 0001 |
Some Shortcomings of OCL, the Object Constraint Language of UML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (34) ![In: TOOLS 2000: 34th International Conference on Technology of Object-Oriented Languages and Systems, 30 July - 3 August 2000, Santa Barbara, CA, USA, pp. 555-562, 2000, IEEE Computer Society, 0-7695-0774-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
12 | D. Guillet, K. Mourgues, R. Rogel, H. Lhermite, Olivier Bonnaud |
Student Realization in Cleanroom of Silicon-Germanium Thin Film Transistors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSE ![In: IEEE International Conference on Microelectronic Systems Education, MSE 1999, Arlington, Virginia, USA, July 19-21, 1999, pp. 69-70, 1999, IEEE Computer Society, 0-7695-0312-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
12 | Lyle H. Ungar, N. Ramprasad, R. A. Brown |
Finite element methods for unsteady solidification problems arising in prediction of morphological structure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Sci. Comput. ![In: J. Sci. Comput. 3(1), pp. 77-108, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
Solidification Microstructure, moving boundary problem, finite element method |
Displaying result #1501 - #1575 of 1575 (100 per page; Change: ) Pages: [ <<][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ 16] |
|