Search results for "craft"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
12	Peter H. Lutz	NetDev: an object-oriented framework enabling network programming for students and researchers.	SIGITE Conference	2005	DBLP DOI BibTeX RDF	OSI model, object oriented, packet, class library
12	Newton Lee	A word from the editor.	Comput. Entertain.	2004	DBLP DOI BibTeX RDF
12	Eleni Berki, Elli Georgiadou, Mike Holcombe	Requirements Engineering and Process Modelling in Software Quality Management- Towards a Generic Process Metamodel.	Softw. Qual. J.	2004	DBLP DOI BibTeX RDF	process metamodelling, evaluation, requirements engineering, software quality, stakeholders, method engineering
12	Martin Odersky	The Scala Experiment - Can We Provide Better Language Support for Component Systems?	APLAS	2004	DBLP DOI BibTeX RDF
12	Timothy J. Ellis, William Hafner, Frank Mitropoulos	eCAD: A Knowledge-Based Course Engineering System.	HICSS	2004	DBLP DOI BibTeX RDF
12	Hong Liu, Xinhua Lin, Yang Qi, Xinda Lu, Minglu Li 0001	Aero-crafts Aerodynamic Simulation and Optimization by Using "CFD-Grid" Based on Service Domain.	GCC	2004	DBLP DOI BibTeX RDF
12	Adam Stone	Internationalizing the Internet.	IEEE Internet Comput.	2003	DBLP DOI BibTeX RDF
12	Hans Konrad Buhrer	Software development: what it is, what it should be, and how to get there.	ACM SIGSOFT Softw. Eng. Notes	2003	DBLP DOI BibTeX RDF	software crisis, theory of software, software engineering, software development
12	Roope Kaivola, Katherine R. Kohatsu	Proof engineering in the large: formal verification of Pentium?4 floating-point divider.	Int. J. Softw. Tools Technol. Transf.	2003	DBLP DOI BibTeX RDF	Formal verification, Microprocessor, Arithmetic
12	Herbert H. Thompson	Why Security Testing Is Hard.	IEEE Secur. Priv.	2003	DBLP DOI BibTeX RDF
12	Richard E. Fairley, Mary Jane Willshire	Why the Vasa Sank: 10 Problems and Some Antidotes for Software Projects.	IEEE Softw.	2003	DBLP DOI BibTeX RDF	case study, project management, risk management, best practices, software requirements, software projects
12	Henry S. Baird, Allison L. Coates, Richard J. Fateman	PessimalPrint: a reverse Turing test.	Int. J. Document Anal. Recognit.	2003	DBLP DOI BibTeX RDF	OCR evaluation methods, Human/machine discrimination, Document image analysis, Turing test, Legibility, Document image degradation
12	Kolja Kähler, Jörg Haber, Hans-Peter Seidel	Reanimating the dead: reconstruction of expressive faces from skull data.	ACM Trans. Graph.	2003	DBLP DOI BibTeX RDF	forensic art, facial modeling, face reconstruction
12	Peter Bøgh Andersen, Jens Bennedsen, Steffen Brandorff, Michael E. Caspersen, Jesper Mosegaard	Teaching programming to liberal arts students: a narrative media approach.	ITiCSE	2003	DBLP DOI BibTeX RDF	literal arts students, introductory programming, programming education, non-majors, narration
12	Karin Koogan Breitman, Julio César Sampaio do Prado Leite	Lexicon Based Ontology Construction.	SELMAS	2003	DBLP DOI BibTeX RDF
12	William W. Gaver, Jacob Beaver, Steve Benford	Ambiguity as a resource for design.	CHI	2003	DBLP DOI BibTeX RDF	interaction design, ambiguity
12	John M. Carroll 0001, Mary Beth Rosson, Paul McInerney	Scenarios in practice.	CHI Extended Abstracts	2003	DBLP DOI BibTeX RDF	design, user interfaces, scenarios
12	Cyrille Artho, Doron Drusinsky, Allen Goldberg, Klaus Havelund, Michael R. Lowry, Corina S. Pasareanu, Grigore Rosu, Willem Visser	Experiments with Test Case Generation and Runtime Analysis.	Abstract State Machines	2003	DBLP DOI BibTeX RDF
12	Simon Crowle, Linda Hole	ISML: An Interface Specification Meta-language.	DSV-IS	2003	DBLP DOI BibTeX RDF
12	Pete Docter	Cheating, deceit and sleight-of-hand: how to create good character animation.	SI3D	2003	DBLP DOI BibTeX RDF
12	Thomas Wagner 0001, Valerie Guralnik, John Phelps	A key-based coordination algorithm for dynamic readiness and repair service coordination.	AAMAS	2003	DBLP DOI BibTeX RDF	TAEMS, multi-agent systems, real-time, coordination, intelligent agents, dynamic, teams
12	Bob Waite	Consequences of the engineering approach to technical writing.	ACM J. Comput. Documentation	2002	DBLP DOI BibTeX RDF	collaboration, project management, teamwork, documentation development
12	Wayne H. Wolf	Embedded Computing - What Is Embedded Computing?	Computer	2002	DBLP DOI BibTeX RDF
12	Mike Joy, Boris Muzykantskii, Simon Alan Rawles, Michael Evans	An Infrastructure for Web-Based Computer-Assisted Learning.	ACM J. Educ. Resour. Comput.	2002	DBLP DOI BibTeX RDF	CAA, XML, DTD, markup, CAL
12	Taewoo Kim 0005, Paul A. Fishwick	A 3D XML-based customized framework for dynamic models.	Web3D	2002	DBLP DOI BibTeX RDF	MXL, aesthetic computing, aesthetic programming, rube, XML, personalization, VRML, 3D, XSLT, X3D, dynamic modeling, model design
12	Tzilla Elrad, Omar Aldawud, Atef Bader	Aspect-Oriented Modeling: Bridging the Gap between Implementation and Design.	GPCE	2002	DBLP DOI BibTeX RDF
12	Oleg Kiselyov	Macros That Compose: Systematic Macro Programming.	GPCE	2002	DBLP DOI BibTeX RDF
12	Kymie M. C. Tan, Kevin S. Killourhy, Roy A. Maxion	Undermining an Anomaly-Based Intrusion Detection System Using Common Exploits.	RAID	2002	DBLP DOI BibTeX RDF
12	Sjouke Mauw, Wouter T. Wiersma, Tim A. C. Willemse	Language Driven System Design.	HICSS	2002	DBLP DOI BibTeX RDF	Language Driven Approach, Traffic Light Control, Domain-Specific Languages, Systems Engineering, Language Design
12	Pauliina Seppälä, Harri Alamäki	Mobile Learning and Mobility in Teacher Training.	WMTE	2002	DBLP DOI BibTeX RDF
12	Vali Lalioti, Andries Malan, James Pun, Jürgen Wind	Ndebele Painting in VR.	IEEE Computer Graphics and Applications	2001	DBLP DOI BibTeX RDF
12	James S. Willans, Michael D. Harrison	Prototyping Pre-implementation Designs of Virtual Environment Behaviour.	EHCI	2001	DBLP DOI BibTeX RDF
12	Roope Kaivola, Katherine R. Kohatsu	Proof Engineering in the Large: Formal Verification of Pentium® 4 Floating-Point Divider.	CHARME	2001	DBLP DOI BibTeX RDF
12	Michael J. Muller	Layered participatory analysis: new developments in the CARD technique.	CHI	2001	DBLP DOI BibTeX RDF	PANDA, participatory analysis, participatory design, CARD, work analysis
12	Arnold L. Rosenberg	Sharing Partitionable Workloads in Heterogeneous NOWs: Greedier Is Not Better.	CLUSTER	2001	DBLP DOI BibTeX RDF	Heterogeneous NOW, Parameterized architectural model, Self-scheduling protocol, Worksharing, Cluster computing, Network of workstations (NOW)
12	Allison L. Coates, Richard J. Fateman, Henry S. Baird	Pessimal Print: A Reverse Turing Test.	ICDAR	2001	DBLP DOI BibTeX RDF	OCR evaluation methods, human/ machine discrimination, document image analysis, Turing test, legibility, document image degradation
12	Klaus Havelund, Thomas Pressburger	Model Checking JAVA Programs using JAVA PathFinder.	Int. J. Softw. Tools Technol. Transf.	2000	DBLP DOI BibTeX RDF	Java, Model checking, Program verification, Concurrent programming, Deadlocks, Assertions, Spin
12	Adrian Thompson, Paul J. Layzell 0002	Evolution of Robustness in an Electronics Design.	ICES	2000	DBLP DOI BibTeX RDF
12	Oliver E. Theel	A verification technique for self-stabilizing algorithms based on Ljapunov's "Second Method" (brief announcement).	PODC	2000	DBLP DOI BibTeX RDF
12	Roger Smith, Bertrand Meyer 0001, Clemens A. Szyperski, Gilda Pour	Component-Based Development? Refining the Blueprint.	TOOLS (34)	2000	DBLP DOI BibTeX RDF
12	Walfredo Cirne, Francine Berman	Adaptive Selection of Partition Size for Supercomputer Requests.	JSSPP	2000	DBLP DOI BibTeX RDF
12	Susan P. Hall, Lili Fox Velez	There's more than one way to wire that: when assembly workers are technically writers.	SIGDOC	1999	DBLP DOI BibTeX RDF
12	Lauretta Jones, Catalina Danis, Stephen J. Boies	Avoiding the Mistake of Cloning: A Case for User-Centered Design Methods to Reengineer Documents.	HICSS	1999	DBLP DOI BibTeX RDF
12	Philip W. L. Fong, Robert D. Cameron	Proof Linking: An Architecture for Modular Verification of Dynamically-Linked Mobile Code.	SIGSOFT FSE	1998	DBLP DOI BibTeX RDF	Java
12	Michael Thuné, Krister Åhlander	Towards an Expressive Language for PDE Solvers.	ESOP	1996	DBLP DOI BibTeX RDF	composite grids, parallel, object-oriented, scientific computing
12	Julio Macedo, Rafael Ruiz Usano	An Intelligent System to Identify the Appropriate Organization for a Factory.	DEXA	1994	DBLP DOI BibTeX RDF	Total Quality Management, Neural Networks, Expert Systems, System Dynamics, Manufacturing Systems
12	Bruce "Tog" Tognazzini	Principles, techniques, and ethics of stage magic and their application to human interface design.	INTERCHI	1993	DBLP DOI BibTeX RDF	HCI design, dissimulation, magician, misdirection, time, ethics, response time, characters, anthropomorphism, technique, principle, magic, illusion, theater
12	Alex C.-C. Meng, Vytas B. Gylys	A Methodology of Autonomous Navigation in 3-D Space Under Location Uncertainty.	IEA/AIE (Vol. 1)	1988	DBLP DOI BibTeX RDF
12	James E. Oberg, Jack Butler, Bernard F. King Jr., Stephen Ruth	Computer education for managers.	AFIPS National Computer Conference	1974	DBLP DOI BibTeX RDF