|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1466 occurrences of 1006 keywords
|
|
|
Results
Found 1863 publication records. Showing 1855 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
14 | Thomas Gschwind, Johann Oberleitner |
Improving Dynamic Data Analysis with Aspect-Oriented Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSMR ![In: 7th European Conference on Software Maintenance and Reengineering (CSMR 2003), 26-28 March 2003, Benevento, Italy, Proceedings, pp. 259-, 2003, IEEE Computer Society, 0-7695-1902-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Lionel C. Briand, Yvan Labiche, Y. Miao |
Towards the Reverse Engineering of UML Sequence Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCRE ![In: 10th Working Conference on Reverse Engineering, WCRE 2003, Victoria, Canada, November 13-16, 2003, pp. 57-66, 2003, IEEE Computer Society, 0-7695-2027-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
14 | William G. Poole Jr. |
The Softer Side of Custom Software Development: Working with the Other Players. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSEE&T ![In: 16th Conference on Software Engineering Education and Training (CSEE&T 2003), 20-22 March 2003, Madrid, Spain, pp. 14-21, 2003, IEEE Computer Society, 0-7695-1869-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Adam L. Young, Moti Yung |
Backdoor Attacks on Black-Box Ciphers Exploiting Low-Entropy Plaintexts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACISP ![In: Information Security and Privacy, 8th Australasian Conference, ACISP 2003, Wollongong, Australia, July 9-11, 2003, Proceedings, pp. 297-311, 2003, Springer, 3-540-40515-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
hidden ciphers, obfuscated ciphers, black-box ciphers, Huffman compression, reverse-engineering, data compression, entropy, subliminal channel, Digital Rights Management (DRM), Symmetric ciphers, kleptography |
14 | Curtis E. Hrischuk, C. Murray Woodside |
Logical Clock Requirements for Reverse Engineering Scenarios from a Distributed System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 28(4), pp. 321-339, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
software tracing, event labeling, web services, reverse engineering, debugging, distributed programming, graph grammar, trace analysis, causal order, logical clock |
14 | Gail C. Murphy, David Notkin, Kevin J. Sullivan |
Software Reflexion Models: Bridging the Gap between Design and Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 27(4), pp. 364-380, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
model differencing, Reverse engineering, program understanding, program representation, software structure |
14 | Boonserm Kulvatunyou, Richard A. Wysk |
Computer-aided manufacturing simulation (CAMS) generation for interactive analysis: concepts, techniques, and issues. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 33nd conference on Winter simulation, WSC 2001, Arlington, VA, USA, December 9-12, 2001, pp. 968-976, 2001, WSC, 0-7803-7309-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
14 | Hiroshi Suganuma, Kinya Nakamura, Tsutomu Syomura |
Test operation-driven approach on building regression testing environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 25th International Computer Software and Applications Conference (COMPSAC 2001), Invigorating Software Development, 8-12 October 2001, Chicago, IL, USA, pp. 323-328, 2001, IEEE Computer Society, 0-7695-1372-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
14 | Philippe Kruchten |
Putting the "Engineering" into "Software Engineering". ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSEE&T ![In: 14th Conference on Software Engineering Education and Training, 19-21 February 2001, Charlotte, North Carolina, USA, pp. 111-, 2001, IEEE Computer Society, 0-7695-1059-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
14 | Fady Copty, Amitai Irron, Osnat Weissberg, Nathan P. Kropp, Gila Kamhi |
Efficient Debugging in a Formal Verification Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHARME ![In: Correct Hardware Design and Verification Methods, 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001, Proceedings, pp. 275-292, 2001, Springer, 3-540-42541-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
14 | Gary Huber |
Terraffectors and the Art of Consensus Building. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Digital Earth Moving ![In: Digital Earth Moving, First International Symposium, DEM 2001, Manno, Switzerland, September 5-7, 2001, Proceedings, pp. 3, 2001, Springer, 3-540-42586-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
14 | Ken Barker 0002, Bruce W. Porter, Peter Clark |
A library of generic concepts for composing knowledge bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
K-CAP ![In: Proceedings of the First International Conference on Knowledge Capture (K-CAP 2001), October 21-23, 2001, Victoria, BC, Canada, pp. 14-21, 2001, ACM, 1-58113-380-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
ontologies, knowledge engineering, knowledge reuse |
14 | Ahmad Kayed, Robert M. Colomb |
Re-engineering Approach to Build Domain Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Web Intelligence ![In: Web Intelligence: Research and Development, First Asia-Pacific Conference, WI 2001, Maebashi City, Japan, October 23-26, 2001, Proceedings, pp. 464-472, 2001, Springer, 3-540-42730-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
14 | Jörg Keller 0002, Valerij Bauer, Wojciech Kwedlo |
Application of Data-Mining and Knowledge Discovery in Automotive Data Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PKDD ![In: Principles of Data Mining and Knowledge Discovery, 4th European Conference, PKDD 2000, Lyon, France, September 13-16, 2000, Proceedings, pp. 464-469, 2000, Springer, 3-540-41066-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Automotive Data Engineering, Evolutionary Decision Rule Learning, Data-Mining, Knowledge Discovery |
14 | Markus Eggersmann, Claudia Krobb, Wolfgang Marquardt |
A Modeling Language for Design Processes in Chemical Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER ![In: Conceptual Modeling - ER 2000, 19th International Conference on Conceptual Modeling, Salt Lake City, Utah, USA, October 9-12, 2000, Proceedings, pp. 369-382, 2000, Springer, 3-540-41072-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
14 | Satoshi Hada |
Zero-Knowledge and Code Obfuscation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIACRYPT ![In: Advances in Cryptology - ASIACRYPT 2000, 6th International Conference on the Theory and Application of Cryptology and Information Security, Kyoto, Japan, December 3-7, 2000, Proceedings, pp. 443-457, 2000, Springer, 3-540-41404-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
14 | S. F. Mauser, J. Gillerman, D. Nordell |
Utility Information Integration - Vision, Benefits, Strategies, and Status. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 33rd Annual Hawaii International Conference on System Sciences (HICSS-33), 4-7 January, 2000, Maui, Hawaii, USA, 2000, IEEE Computer Society, 0-7695-0493-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
14 | Tomas Forkert, Hans-Peter Kersken, Andreas Schreiber 0001, Martin Strietzel, Klaus Wolf |
The Distributed Engineering Framework TENT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECPAR ![In: Vector and Parallel Processing - VECPAR 2000, 4th International Conference, Porto, Portugal, June 21-23, 2000, Selected Papers and Invited Talks, pp. 38-46, 2000, Springer, 3-540-41999-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
14 | Sugiyama Shigeo |
Biographies of scientists and public understanding of science. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI Soc. ![In: AI Soc. 13(1-2), pp. 124-134, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Edison, Faraday, History of science, Biography |
14 | James R. Davis, Jason Scott, Janos Sztipanovits, Marcus Martinez |
Multi-Domain Surety Modeling and Analysis for High Assurance Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 6th Symposium on Engineering of Computer-Based Systems (ECBS '99), 7-12 March 1999, Nashville, TN, USA. IEEE Computer Society, 1999, pp. 254-260, 1999, IEEE Computer Society, 0-7695-0028-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
14 | Ly Danielle Sauer, Timothy E. Lindquist, Jeremy Cairney |
Tracking Personal Processes in Group Projects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 23rd International Computer Software and Applications Conference (COMPSAC '99), 27-19 October 1999, Phoenix, AZ, USA, pp. 364-369, 1999, IEEE Computer Society, 0-7695-0368-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Process Components, Process Integration and Process Interoperability, Personal Software Process |
14 | Doris L. Carver |
Opportunities and Challenges for Software Engineering Education. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSEE&T ![In: 12th Conference on Software Engineering Education and Training, 22-24 March, 1999, New Orleans, Louisiana, USA, pp. 120-, 1999, IEEE Computer Society, 0-7695-0131-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
14 | Adam L. Young, Moti Yung |
Monkey: Black-Box Symmetric Ciphers Designed for MONopolizing KEYs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSE ![In: Fast Software Encryption, 5th International Workshop, FSE '98, Paris, France, March 23-25, 1998, Proceedings, pp. 122-133, 1998, Springer, 3-540-64265-X. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
14 | Ira D. Baxter, Michael Mehlich |
Reverse Engineering is Reverse Forward Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCRE ![In: 4th Working Conference on Reverse Engineering, WCRE '97, Amsterdam, The Netherlands, October 6-8, 1997, pp. 104-113, 1997, IEEE Computer Society, 0-8186-8162-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
14 | Michael J. Lutz, J. Fernando Naveda |
The road less traveled: a baccalaureate degree in software engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 28th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 1997, San Jose, California, USA, February 27 - March 1, 1997, pp. 287-291, 1997, ACM, 0-89791-889-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
14 | Esa Koskimäki, Janne Göös |
Electric machine dimensioning by global optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (1) ![In: Knowledge-Based Intelligent Electronic Systems, 1st International Conference, KES 1997, Adelaide, South Australia, 21-23 May, 1997, Proceedings, Part I, pp. 308-312, 1997, IEEE, 0-7803-3755-7. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
14 | Robert N. Smith, Sourav Bhattacharya |
Firewall placement in a large network topology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTDCS ![In: 6th IEEE Workshop on Future Trends of Distributed Computer Systems (FTDCS '97), 29-31 October 1997, Tunis, Tunisia, Proceedings, pp. 40-45, 1997, IEEE Computer Society, 0-8186-8153-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
firewall placement heuristics, large network topology, multi-user distributed information environment, firewall cascade, potential attack point, comprehensive security protection, end-to-end security protection, simulation, performance, network security, completeness, authorisation, operations research, cost optimization, delay minimization, sensitive data, confidence degree |
14 | Tom Lake, Tim Blanchard |
Reverse Engineering of Assembler Programs: A Model-Based Approach and its Logical Basis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCRE ![In: 3rd Working Conference on Reverse Engineering, WCRE '96, Monterey, CA, USA, November 8-10, 1996, pp. 67-75, 1996, IEEE Computer Society, 0-8186-7674-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
14 | Masakazu Hori, Yoichi Shinoda, Koichiro Ochimizu |
Shared Data Management Mechanism for Distributed Software Development Based on a Reflective Object-Oriented Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAiSE ![In: Advances Information System Engineering, 8th International Conference, CAiSE'96, Heraklion, Crete, Greece, May 20-24, 1996, Proceedings, pp. 362-382, 1996, Springer, 3-540-61292-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
14 | Neil C. Olsen |
Survival of the Fastest: Improving Service Velocity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 12(5), pp. 28-38, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
14 | Rainer Gerlich, Mladen Kerep |
Distributed and Parallel Systems and HOOD 4. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Ada in Europe, Second International Eurospace - Ada-Europe Symposium, Frankfurt/Main, Germany, October 2-6, 1995, Proceedings, pp. 228-243, 1995, Springer, 3-540-60757-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
Distributed Systems, Software Design, Parallel Systems, HOOD, Software Partitioning |
14 | Mark G. Bradac, Dewayne E. Perry, Lawrence G. Votta |
Prototyping a Process Monitoring Experiment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 20(10), pp. 774-784, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
process monitoring experiment, very large software system, large-scale long-term development, long-term process monitoring, waterfall view, interactive cyclic view, large-scale process monitoring experiment, prototyping, software development, software, hardware, software prototyping, experimental design, computerised monitoring, process computer control |
14 | James P. O'Connor, Catharine Mansour, Jerri Turner-Harris, Grady H. Campbell Jr. |
Reuse in Command-and-Control Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 11(5), pp. 70-79, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
Command-and-Control Systems Division, Rockwell International, SPC Synthesis methodology, domain-specific reuse, high-level requirements, engineering decisions, formal specification, specification, software reusability, software requirements, command and control systems, customer needs |
14 | Gerald C. Gannod, Betty H. C. Cheng |
A Two-Phase Approach to Reverse Engineering Using Formal Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods in Programming and Their Applications ![In: Formal Methods in Programming and Their Applications, International Conference, Akademgorodok, Novosibirsk, Russia, June 28 - July 2, 1993, Proceedings, pp. 335-348, 1993, Springer, 3-540-57316-X. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
14 | Neff Walker, John B. Smelcer |
A comparison of selection time from walking and pull-down menus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Conference on Human Factors in Computing Systems, CHI 1990, Seattle, WA, USA, April 1-5, 1990, Proceedings, pp. 221-226, 1990, ACM, 0-201-50932-6. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
14 | Terry Winograd |
What can we teach about human-computer interaction? (plenary address). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Conference on Human Factors in Computing Systems, CHI 1990, Seattle, WA, USA, April 1-5, 1990, Proceedings, pp. 443-448, 1990, ACM, 0-201-50932-6. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
14 | Hans Brunner |
A snapshot of natural language interfaces (panel). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Conference on Human Factors in Computing Systems, CHI 1990, Seattle, WA, USA, April 1-5, 1990, Proceedings, pp. 53-55, 1990, ACM, 0-201-50932-6. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
14 | Jakob Nielsen |
Designing for international use (panel). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Conference on Human Factors in Computing Systems, CHI 1990, Seattle, WA, USA, April 1-5, 1990, Proceedings, pp. 291-294, 1990, ACM, 0-201-50932-6. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
14 | S. Joy Mountford |
Designers: meet your users (panel). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Conference on Human Factors in Computing Systems, CHI 1990, Seattle, WA, USA, April 1-5, 1990, Proceedings, pp. 439-442, 1990, ACM, 0-201-50932-6. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
Apple Computer, HyperCard, Inc |
14 | Marcy Telles |
Updating an older interface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Conference on Human Factors in Computing Systems, CHI 1990, Seattle, WA, USA, April 1-5, 1990, Proceedings, pp. 243-248, 1990, ACM, 0-201-50932-6. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
WordStar |
14 | Sanjiv Ranjan |
MTEEP: mechanical transmission element expert system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the Sixteenth ACM Annual Conference on Computer Science, Atlanta, Georgia, USA, February 23-25, 1988, pp. 206-213, 1988, ACM, 0-89791-260-8. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
14 | D. Praizler, G. Fritz |
A Parts Selection Expert System to Increase Manufacturability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 24th ACM/IEEE Design Automation Conference. Miami Beach, FL, USA, June 28 - July 1, 1987., pp. 706-712, 1987, IEEE Computer Society Press / ACM. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
14 | Cecelia Jankowski |
Engineering workstation applications to systems design (panel session): life above the IC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 22nd ACM/IEEE conference on Design automation, DAC 1985, Las Vegas, Nevada, USA, 1985., pp. 159-160, 1985, ACM, 0-8186-0635-5. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
14 | John P. Gray, John Hunter |
Portability in silicon CAE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 22nd ACM/IEEE conference on Design automation, DAC 1985, Las Vegas, Nevada, USA, 1985., pp. 597-601, 1985, ACM, 0-8186-0635-5. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
7 | Lawrence Bergman, Jie Lu, Ravi B. Konuru, Julie MacNaught, Danny L. Yeh |
Outline wizard: presentation composition and search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IUI ![In: Proceedings of the 15th International Conference on Intelligent User Interfaces, IUI 2010, Hong Kong, China, February 7-10, 2010, pp. 209-218, 2010, ACM, 978-1-60558-515-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
context-sensitive information retrieval, outline-based search, presentation composition, presentation search |
7 | Adam Chlipala |
A verified compiler for an impure functional language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010, Madrid, Spain, January 17-23, 2010, pp. 93-106, 2010, ACM, 978-1-60558-479-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
compiler verification, interactive proof assistants |
7 | João Carlos Silva 0002, Carlos E. Silva, Rui D. Gonçalo, João Saraiva, José Creissac Campos |
The GUISurfer tool: towards a language independent approach to reverse engineering GUI code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EICS ![In: Proceedings of the 2nd ACM SIGCHI Symposium on Engineering Interactive Computing System, EICS 2010, Berlin, Germany, June 19-23, 2010, pp. 181-186, 2010, ACM, 978-1-4503-0083-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
graphical user interfaces, analysis, source code |
7 | Adam Chlipala |
Ur: statically-typed metaprogramming with type-level record computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2010, Toronto, Ontario, Canada, June 5-10, 2010, pp. 122-133, 2010, ACM, 978-1-4503-0019-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
dependent types, metaprogramming |
7 | Mathew Hall, Phil McMinn, Neil Walkinshaw |
Superstate identification for state machines using search-based clustering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2010, Proceedings, Portland, Oregon, USA, July 7-11, 2010, pp. 1381-1388, 2010, ACM, 978-1-4503-0072-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
bunch, search-based clustering, state machines, hill-climbing |
7 | Maayan Goldstein, Onn Shehory, Rachel Tzoref-Brill, Shmuel Ur |
Improving throughput via slowdowns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE (2) ![In: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2, ICSE 2010, Cape Town, South Africa, 1-8 May 2010, pp. 11-20, 2010, ACM. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
automated performance management, self-managing systems |
7 | Alex Groce, Klaus Havelund, Margaret H. Smith |
From scripts to specifications: the evolution of a flight software testing effort. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE (2) ![In: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2, ICSE 2010, Cape Town, South Africa, 1-8 May 2010, pp. 129-138, 2010, ACM. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
development practices, space flight software, test infrastructure, testing, temporal logic, Python, logs, runtime verification |
7 | Daniel Popescu 0001 |
Helios: impact analysis for event-based components and systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE (2) ![In: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2, ICSE 2010, Cape Town, South Africa, 1-8 May 2010, pp. 531-532, 2010, ACM. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
7 | Vitaly Chipounov, George Candea |
Reverse engineering of binary device drivers with RevNIC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroSys ![In: European Conference on Computer Systems, Proceedings of the 5th European conference on Computer systems, EuroSys 2010, Paris, France, April 13-16, 2010, pp. 167-180, 2010, ACM, 978-1-60558-577-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
closed-source, proprietary software, reverse engineering, device drivers, binary |
7 | Mo Li 0002, Kumbesan Sandrasegaran |
A proxy based authentication localisation scheme for handover between non trust-associated domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGMOBILE Mob. Comput. Commun. Rev. ![In: ACM SIGMOBILE Mob. Comput. Commun. Rev. 13(4), pp. 47-58, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
7 | Andrea De Lucia, Rocco Oliveto, Genoveffa Tortora |
Assessing IR-based traceability recovery tools through controlled experiments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Empir. Softw. Eng. ![In: Empir. Softw. Eng. 14(1), pp. 57-92, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Traceability recovery, Information retrieval, Singular value decomposition, Program comprehension, Latent semantic indexing, Impact analysis |
7 | Kevin N. Gurney |
Reverse Engineering the Vertebrate Brain: Methodological Principles for a Biologically Grounded Programme of Cognitive Modelling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cogn. Comput. ![In: Cogn. Comput. 1(1), pp. 29-41, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Levels of analysis, Brain architecture, Methodology, Computation, Cognition, Computational neuroscience, Basal ganglia |
7 | Li Ping Qian 0001, Ying Jun Zhang, Jianwei Huang 0001 |
MAPEL: Achieving global optimality for a non-convex wireless power control problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Wirel. Commun. ![In: IEEE Trans. Wirel. Commun. 8(3), pp. 1553-1563, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
7 | David Notkin |
Software, Software Engineering and Software Engineering Research: Some Unconventional Thoughts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. Technol. ![In: J. Comput. Sci. Technol. 24(2), pp. 189-197, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
software engineering/general, software engineering process/life cycle |
7 | Michal Antkiewicz, Thiago T. Bartolomei, Krzysztof Czarnecki 0001 |
Fast extraction of high-quality framework-specific models from application code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. Softw. Eng. ![In: Autom. Softw. Eng. 16(1), pp. 101-144, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Framework-specific models, Framework-specific modeling languages, Reverse engineering, Static analysis, Application programming interface, API, Object-oriented frameworks |
7 | Jonathan S. Turner |
Strong performance guarantees for asynchronous buffered crossbar scheduler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE/ACM Trans. Netw. ![In: IEEE/ACM Trans. Netw. 17(4), pp. 1017-1028, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
asynchronous crossbars, crossbar schedulers, routers, switches, performance guarantees |
7 | Rajiv Ranjan Suman, Rajib Mall |
State model extraction of a software component by observing its behavior. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 34(1), pp. 1-7, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
reverse engineering, software component, FSM, state model |
7 | Alfredo Raúl Teyseyre, Marcelo R. Campo |
An Overview of 3D Software Visualization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Vis. Comput. Graph. ![In: IEEE Trans. Vis. Comput. Graph. 15(1), pp. 87-105, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
7 | Philippe Kruchten |
You Are What You Read. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 26(2), pp. 10-11, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
7 | Guillaume Bonfante, Matthieu Kaczmarek, Jean-Yves Marion |
Architecture of a morphological malware detector. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Virol. ![In: J. Comput. Virol. 5(3), pp. 263-270, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
7 | Alexander Felfernig, Gerhard Friedrich, Klaus Isak, Kostyantyn M. Shchekotykhin, Erich Teppan, Dietmar Jannach |
Automated debugging of recommender user interface descriptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Intell. ![In: Appl. Intell. 31(1), pp. 1-14, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
7 | Chih-Chun Chen 0001, Sylvia B. Nagl, Christopher D. Clack |
Complexity and Emergence in Engineering Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Complex Systems in Knowledge-based Environments ![In: Complex Systems in Knowledge-based Environments: Theory, Models and Applications, pp. 99-128, 2009, Springer, 978-3-540-88074-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
7 | Maria Taboada, Maria Meizoso, Diego Martínez Hernández, S. Tellado |
A Study of Applying Knowledge Modelling to Evidence-Based Guidelines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWINAC (1) ![In: Methods and Models in Artificial and Natural Computation. A Homage to Professor Mira.s Scientific Legacy, Third International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2009, Santiago de Compostela, Spain, June 22-26, 2009, Proceedings, Part I, pp. 437-446, 2009, Springer, 978-3-642-02263-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
CommonKADs methodology, ontologies, knowledge modeling, clinical practice guideline |
7 | Antonio Jurado-Lucena, David Escot-Bocanegra, David Poyatos, Ignacio Montiel Sánchez |
Application of Artificial Neural Networks to Complex Dielectric Constant Estimation from Free-Space Measurements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWINAC (1) ![In: Methods and Models in Artificial and Natural Computation. A Homage to Professor Mira.s Scientific Legacy, Third International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2009, Santiago de Compostela, Spain, June 22-26, 2009, Proceedings, Part I, pp. 517-526, 2009, Springer, 978-3-642-02263-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Materials characterization, complex permittivity, free-space measurements, radial basis function, multilayer perceptron |
7 | Zahid Hussain, Harald Milchrahm, Sara Shahzad, Wolfgang Slany, Manfred Tscheligi, Peter Wolkerstorfer |
Integration of Extreme Programming and User-Centered Design: Lessons Learned. ![Search on Bibsonomy](Pics/bibsonomy.png) |
XP ![In: Agile Processes in Software Engineering and Extreme Programming, 10th International Conference, XP 2009, Pula, Sardinia, Italy, May 25-29, 2009. Proceedings, pp. 174-179, 2009, Springer, 978-3-642-01852-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Usability, User-Centered Design, Extreme Programming, Mobile Application, Agile Methods |
7 | Juan Miguel López 0001, Afra Pascual, Antoni Granollers |
Engineering Accessibility in Web Content Management System Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WISE ![In: Web Information Systems Engineering - WISE 2009, 10th International Conference, Poznan, Poland, October 5-7, 2009. Proceedings, pp. 597-604, 2009, Springer, 978-3-642-04408-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Web Content Management Systems, Web accessibility evaluation, monitoring, user logs |
7 | Bertrand Estellon, Frédéric Gardi, Karim Nouioua |
High-Performance Local Search for Task Scheduling with Human Resource Allocation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLS ![In: Engineering Stochastic Local Search Algorithms. Designing, Implementing and Analyzing Effective Heuristics, Second International Workshop, SLS 2009, Brussels, Belgium, September 3-4, 2009. Proceedings, pp. 1-15, 2009, Springer, 978-3-642-03750-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
7 | Philippe Dugerdil, Sebastien Jossi |
Computing dynamic clusters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISEC ![In: Proceeding of the 2nd Annual India Software Engineering Conference, ISEC 2009, Pune, India, February 23-26, 2009, pp. 65-74, 2009, ACM, 978-1-60558-426-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
software architecture, reverse-engineering, dynamic analysis, software clustering |
7 | Kawa Nazemi, Thomas Daniel Ullmann, Christoph Hornung |
Engineering User Centered Interaction Systems for Semantic Visualizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (5) ![In: Universal Access in Human-Computer Interaction. Addressing Diversity, 5th International Conference, UAHCI 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings, Part I, pp. 126-134, 2009, Springer, 978-3-642-02706-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
semantic visualization, interaction, gesture, universal access |
7 | Gerard Briscoe, Philippe De Wilde |
Digital ecosystems: self-organisation of evolving agent populations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEDES ![In: MEDES '09: International ACM Conference on Management of Emergent Digital EcoSystems, Lyon, France, October 27-30, 2009, pp. 44-48, 2009, ACM, 978-1-60558-829-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
clustering, complexity, entropy, evolution, population |
7 | Víctor López-Jaquero, Francisco Montero Simarro, Fernando Real |
Designing user interface adaptation rules with T: XML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IUI ![In: Proceedings of the 14th International Conference on Intelligent User Interfaces, IUI 2009, Sanibel Island, Florida, USA, February 8-11, 2009, pp. 383-388, 2009, ACM, 978-1-60558-168-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
t:xml tool, user interface adaptation, user interface development environment |
7 | Abdulhalim Dandoush, Sara Alouf, Philippe Nain |
Performance Analysis of Centralized versus Distributed Recovery Schemes in P2P Storage Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Networking ![In: NETWORKING 2009, 8th International IFIP-TC 6 Networking Conference, Aachen, Germany, May 11-15, 2009. Proceedings, pp. 676-689, 2009, Springer, 978-3-642-01398-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
peer-to-peer storage systems, recovery process, absorbing continuous-time Markov chain, Performance evaluation |
7 | Hong-Ping Yan, Chun Liu, André Gagalowicz, Cédric Guiard |
Facade Structure Parameterization Based on Similarity Detection from Single Image. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MIRAGE ![In: Computer Vision/Computer Graphics Collaboration Techniques, 4th International Conference, MIRAGE 2009, Rocquencourt, France, May 4-6, 2009. Proceedings, pp. 389-400, 2009, Springer, 978-3-642-01810-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
grammar rules, single rectified image, template, similarity detection |
7 | Silvio Micali, Abhi Shelat |
Purely Rational Secret Sharing (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TCC ![In: Theory of Cryptography, 6th Theory of Cryptography Conference, TCC 2009, San Francisco, CA, USA, March 15-17, 2009. Proceedings, pp. 54-71, 2009, Springer, 978-3-642-00456-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
7 | Neil Walkinshaw, John Derrick, Qiang Guo 0001 |
Iterative Refinement of Reverse-Engineered Models by Model-Based Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings, pp. 305-320, 2009, Springer, 978-3-642-05088-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Reverse engineering, model-based testing, Erlang |
7 | Keith Andrews, Martin Wohlfahrt, Gerhard Wurzinger |
Visual Graph Comparison. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IV ![In: 13th International Conference on Information Visualisation, IV 2009, 15-17 July 2009, Barcelona, Spain, pp. 62-67, 2009, IEEE Computer Society, 978-0-7695-3733-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
7 | Akira Kuroda, Mayuko Koezuka, Hidenori Matsuzaki, Takashi Yoshikawa, Shigehiro Asano |
Mapping method for dynamically reconfigurable architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC ![In: Proceedings of the 14th Asia South Pacific Design Automation Conference, ASP-DAC 2009, Yokohama, Japan, January 19-22, 2009, pp. 757-762, 2009, IEEE, 978-1-4244-2748-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
7 | Lars Gräning, Markus Olhofer, Bernhard Sendhoff |
Interaction Detection in Aerodynamic Design Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDEAL ![In: Intelligent Data Engineering and Automated Learning - IDEAL 2009, 10th International Conference, Burgos, Spain, September 23-26, 2009. Proceedings, pp. 160-167, 2009, Springer, 978-3-642-04393-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Interaction Detection, Aerodynamic Design Data, Turbine Blade, Information Theory, Knowledge Extraction |
7 | Alexei Lapouchnian, Yves Lespérance |
Using the ConGolog and CASL Formal Agent Specification Languages for the Analysis, Verification, and Simulation of i* Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conceptual Modeling: Foundations and Applications ![In: Conceptual Modeling: Foundations and Applications - Essays in Honor of John Mylopoulos, pp. 483-503, 2009, Springer, 978-3-642-02462-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
7 | Nicola Guarino |
The Ontological Level: Revisiting 30 Years of Knowledge Representation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conceptual Modeling: Foundations and Applications ![In: Conceptual Modeling: Foundations and Applications - Essays in Honor of John Mylopoulos, pp. 52-67, 2009, Springer, 978-3-642-02462-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
OntoClean, ontology, knowledge representation, identity, rigidity |
7 | Tyson Badders, Swayze Smartt |
Predicting precedence delays in loudspeaker configuration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Southeast Regional Conference ![In: Proceedings of the 47th Annual Southeast Regional Conference, 2009, Clemson, South Carolina, USA, March 19-21, 2009, 2009, ACM, 978-1-60558-421-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
7 | Moria Abadi, Yishai A. Feldman |
Refactoring of Statecharts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NGITS ![In: Next Generation Information Technologies and Systems, 7th International Conference, NGITS 2009, Haifa, Israel, June 16-18, 2009. Revised Selected Papers, pp. 50-62, 2009, Springer, 978-3-642-04940-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
7 | Andrea Presa, Yannis Velegrakis, Flavio Rizzolo, Siarhei Bykau |
Modeling Associations through Intensional Attributes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER ![In: Conceptual Modeling - ER 2009, 28th International Conference on Conceptual Modeling, Gramado, Brazil, November 9-12, 2009. Proceedings, pp. 315-330, 2009, Springer, 978-3-642-04839-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
7 | M. A. Azadeh, Salman Nazari Shirkouhi |
Evaluating simulation software using fuzzy analytical hierarchy process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim ![In: Proceedings of the 2009 Spring Simulation Multiconference, SpringSim 2009, San Diego, California, USA, March 22-27, 2009, 2009, SCS/ACM. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
simulation software, software selection, fuzzy analytical hierarchy process |
7 | Philip S. Barry, Matthew T. K. Koehler, Brian F. Tivnan |
Agent-directed simulation for systems engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim ![In: Proceedings of the 2009 Spring Simulation Multiconference, SpringSim 2009, San Diego, California, USA, March 22-27, 2009, 2009, SCS/ACM. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
agent directed simulation, infrastructure for complex-systems engineering, stadium defense |
7 | Fernando Fernández 0001, Daniel Borrajo, Susana Fernández, David Manzano-Macho |
Assisting Data Mining through Automated Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MLDM ![In: Machine Learning and Data Mining in Pattern Recognition, 6th International Conference, MLDM 2009, Leipzig, Germany, July 23-25, 2009. Proceedings, pp. 760-774, 2009, Springer, 978-3-642-03069-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
7 | Luigi Iannone, Alan L. Rector, Robert Stevens 0001 |
Embedding Knowledge Patterns into OWL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESWC ![In: The Semantic Web: Research and Applications, 6th European Semantic Web Conference, ESWC 2009, Heraklion, Crete, Greece, May 31-June 4, 2009, Proceedings, pp. 218-232, 2009, Springer, 978-3-642-02120-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
7 | Manar H. Alalfi, James R. Cordy, Thomas R. Dean |
A verification framework for access control in dynamic web applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
C3S2E ![In: Canadian Conference on Computer Science & Software Engineering, C3S2E 2009, Montreal, Quebec, Canada, May 19-21, 2009, Proceedings, pp. 109-113, 2009, ACM, 978-1-60558-401-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
7 | Jadwiga Indulska, Ricky Robinson |
Modelling Weiser's "Sal" Scenario with CML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PerCom Workshops ![In: Seventh Annual IEEE International Conference on Pervasive Computing and Communications - Workshops (PerCom Workshops 2009), 9-13 March 2009, Galveston, TX, USA, pp. 1-6, 2009, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
7 | Giovanni Denaro, Mauro Pezzè, Davide Tosi |
Ensuring interoperable service-oriented systems through engineered self-healing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009, Amsterdam, The Netherlands, August 24-28, 2009, pp. 253-262, 2009, ACM, 978-1-60558-001-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
integration faults, integration mismatches, interoperable service-oriented applications, self-healing software |
7 | Beniamin Apopei, Andy Mills, Tony J. Dodd, Haydn Thompson |
Real Time Simulation in Floating Point Precision Using FPGA Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARC ![In: Reconfigurable Computing: Architectures, Tools and Applications, 5th International Workshop, ARC 2009, Karlsruhe, Germany, March 16-18, 2009. Proceedings, pp. 349-354, 2009, Springer, 978-3-642-00640-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
7 | Andrew L. Burrow |
Algorithm Design Using Traversals of the Covering Relation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS ![In: Conceptual Structures: Leveraging Semantic Technologies, 17th International Conference on Conceptual Structures, ICCS 2009, Moscow, Russia, July 26-31, 2009. Proceedings, pp. 114-127, 2009, Springer, 978-3-642-03078-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
7 | Jeff Clune, Charles Ofria, Robert T. Pennock |
The sensitivity of HyperNEAT to different geometric representations of a problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2009, Proceedings, Montreal, Québec, Canada, July 8-12, 2009, pp. 675-682, 2009, ACM, 978-1-60558-325-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
developmental encoding, generative encoding, artificial neural networks, geometry, neuroevolution, neat, indirect encoding, hyperneat |
7 | Graeme Smith 0001, Jeffrey W. Sanders |
Formal Development of Self-organising Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATC ![In: Autonomic and Trusted Computing, 6th International Conference, ATC 2009, Brisbane, Australia, July 7-9, 2009, Proceedings, pp. 90-104, 2009, Springer, 978-3-642-02703-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
7 | Koji Yamada, Motoki Miura, Tessai Hayama, Susumu Kunifuji |
Effectiveness of Engineering Solution Case Document Search Based on TRIZ Contradiction Matrix Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (2) ![In: Knowledge-Based and Intelligent Information and Engineering Systems, 13th International Conference, KES 2009, Santiago, Chile, September 28-30, 2009, Proceedings, Part II, pp. 547-554, 2009, Springer, 978-3-642-04591-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Knowledge management support system, contradiction matrix, retrieval, TRIZ |
7 | Ilias Bergstrom, Anthony Steed, Beau Lotto |
Mutable mapping: gradual re-routing of OSC control data as a form of artistic performance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advances in Computer Entertainment Technology ![In: Proceedings of the International Conference on Advances in Computer Entertainment Technology, ACE 2009, Athens, Greece, October 29-31, 2009, pp. 290-293, 2009, ACM, 978-1-60558-864-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
open sound control, performance, mapping, live, audiovisual |
|
|