|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 33830 occurrences of 11165 keywords
|
|
|
Results
Found 43425 publication records. Showing 43422 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
11 | Kai Jakobs |
Standardization in Information Technology - Minitrack Introduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 34th Annual Hawaii International Conference on System Sciences (HICSS-34), January 3-6, 2001, Maui, Hawaii, USA, 2001, IEEE Computer Society, 0-7695-0981-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
11 | Steffen Skatulla, Ralf Schaarschmidt, Peter Pistor, Klaus Küspert |
Entwurf und Implementierung eines SQL-normkonformen Datenbankkatalogs fuer ein relationales Datenbankmanagementsystem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inform. Forsch. Entwickl. ![In: Inform. Forsch. Entwickl. 15(3), pp. 161-170, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Relationales Datenbankmanagementsystem, Datenbankkatalog, Normierung, SQL |
11 | Reinhard Pichler |
Extending Decidable Clause Classes via Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTP (LNCS Selection) ![In: Automated Deduction in Classical and Non-Classical Logics, Selected Papers, pp. 206-220, 1998, Springer, 3-540-67190-0. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
11 | Jeffrey D. Ullman, Mihalis Yannakakis |
The Input/Output Complexity of Transitive Closure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the 1990 ACM SIGMOD International Conference on Management of Data, Atlantic City, NJ, USA, May 23-25, 1990., pp. 44-53, 1990, ACM Press, 978-0-89791-365-2. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
10 | Boting Yang, Yi Cao |
Standard directed search strategies and their applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Optim. ![In: J. Comb. Optim. 17(4), pp. 378-399, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Oriented grids, Pursuit-evasion problem, Digraph, Directed search |
10 | Mehran Mozaffari Kermani, Arash Reyhani-Masoleh |
A low-cost S-box for the Advanced Encryption Standard using normal basis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EIT ![In: 2009 IEEE International Conference on Electro/Information Technology, EIT 2009, Windsor, Ontario, Canada, June 7-9, 2009, pp. 52-55, 2009, IEEE, 978-1-4244-3355-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Soukeina Ben Chikha, Kirmene Marzouki |
Making Standard SOM Invariant to the Initial Conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWANN (1) ![In: Bio-Inspired Systems: Computational and Ambient Intelligence, 10th International Work-Conference on Artificial Neural Networks, IWANN 2009, Salamanca, Spain, June 10-12, 2009. Proceedings, Part I, pp. 204-211, 2009, Springer, 978-3-642-02477-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Clustering, Self Organizing Maps (SOM), Learning process |
10 | Hans-Juergen Boehm, Mike Spertus |
Garbage collection in the next C++ standard. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMM ![In: Proceedings of the 8th International Symposium on Memory Management, ISMM 2009, Dublin, Ireland, June 19-20, 2009, pp. 30-38, 2009, ACM, 978-1-60558-347-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
C++, garbage collection |
10 | Susan Hohenberger, Brent Waters |
Realizing Hash-and-Sign Signatures under Standard Assumptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCRYPT ![In: Advances in Cryptology - EUROCRYPT 2009, 28th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Cologne, Germany, April 26-30, 2009. Proceedings, pp. 333-350, 2009, Springer, 978-3-642-01000-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Sandro Hawke |
Bringing Order to Chaos: RIF as the New Standard for Rule Interchange. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RuleML ![In: Rule Interchange and Applications, International Symposium, RuleML 2009, Las Vegas, Nevada, USA, November 5-7, 2009. Proceedings, pp. 1, 2009, Springer, 978-3-642-04984-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
10 | José Luis Martínez-Fernández, Paloma Martínez Fernández, José Carlos González Cristóbal |
Towards an Improvement of Software Development Processes through Standard Business Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RuleML ![In: Rule Interchange and Applications, International Symposium, RuleML 2009, Las Vegas, Nevada, USA, November 5-7, 2009. Proceedings, pp. 159-166, 2009, Springer, 978-3-642-04984-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Rules Interchange Format, Model Driven Architecture, MDA, OWL, Business Rules, production rules, rule engines, RIF, Ontology Web Language |
10 | Björn Lundell, Brian Lings |
Openness to Standard Document Formats in Swedish Public Sector Organisations. (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
OSS ![In: Open Source Ecosystems: Diverse Communities Interacting, 5th IFIP WG 2.13 International Conference on Open Source Systems, OSS 2009, Skövde, Sweden, June 3-6, 2009. Proceedings, pp. 320-329, 2009, Springer, 978-3-642-02031-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Cathal Boogerd, Leon Moonen |
Evaluating the relation between coding standard violations and faultswithin and across software versions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSR ![In: Proceedings of the 6th International Working Conference on Mining Software Repositories, MSR 2009 (Co-located with ICSE), Vancouver, BC, Canada, May 16-17, 2009, Proceedings, pp. 41-50, 2009, IEEE Computer Society, 978-1-4244-3493-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Weiguang Sheng, Liyi Xiao, Zhigang Mao |
Soft error optimization of standard cell circuits based on gate sizing and multi-objective genetic algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 46th Design Automation Conference, DAC 2009, San Francisco, CA, USA, July 26-31, 2009, pp. 502-507, 2009, ACM, 978-1-60558-497-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
genetic algorithm, optimization, soft error, multi-objective |
10 | Giorgio Fasano |
MIP-based heuristic for non-standard 3D-packing problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
4OR ![In: 4OR 6(3), pp. 291-310, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
MSC classification (2000) 05B40, 90C90, 90C59, 90C11, 68T20 |
10 | Ruihu Li, Zongben Xu, Xueliang Li 0001 |
Standard Forms of Stabilizer and Normalizer Matrices for Additive Quantum Codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 54(8), pp. 3775-3778, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Xinghua Wang 0001, Peipei Tang |
A generalization of Müller's iteration method based on standard information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numer. Algorithms ![In: Numer. Algorithms 48(4), pp. 347-359, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 65D05, 41A20, 41A05 |
10 | Ricardo Soto 0001, Laurent Granvilliers |
On the Pursuit of a Standard Language for Object-Oriented Constraint Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
New Challenges in Applied Intelligence Technologies ![In: New Challenges in Applied Intelligence Technologies, pp. 123-133, 2008, Springer, 978-3-540-79354-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Languages, Constraint Programming, Constraint Satisfaction Problems, Constraint Modeling |
10 | Khaled Mamou, Titus B. Zaharia, Françoise J. Prêteux, Ayman Kamoun, Frédéric Payan, Marc Antonini |
Two optimizations of the MPEG-4 FAMC standard for enhanced compression of animated 3D meshes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP ![In: Proceedings of the International Conference on Image Processing, ICIP 2008, October 12-15, 2008, San Diego, California, USA, pp. 1764-1767, 2008, IEEE, 978-1-4244-1765-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Alex Villazón, Walter Binder, Philippe Moret |
Aspect weaving in standard Java class libraries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPPJ ![In: Proceedings of the 6th International Symposium on Principles and Practice of Programming in Java, PPPJ 2008, Modena, Italy, September 9-11, 2008, pp. 159-167, 2008, ACM, 978-1-60558-223-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
memory leak detection, aspect-oriented programming, profiling, bytecode instrumentation, aspect weaving |
10 | Ken Huang, Paul Douthit |
ST&E Is the Most Cost Effective Measure for Comply with Payment Card Industry (PCI) Data Security Standard. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Financial Cryptography ![In: Financial Cryptography and Data Security, 12th International Conference, FC 2008, Cozumel, Mexico, January 28-31, 2008, Revised Selected Papers, pp. 321-322, 2008, Springer, 978-3-540-85229-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Matthew Robert Fowler, Elias Stipidis, Falah H. Ali |
Practical Verification of an Embedded Beowulf Architecture Using Standard Cluster Benchmarks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSEA ![In: Proceedings of the Third International Conference on Software Engineering Advances, ICSEA 2008, October 26-31, 2008, Sliema, Malta, pp. 140-145, 2008, IEEE Computer Society, 978-0-7695-3372-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Stéphane Badel, Erdem Guleyupoglu, Ozgur Inac, Anna Pena Martinez, Paolo Vietti, Frank K. Gürkaynak, Yusuf Leblebici |
A Generic Standard Cell Design Methodology for Differential Circuit Styles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: Design, Automation and Test in Europe, DATE 2008, Munich, Germany, March 10-14, 2008, pp. 843-848, 2008, ACM, 978-3-9810801-3-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Ata Kabán |
A Probabilistic Neighbourhood Translation Approach for Non-standard Text Categorisation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discovery Science ![In: Discovery Science, 11th International Conference, DS 2008, Budapest, Hungary, October 13-16, 2008. Proceedings, pp. 332-343, 2008, Springer, 978-3-540-88410-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Xiangjun Zhang, Xiaolin Wu 0001 |
Standard-compliant multiple description image coding by spatial multiplexing and constrained least-squares restoration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MMSP ![In: International Workshop on Multimedia Signal Processing, MMSP 2008, October 8-10, 2008, Shangri-la Hotel, Cairns, Queensland, Australia, pp. 349-354, 2008, IEEE Signal Processing Society, 978-1-4244-2295-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Douglas L. Maskell, Achutavarrier Prasad Vinod, Graham S. Woods |
Multiplierless multi-standard SDR channel filters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MMSP ![In: International Workshop on Multimedia Signal Processing, MMSP 2008, October 8-10, 2008, Shangri-la Hotel, Cairns, Queensland, Australia, pp. 815-819, 2008, IEEE Signal Processing Society, 978-1-4244-2295-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
10 | François Charot, Christophe Wolinski, Nicolas Fau, François Hamon |
A New Powerful Scalable Generic Multi-Standard LDPC Decoder Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCCM ![In: 16th IEEE International Symposium on Field-Programmable Custom Computing Machines, FCCM 2008, 14-15 April 2008, Stanford, Palo Alto, California, USA, pp. 314-315, 2008, IEEE Computer Society, 978-0-7695-3307-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Jae-sun Seo, Igor L. Markov, Dennis Sylvester, David T. Blaauw |
On the decreasing significance of large standard cells in technology mapping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: 2008 International Conference on Computer-Aided Design, ICCAD 2008, San Jose, CA, USA, November 10-13, 2008, pp. 116-121, 2008, IEEE Computer Society, 978-1-4244-2820-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Andrzej A. Kononowicz, Zdzislaw Wisniowski |
MPEG-7 as a Metadata Standard for Indexing of Surgery Videos in Medical E-Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS (3) ![In: Computational Science - ICCS 2008, 8th International Conference, Kraków, Poland, June 23-25, 2008, Proceedings, Part III, pp. 188-197, 2008, Springer, 978-3-540-69388-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
medical terminology, e-learning, metadata, MeSH, learning objects, MPEG-7 |
10 | Ignacio Martínez, Javier Escayola, Miguel Martínez-Espronceda, Luis Serrano, Jesús D. Trigo, Santiago Led, José García 0001 |
Standard-Based Middleware Platform for Medical Sensor Networks and u-Health. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCCN ![In: Proceedings of the 17th International Conference on Computer Communications and Networks, IEEE ICCCN 2008, St. Thomas, U.S. Virgin Islands, August 3-7, 2008, pp. 714-719, 2008, IEEE, 978-1-4244-2390-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Brenda Leticia Flores Ríos, María Angélica Astorga Vargas, José Martín Olguín Espinoza, María del Carmen Andrade Peralta |
Experiences on the Implementation of MoProSoft and Assessment of Processes under the NMX-I-059/02-NYCE-2005 Standard in a Small Software Development Enterprise. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ENC ![In: Ninth Mexican International Conference on Computer Science, ENC 2008, 6-10 October 2008, Mexicali, Baja California, Mexico, pp. 323-328, 2008, IEEE Computer Society, 978-0-7695-3439-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Mohammad B. Vahidfar, Omid Shoaei |
An IIP2 calibration technique for CMOS multi-standard mixers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS ![In: International Symposium on Circuits and Systems (ISCAS 2008), 18-21 May 2008, Sheraton Seattle Hotel, Seattle, Washington, USA, pp. 916-919, 2008, IEEE, 978-1-4244-1683-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Mohammad B. Vahidfar, Omid Shoaei |
A CMOS high IIP2 mixer for multi-standard receivers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS ![In: International Symposium on Circuits and Systems (ISCAS 2008), 18-21 May 2008, Sheraton Seattle Hotel, Seattle, Washington, USA, pp. 656-659, 2008, IEEE, 978-1-4244-1683-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Chong-Yu Huang, Lien-Fei Chen, Yeong-Kang Lai |
A high-speed 2-D transform architecture with unique kernel for multi-standard video applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS ![In: International Symposium on Circuits and Systems (ISCAS 2008), 18-21 May 2008, Sheraton Seattle Hotel, Seattle, Washington, USA, pp. 21-24, 2008, IEEE, 978-1-4244-1683-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Yanli Ren, Dawu Gu |
Secure Hierarchical Identity Based Encryption Scheme in the Standard Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INDOCRYPT ![In: Progress in Cryptology - INDOCRYPT 2008, 9th International Conference on Cryptology in India, Kharagpur, India, December 14-17, 2008. Proceedings, pp. 104-115, 2008, Springer, 978-3-540-89753-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Liang Lu, John V. McCanny, Sakir Sezer |
Multi-standard sub-pixel interpolation architecture for video Motion Estimation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoCC ![In: 21st Annual IEEE International SoC Conference, SoCC 2008, September 17-20, 2008, Radisson Hotel, Newport Beach, CA, USA, Proceedings, pp. 229-232, 2008, IEEE, 978-1-4244-2596-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Keelin Murphy, Bram van Ginneken, Josien P. W. Pluim, Stefan Klein 0001, Marius Staring |
Semi-automatic Reference Standard Construction for Quantitative Evaluation of Lung CT Registration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICCAI (2) ![In: Medical Image Computing and Computer-Assisted Intervention - MICCAI 2008, 11th International Conference, New York, NY, USA, September 6-10, 2008, Proceedings, Part II, pp. 1006-1013, 2008, Springer, 978-3-540-85989-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Jason G. Brown, R. D. (Shawn) Blanton |
Automated Standard Cell Library Analysis for Improved Defect Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISQED ![In: 9th International Symposium on Quality of Electronic Design (ISQED 2008), 17-19 March 2008, San Jose, CA, USA, pp. 643-648, 2008, IEEE Computer Society, 978-0-7695-3117-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
test generation, diagnosis, fault simulation, fault, defect |
10 | Dong Qiu, Guoli Gao, Hongjun Chen |
An Enhanced Structure Based on Standard ART-2 Neural Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNSC ![In: Proceedings of the IEEE International Conference on Networking, Sensing and Control, ICNSC 2008, Hainan, China, 6-8 April 2008, pp. 399-401, 2008, IEEE, 978-1-4244-1685-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Ulf Johansson, Tuve Löfström, Lars Niklasson |
Evaluating Standard Techniques for Implicit Diversity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAKDD ![In: Advances in Knowledge Discovery and Data Mining, 12th Pacific-Asia Conference, PAKDD 2008, Osaka, Japan, May 20-23, 2008 Proceedings, pp. 592-599, 2008, Springer, 978-3-540-68124-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Janakiraman Viraraghavan, Bishnu Prasad Das, Bharadwaj Amrutur |
Voltage and Temperature Scalable Standard Cell Leakage Models Based on Stacks for Statistical Leakage Characterization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: 21st International Conference on VLSI Design (VLSI Design 2008), 4-8 January 2008, Hyderabad, India, pp. 667-672, 2008, IEEE Computer Society, 0-7695-3083-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Clive Blackwell |
The management of online credit card data using the Payment Card Industry Data Security Standard. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDIM ![In: Third IEEE International Conference on Digital Information Management (ICDIM), November 13-16, 2008, London, UK, Proceedings, pp. 838-843, 2008, IEEE, 978-1-4244-2917-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Risto Savolainen, Tero Rissa |
Standard interfaces in mobile terminals: increasing the efficiency of device design and accelerating innovation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 45th Design Automation Conference, DAC 2008, Anaheim, CA, USA, June 8-13, 2008, pp. 592, 2008, ACM, 978-1-60558-115-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
MIPI, inte, wireless |
10 | Alain Wegmann, Lam-Son Lê, Gil Regev, Bryan Wood |
Enterprise modeling using the foundation concepts of the RM-ODP ISO/ITU standard. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Syst. E Bus. Manag. ![In: Inf. Syst. E Bus. Manag. 5(4), pp. 397-413, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Enterprise architecture, System modeling, RM-ODP |
10 | Heiko Schwarz, Detlev Marpe, Thomas Wiegand |
Overview of the Scalable Video Coding Extension of the H.264/AVC Standard. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Circuits Syst. Video Technol. ![In: IEEE Trans. Circuits Syst. Video Technol. 17(9), pp. 1103-1120, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Lili Zhou, Cherry Wakayama, C.-J. Richard Shi |
CASCADE: A Standard Supercell Design Methodology With Congestion-Driven Placement for Three-Dimensional Interconnect-Heavy Very Large-Scale Integrated Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 26(7), pp. 1270-1282, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Rostislav Horcík |
Alternative Proof of Standard Completeness Theorem for MTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 11(2), pp. 123-129, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Monoidal t-norm based logic, Left-continuous t-norm, Fuzzy logic |
10 | Gregory J. Brault, Christopher J. Augeri, Barry E. Mullins, Christopher B. Mayer, Rusty O. Baldwin |
Assessing Standard and Inverted Skip Graphs Using Multi-Dimensional Range Queries and Mobile Nodes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MobiQuitous ![In: 4th Annual International Conference on Mobile and Ubiquitous Systems (MobiQuitous 2007), August 6-10, 2007, Philadelphia, PA, USA, pp. 1-8, 2007, IEEE Computer Society, 978-1-4244-1024-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Torsten Hoefler, Prabhanjan Kambadur, Richard L. Graham, Galen M. Shipman, Andrew Lumsdaine |
A Case for Standard Non-blocking Collective Operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PVM/MPI ![In: Recent Advances in Parallel Virtual Machine and Message Passing Interface, 14th European PVM/MPI User's Group Meeting, Paris, France, September 30 - October 3, 2007, Proceedings, pp. 125-134, 2007, Springer, 978-3-540-75415-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Ivan Kurtev |
State of the Art of QVT: A Model Transformation Language Standard. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AGTIVE ![In: Applications of Graph Transformations with Industrial Relevance, Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers, pp. 377-393, 2007, Springer, 978-3-540-89019-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
MDA, Model transformations, MDE, QVT |
10 | Mara Nikolaidou, Nancy Alexopoulou, Anargyros Tsadimas, Alexandros Dais, Dimosthenis Anagnostopoulos |
Accommodating EIS UML 2.0 Profile using a standard UML modeling tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSEA ![In: Proceedings of the Second International Conference on Software Engineering Advances (ICSEA 2007), August 25-31, 2007, Cap Esterel, French Riviera, France, pp. 26, 2007, IEEE Computer Society, 0-7695-2937-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Tsai-Ying Lin, Tsung-Han Lin, Hui-Hsiang Tung, Rung-Bin Lin |
Double-via-driven standard cell library design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 2007 Design, Automation and Test in Europe Conference and Exposition, DATE 2007, Nice, France, April 16-20, 2007, pp. 1212-1217, 2007, EDA Consortium, San Jose, CA, USA, 978-3-9810801-2-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Lin Xu, Xiaoguang Cao, Bufeng Zhang, Mu Li 0001 |
Comparing and Integrating Alignment Template and Standard Phrase-Based Statistical Machine Translation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICLing ![In: Computational Linguistics and Intelligent Text Processing, 8th International Conference, CICLing 2007, Mexico City, Mexico, February 18-24, 2007., pp. 420-431, 2007, Springer, 3-540-70938-X. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Johannes Singler, Peter Sanders 0001, Felix Putze |
MCSTL: The Multi-core Standard Template Library. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par 2007, Parallel Processing, 13th International Euro-Par Conference, Rennes, France, August 28-31, 2007, Proceedings, pp. 682-694, 2007, Springer, 978-3-540-74465-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Marinella Sciortino, Luca Q. Zamboni |
Suffix Automata and Standard Sturmian Words. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Developments in Language Theory ![In: Developments in Language Theory, 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007, Proceedings, pp. 382-398, 2007, Springer, 978-3-540-73207-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Martin Sedlmayr, Thomas Rose 0001, Torben Greiser, Rainer Röhrig, Markus Meister, Achim Michel-Backofen |
Automating Standard Operating Procedures in Intensive Care. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAiSE ![In: Advanced Information Systems Engineering, 19th International Conference, CAiSE 2007, Trondheim, Norway, June 11-15, 2007, Proceedings, pp. 516-530, 2007, Springer, 978-3-540-72987-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Hidetomo Ichihashi, Katsuhiro Honda, Akira Notsu, Takao Hattori |
Aggregation of Standard and Entropy Based Fuzzy c-Means Clustering by a Modified Objective Function. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCI ![In: Proceedings of the IEEE Symposium on Foundations of Computational Intelligence, FOCI 2007, part of the IEEE Symposium Series on Computational Intelligence 2007, Honolulu, Hawaii, USA, 1-5 April 2007, pp. 447-453, 2007, IEEE, 1-4244-0703-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Juan Carlos Agudelo Agudelo, Walter Alexandre Carnielli |
Unconventional Models of Computation Through Non-standard Logic Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UC ![In: Unconventional Computation, 6th International Conference, UC 2007, Kingston, Canada, August 13-17, 2007, Proceedings, pp. 29-40, 2007, Springer, 978-3-540-73553-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Qiong Huang 0001, Duncan S. Wong |
Generic Certificateless Encryption in the Standard Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSEC ![In: Advances in Information and Computer Security, Second International Workshop on Security, IWSEC 2007, Nara, Japan, October 29-31, 2007, Proceedings, pp. 278-291, 2007, Springer, 978-3-540-75650-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Guoyan Zheng, Simon D. Steppacher, Xuan Zhang, Moritz Tannast |
Precise Estimation of Postoperative Cup Alignment from Single Standard X-Ray Radiograph with Gonadal Shielding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICCAI (2) ![In: Medical Image Computing and Computer-Assisted Intervention - MICCAI 2007, 10th International Conference, Brisbane, Australia, October 29 - November 2, 2007, Proceedings, Part II, pp. 951-959, 2007, Springer, 978-3-540-75758-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
postoperative cup alignment, 2D-3D registration, iterative landmark-to-ray registration, intensity-based registration, radiograph |
10 | Nicolas T. Courtois, Gregory V. Bard |
Algebraic Cryptanalysis of the Data Encryption Standard. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMACC ![In: Cryptography and Coding, 11th IMA International Conference, Cirencester, UK, December 18-20, 2007, Proceedings, pp. 152-169, 2007, Springer, 978-3-540-77271-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
s5DES, solving overdefined and sparse systems of multivariate equations, ElimLin algorithm, Gröbner bases, logical cryptanalysis, block ciphers, AES, DES, SAT solvers, algebraic cryptanalysis |
10 | Shubhankar Basu, Priyanka Thakore, Ranga Vemuri |
Process Variation Tolerant Standard Cell Library Development Using Reduced Dimension Statistical Modeling and Optimization Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISQED ![In: 8th International Symposium on Quality of Electronic Design (ISQED 2007), 26-28 March 2007, San Jose, CA, USA, pp. 814-820, 2007, IEEE Computer Society, 978-0-7695-2795-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Pascal Paillier |
Impossibility Proofs for RSA Signatures in the Standard Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CT-RSA ![In: Topics in Cryptology - CT-RSA 2007, The Cryptographers' Track at the RSA Conference 2007, San Francisco, CA, USA, February 5-9, 2007, Proceedings, pp. 31-48, 2007, Springer, 3-540-69327-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Denis L. Baggi, Goffredo Haus |
The Concept of Interactive Music: The New Standard IEEE P1599 / MX. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAMT ![In: Semantic Multimedia, Second International Conference on Semantic and Digital Media Technologies, SAMT 2007, Genoa, Italy, December 5-7, 2007, Proceedings, pp. 185-195, 2007, Springer, 978-3-540-77033-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
music standards, symbolic music, music layers, XML, synchronisation |
10 | Hong Man, Alen Docef, Faouzi Kossentini |
JPEG 2000 Image Coding Standard. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Multimedia ![In: Encyclopedia of Multimedia, 2006, Springer, 978-0-387-24395-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Eva Dyllong, Wolfram Luther, Holger Traczinski |
Modelling Geometric Objects and Tolerances with Intervals: Data Exchange with ISO Standard STEP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliab. Comput. ![In: Reliab. Comput. 12(4), pp. 293-302, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Arne Barinka, Stephan Dahlke, Wolfgang Dahmen |
Adaptive application of operators in standard representation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Comput. Math. ![In: Adv. Comput. Math. 24(1-4), pp. 5-34, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
operator equations, quasi-sparse matrices and vectors, best N-term approximation, fast matrix/vector multiplication |
10 | John G. Apostolopoulos |
Architectural Principles for Secure Streaming & Secure Adaptation in the Developing Scalable Video Coding (SVC) Standard. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP ![In: Proceedings of the International Conference on Image Processing, ICIP 2006, October 8-11, Atlanta, Georgia, USA, pp. 729-732, 2006, IEEE, 1-4244-0480-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Beth Goldsmith, Frances Knudson |
Looking back, looking forward: a metadata standard for LANL's aDORe repository. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JCDL ![In: ACM/IEEE Joint Conference on Digital Libraries, JCDL 2006, Chapel Hill, NC, USA, June 11-15, 2006, Proceedings, pp. 272-273, 2006, ACM, 1-59593-354-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
MARCXML, metadata standards, data mapping |
10 | Daniele Lo Iacono, J. Zory, Ettore Messina, Nicolo Piazzese, G. Saia, A. Bettinelli |
ASIP architecture for multi-standard wireless terminals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE Designers' Forum ![In: Proceedings of the Conference on Design, Automation and Test in Europe: Designers' Forum, DATE 2006, Munich, Germany, March 6-10, 2006, pp. 118-123, 2006, European Design and Automation Association, Leuven, Belgium, 3-9810801-0-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Benfeng Chen, Vincent Y. Shen |
Transforming web pages to become standard-compliant through reverse engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
W4A ![In: Proceedings of the 2006 International Cross-Disciplinary Workshop on Web Accessibility (W4A 2006): Building the mobile web: rediscovering accessibility? Edinburgh, UK, May 22, 2006, pp. 14-22, 2006, ACM, 1-59593-281-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
HTML tidy, W3C recommendations, rendering engine, HTML, browser, web page, cascade style sheets |
10 | Xinghua Li 0001, Sang-Jae Moon, Jianfeng Ma 0001 |
On the Security of the Authentication Module of Chinese WLAN Standard Implementation Plan. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACNS ![In: Applied Cryptography and Network Security, 4th International Conference, ACNS 2006, Singapore, June 6-9, 2006, Proceedings, pp. 340-348, 2006, 3-540-34703-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Ari Kulmala, Timo D. Hämäläinen, Marko Hännikäinen |
Reliable GALS Implementation of MPEG-4 Encoder with Mixed Clock FIFO on Standard FPGA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPL ![In: Proceedings of the 2006 International Conference on Field Programmable Logic and Applications (FPL), Madrid, Spain, August 28-30, 2006, pp. 1-6, 2006, IEEE, 1-4244-0312-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Lele Zhou, Saif Zahir |
A Novel Shape Coding Scheme For MPEG-4 Visual Standard. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICICIC (3) ![In: First International Conference on Innovative Computing, Information and Control (ICICIC 2006), 30 August - 1 September 2006, Beijing, China, pp. 585-588, 2006, IEEE Computer Society, 0-7695-2616-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Tzu-Hsiang Yang, Po-Hsun Cheng, C. H. Yang, Feipei Lai, C. L. Chen, Hsiu-Hui Lee, Kai-Ping Hsu, Chi-Huang Chen, Ching-Ting Tan, Yeali S. Sun |
A Scalable Multi-tier Architecture for the National Taiwan University Hospital Information System based on HL7 Standard. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CBMS ![In: 19th IEEE International Symposium on Computer-Based Medical Systems (CBMS 2006), 22-23 June 2006, Salt Lake City, Utah, USA, pp. 99-104, 2006, IEEE Computer Society, 978-0-7695-2517-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Milan Markovic, Goran Dordevic |
On Implementation Aspects of Standard Asymmetric and Symmetric Cryptographic Algorithms on TI Signal Processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SecPerU ![In: Second International Workshop on Security, Privacy and Trust in Pervasive and Ubiquitous Computing (SecPerU 2006), 29 June 2006, Lyon, France, pp. 57-62, 2006, IEEE Computer Society, 0-7695-2549-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Félix Buendía, Antonio Hervás Jorge |
An Evaluation Framework for e-Learning Platforms Based on Educational Standard Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALT ![In: Proceedings of the 6th IEEE International Conference on Advanced Learning Technologies, ICALT 2006, Kerkrade, The Netherlands, July 5-7, 2006, pp. 184-186, 2006, IEEE Computer Society, 0-7695-2632-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Kenneth G. Paterson, Jacob C. N. Schuldt |
Efficient Identity-Based Signatures Secure in the Standard Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACISP ![In: Information Security and Privacy, 11th Australasian Conference, ACISP 2006, Melbourne, Australia, July 3-5, 2006, Proceedings, pp. 207-222, 2006, Springer, 3-540-35458-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Liu Feng, Guo Rui, Shi Shu, Cheng Xu |
HW/SW Co-Design and Implementation of Multi-Standard Video Decoding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESTIMedia ![In: Proceedings of the 2006 4th Workshop on Embedded Systems for Real-Time Multimedia, ESTIMedia 2006, October 26-27, 2006, Seoul, Korea, conjunction with CODES+ISSS 2006, pp. 87-92, 2006, IEEE Computer Society, 0-7803-9783-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Claus Bossen |
Participation, power, critique: constructing a standard for electronic patient records. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDC ![In: Proceedings of the Ninth Conference on Participatory Design: Expanding boundaries in design, PDC 2006, Trento, Italy, August 1-5, 2006, pp. 95-104, 2006, ACM, 1-59593-460-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
standards, participatory design, power, knowledge, electronic patient records |
10 | Man Ho Au, Joseph K. Liu, Tsz Hon Yuen, Duncan S. Wong |
ID-Based Ring Signature Scheme Secure in the Standard Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSEC ![In: Advances in Information and Computer Security, First International Workshop on Security, IWSEC 2006, Kyoto, Japan, October 23-24, 2006, Proceedings, pp. 1-16, 2006, Springer, 3-540-47699-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Sadiq M. Sait, Ali Mustafa Zaidi, Mustafa I. Ali |
Asynchronous MMC based parallel SA schemes for multiobjective standard cell placement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS ![In: International Symposium on Circuits and Systems (ISCAS 2006), 21-24 May 2006, Island of Kos, Greece, 2006, IEEE, 0-7803-9389-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Kwangsun Ko, Gu Su Kim, June Kim, JungHyun Han, Ung-Mo Kim, Young Ik Eom |
Design and Implementation of a Security Framework Based on the Object-Based Storage Device Standard. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (1) ![In: Computational Science and Its Applications - ICCSA 2006, International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part I, pp. 1028-1035, 2006, Springer, 3-540-34070-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Kirmene Marzouki, Takeshi Yamakawa |
Exploring Standard Self-Organizing Map Internal Structure in the Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCNN ![In: Proceedings of the International Joint Conference on Neural Networks, IJCNN 2006, part of the IEEE World Congress on Computational Intelligence, WCCI 2006, Vancouver, BC, Canada, 16-21 July 2006, pp. 4612-4619, 2006, IEEE, 0-7803-9490-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Hyung-Ock Kim, Youngsoo Shin, Hyuk Kim, Iksoo Eo |
Physical design methodology of power gating circuits for standard-cell-based design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 43rd Design Automation Conference, DAC 2006, San Francisco, CA, USA, July 24-28, 2006, pp. 109-112, 2006, ACM, 1-59593-381-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
low power, leakage current, power gating |
10 | Mounir Frikha, Fatma Ben Said, Lilia Maalej, Faiza Tabbana |
Enhancing IEEE 802.11e standard in congested environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AICT/ICIW ![In: Advanced International Conference on Telecommunications and International Conference on Internet and Web Applications and Services (AICT/ICIW 2006), 19-25 February 2006, Guadeloupe, French Caribbean, pp. 78, 2006, IEEE Computer Society, 0-7695-2522-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Mary Frances Theofanos |
Common Industry Format approved as international standard. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Interactions ![In: Interactions 12(5), pp. 46-47, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Martin Leucker, Thomas Noll 0001, Perdita Stevens, Michael Weber 0002 |
Functional programming languages for verification tools: a comparison of Standard ML and Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 7(2), pp. 184-194, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Language adequacy, Haskell, ML, Verification tools, Functional programming languages |
10 | Jun Liu, Khiang Wee Lim, Weng Khuen Ho, Kay Chen Tan, Arthur Tay, Rajagopalan Srinivasan |
Using the OPC Standard for Real-Time Process Monitoring and Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 22(6), pp. 54-59, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
system integration, process control, process monitoring |
10 | Dimitris Vassis, George Kormentzas, Angelos N. Rouskas, Ilias Maglogiannis |
The IEEE 802.11g standard fo high data rate WLANs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Netw. ![In: IEEE Netw. 19(3), pp. 21-26, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Alexis Michael Tourapis, Jill M. Boyce |
Reduced resolution update mode extension to the H.264 standard. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP (2) ![In: Proceedings of the 2005 International Conference on Image Processing, ICIP 2005, Genoa, Italy, September 11-14, 2005, pp. 910-913, 2005, IEEE, 0-7803-9134-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Steffen Becker 0001 |
Performance-Related Metrics in the ISO 9126 Standard. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dependability Metrics ![In: Dependability Metrics: Advanced Lectures [result from a Dagstuhl seminar, October 30 - November 1, 2005], pp. 204-206, 2005, Springer, 978-3-540-68946-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Joachim Sudbrock, Jaan Raik, Raimund Ubar, Wieslaw Kuzmicz, Witold A. Pleskacz |
Defect-Oriented Test- and Layout-Generation for Standard-Cell ASIC Designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSD ![In: Eighth Euromicro Symposium on Digital Systems Design (DSD 2005), 30 August - 3 September 2005, Porto, Portugal, pp. 79-82, 2005, IEEE Computer Society, 0-7695-2433-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Oleg Spakov, Darius Miniotas |
Gaze-based selection of standard-size menu items. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMI ![In: Proceedings of the 7th International Conference on Multimodal Interfaces, ICMI 2005, Trento, Italy, October 4-6, 2005, pp. 124-128, 2005, ACM, 1-59593-028-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
eye-based interaction, target expansion, eye tracking, pointing, human performance, menus |
10 | C. Abe, I. L. Lin, T. H. Lan, Tzong-Chen Wu |
Establishment of the Standard Operating Procedure (SOP) for Gathering Digital Evidence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SADFE ![In: First International Workshop on Systematic Approaches to Digital Forensic Engineering (SADFE 2005), 7-10 November 2005, Taipei, Taiwan, pp. 56-68, 2005, IEEE Computer Society, 0-7695-2478-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Tao Liu, Jun Guo |
Text Similarity Computing Based on Standard Deviation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIC (1) ![In: Advances in Intelligent Computing, International Conference on Intelligent Computing, ICIC 2005, Hefei, China, August 23-26, 2005, Proceedings, Part I, pp. 456-464, 2005, Springer, 3-540-28226-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Guofang Nan, Minqiang Li, Dan Lin 0002, Jisong Kou |
Adaptive Simulated Annealing for Standard Cell Placement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNC (3) ![In: Advances in Natural Computation, First International Conference, ICNC 2005, Changsha, China, August 27-29, 2005, Proceedings, Part III, pp. 943-947, 2005, Springer, 3-540-28320-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Ian Toyn, Andy Galloway |
Proving Properties of Stateflow Models Using ISO Standard Z and CADiZ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZB ![In: ZB 2005: Formal Specification and Development in Z and B, 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings, pp. 104-123, 2005, Springer, 3-540-25559-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
10 | Fan Zhang, Jianfeng Ma 0001 |
Security Analysis on Chinese Wireless LAN Standard and Its Solution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPP Workshops ![In: 34th International Conference on Parallel Processing Workshops (ICPP 2005 Workshops), 14-17 June 2005, Oslo, Norway, pp. 436-443, 2005, IEEE Computer Society, 0-7695-2381-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
10 | B. Meneklis, Alexandros Kaliontzoglou, Despina Polemi, Christos Douligeris |
Applying the ISO RM-ODP Standard in E-Government. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TCGOV ![In: E-Government: Towards Electronic Democracy, International Conference, TCGOV 2005, Bolzano, Italy, March 2-4, 2005, Proceedings, pp. 213-224, 2005, Springer, 3-540-25016-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
|
|