|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 12830 occurrences of 5919 keywords
|
|
|
Results
Found 17404 publication records. Showing 17404 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
50 | Hans Bekic, Dines Bjørner, Wolfgang Henhapl, Cliff B. Jones, Peter Lucas 0001 |
On the Formal Definition of a PL/I Subset (Selected parts). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming Languages and Their Definition ![In: Programming Languages and Their Definition - Hans Bekic (1936-1982), pp. 107-155, 1984, Springer, 3-540-13378-X. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
47 | Hans Bekic |
On the formal Definition of Programming Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming Languages and Their Definition ![In: Programming Languages and Their Definition - Hans Bekic (1936-1982), pp. 86-106, 1984, Springer, 3-540-13378-X. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
47 | Jun Xu 0001, Yunbo Cao, Hang Li 0001, Min Zhao, Yalou Huang |
A Supervised Learning Approach to Search of Definitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. Technol. ![In: J. Comput. Sci. Technol. 21(3), pp. 439-449, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
definition search, text mining, web search, web mining |
44 | David E. Gay |
Interface Definition Language Conversions: Recursive Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Interface Definition Languages ![In: Proceedings of the Workshop on Interface Definition Languages, January 20, 1994, Portland, Oregon, USA, in conjunction with POPL 1994, pp. 101-110, 1994, ACM Press. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
44 | Sriram Sankar, Roger Hayes |
ADL - An Interface Definition Language for Specifying and Testing Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Interface Definition Languages ![In: Proceedings of the Workshop on Interface Definition Languages, January 20, 1994, Portland, Oregon, USA, in conjunction with POPL 1994, pp. 13-21, 1994, ACM Press. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
44 | Robert Allen, David Garlan |
Beyond Definition/Use: Architectural Interconnection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Interface Definition Languages ![In: Proceedings of the Workshop on Interface Definition Languages, January 20, 1994, Portland, Oregon, USA, in conjunction with POPL 1994, pp. 35-45, 1994, ACM Press. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
44 | Dennis McLeod |
High Level Domain Definition in a Relational Data Base System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conference on Data: Abstraction, Definition and Structure ![In: Proceedings of the SIGPLAN 1976 Conference on Data: Abstraction, Definition and Structure, Salt Lake City, Utah, USA, March 22-24, 1976, pp. 47-57, 1976, ACM, 978-1-4503-7898-7. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
44 | Bengt Nordström |
An Outline of a Mathematical Model for the Definition and Manipulation of Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conference on Data: Abstraction, Definition and Structure ![In: Proceedings of the SIGPLAN 1976 Conference on Data: Abstraction, Definition and Structure, Salt Lake City, Utah, USA, March 22-24, 1976, pp. 1-11, 1976, ACM, 978-1-4503-7898-7. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
44 | Surya B. Yadav |
Control and Definition Modularization: An Improved Software Design Technique for Organizing Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(1), pp. 92-99, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
definition modularization, software design technique, organizing programs, control and definition modularization, systematic program layout, conceptual data object, execution flow, programs maintainability, structured design methodology, software engineering |
41 | Atsushi Ohnishi, Norihiro Tokuda |
Visual software requirements definition environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 21st International Computer Software and Applications Conference (COMPSAC '97), 11-15 August 1997, Washington, DC, USA, pp. 624-629, 1997, IEEE Computer Society, 0-8186-8105-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
visual software requirements definition environment, visual software requirements specification, visual requirements language, icon movements, scenario description, visual software requirements definition, multiple developers, semantics, animation, visual programming, network system |
39 | Richard M. Lobsitz |
A Method for Assembling a Project-Specific Software Process Definition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (1) ![In: 29th Annual Hawaii International Conference on System Sciences (HICSS-29), January 3-6, 1996, Maui, Hawaii, USA, pp. 722-730, 1996, IEEE Computer Society, 0-8186-7324-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
software process definition, software process tailoring, software project planning |
36 | Xiao Chang, Qinghua Zheng |
Offline Definition Extraction Using Machine Learning for Knowledge-Oriented Question Answering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIC (3) ![In: Advanced Intelligent Computing Theories and Applications. With Aspects of Contemporary Intelligent Computing Techniques, Third International Conference on Intelligent Computing, ICIC 2007, Qingdao, China, August 21-24, 2007. Proceedings, pp. 1286-1294, 2007, Springer, 978-3-540-74281-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Definition Extraction, Machine Learning, Question Answering System |
36 | Yoshiki Mitani, Tomoko Matsumura, Mike Barker, Seishiro Tsuruho, Katsuro Inoue, Ken-ichi Matsumoto |
An Empirical Study of Process and Product Metrics Based on In-process Measurements of a Standardized Requirements Definition Phase. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSM/Mensura ![In: Software Process and Product Measurement, International Conference, IWSM-Mensura 2007, Palma de Mallorca, Spain, November 5-8, 2007. Revised Papers, pp. 46-59, 2007, Springer, 978-3-540-85552-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
In-process measurement, Requirements definition phase measurement, Enterprise Architecture, Empirical software engineering, Software process measurement |
36 | Martin Bravenboer, Éric Tanter, Eelco Visser |
Declarative, formal, and extensible syntax definition for aspectJ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2006, October 22-26, 2006, Portland, Oregon, USA, pp. 209-228, 2006, ACM, 1-59593-348-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
generalized-LR parsing, grammar mixins, lexical syntax, scannerless parsing, syntax definition, syntax extension, aspectJ |
36 | Mary Jean Harrold, Mary Lou Soffa |
Efficient Computation of Interprocedural Definition-Use Chains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 16(2), pp. 175-204, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
dataflow testing, interprocedural dataflow analysis, interprocedural definition-use chains, interprocedural reachable uses, interprocedural reaching definitions |
35 | Joshua S. Auerbach, James R. Russell |
The Concert Signature Representation: IDL as Intermediate Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Interface Definition Languages ![In: Proceedings of the Workshop on Interface Definition Languages, January 20, 1994, Portland, Oregon, USA, in conjunction with POPL 1994, pp. 1-12, 1994, ACM Press. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
35 | Yang Meng Tan |
Interface Language for Supporting Programming Styles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Interface Definition Languages ![In: Proceedings of the Workshop on Interface Definition Languages, January 20, 1994, Portland, Oregon, USA, in conjunction with POPL 1994, pp. 74-83, 1994, ACM Press. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
35 | James R. Russell, Robert E. Strom, Daniel M. Yellin |
A Checkable Interface Language for Pointer-Based Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Interface Definition Languages ![In: Proceedings of the Workshop on Interface Definition Languages, January 20, 1994, Portland, Oregon, USA, in conjunction with POPL 1994, pp. 59-73, 1994, ACM Press. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
35 | Stefan Kahrs, Donald Sannella, Andrzej Tarlecki |
Interfaces and Extended ML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Interface Definition Languages ![In: Proceedings of the Workshop on Interface Definition Languages, January 20, 1994, Portland, Oregon, USA, in conjunction with POPL 1994, pp. 111-118, 1994, ACM Press. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
35 | Peter B. Kessler |
A Client-Side Stub Interpreter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Interface Definition Languages ![In: Proceedings of the Workshop on Interface Definition Languages, January 20, 1994, Portland, Oregon, USA, in conjunction with POPL 1994, pp. 94-100, 1994, ACM Press. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
35 | Graham Hamilton, Sanjay R. Radia |
Using Interface Inheritance to Address Problems in System Software Evolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Interface Definition Languages ![In: Proceedings of the Workshop on Interface Definition Languages, January 20, 1994, Portland, Oregon, USA, in conjunction with POPL 1994, pp. 119-128, 1994, ACM Press. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
35 | Burkhard Freitag, Tiziana Margaria, Bernhard Steffen |
A Pragmatic Approach to Software Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Interface Definition Languages ![In: Proceedings of the Workshop on Interface Definition Languages, January 20, 1994, Portland, Oregon, USA, in conjunction with POPL 1994, pp. 46-58, 1994, ACM Press. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
35 | Don Cohen, Neil M. Goldman, Khaled Narayanaswamy |
Adding Performance Information to ADT Interfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Interface Definition Languages ![In: Proceedings of the Workshop on Interface Definition Languages, January 20, 1994, Portland, Oregon, USA, in conjunction with POPL 1994, pp. 84-93, 1994, ACM Press. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
35 | Gary T. Leavens |
Inheritance of Interface Specifications (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Interface Definition Languages ![In: Proceedings of the Workshop on Interface Definition Languages, January 20, 1994, Portland, Oregon, USA, in conjunction with POPL 1994, pp. 129-138, 1994, ACM Press. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
35 | Dinesh Katiyar, David C. Luckham, John C. Mitchell |
Polymorphism and Subtyping in Interfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Interface Definition Languages ![In: Proceedings of the Workshop on Interface Definition Languages, January 20, 1994, Portland, Oregon, USA, in conjunction with POPL 1994, pp. 22-34, 1994, ACM Press. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
35 | Cliff B. Jones (eds.) |
Programming Languages and Their Definition - Hans Bekic (1936-1982) ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming Languages and Their Definition ![Springer, 3-540-13378-X The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
35 | Hans Bekic |
From comments arising from a lecture in Amsterdam, June 1972. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming Languages and Their Definition ![In: Programming Languages and Their Definition - Hans Bekic (1936-1982), pp. 207-214, 1984, Springer, 3-540-13378-X. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
35 | Hans Bekic |
Defining a Language in its Own Terms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming Languages and Their Definition ![In: Programming Languages and Their Definition - Hans Bekic (1936-1982), pp. 17-25, 1984, Springer, 3-540-13378-X. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
35 | Hans Bekic |
Nondeterministic Functions and the Semantics of CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming Languages and Their Definition ![In: Programming Languages and Their Definition - Hans Bekic (1936-1982), pp. 230-239, 1984, Springer, 3-540-13378-X. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
35 | Hans Bekic |
The Meaning of Names in PL/I. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming Languages and Their Definition ![In: Programming Languages and Their Definition - Hans Bekic (1936-1982), pp. 4-16, 1984, Springer, 3-540-13378-X. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
35 | Hans Bekic |
The Semantics of Parallel Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming Languages and Their Definition ![In: Programming Languages and Their Definition - Hans Bekic (1936-1982), pp. 215-229, 1984, Springer, 3-540-13378-X. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
35 | Hans Bekic, Kurt Walk |
Formalization of Storage Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming Languages and Their Definition ![In: Programming Languages and Their Definition - Hans Bekic (1936-1982), pp. 56-85, 1984, Springer, 3-540-13378-X. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
35 | Hans Bekic |
A Model of Nondeterminism: Indexed Sets and Their Equivalence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming Languages and Their Definition ![In: Programming Languages and Their Definition - Hans Bekic (1936-1982), pp. 248-254, 1984, Springer, 3-540-13378-X. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
35 | Hans Bekic |
Mathematical Semantics and Compiler Correctness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming Languages and Their Definition ![In: Programming Languages and Their Definition - Hans Bekic (1936-1982), pp. 156-167, 1984, Springer, 3-540-13378-X. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
35 | Hans Bekic |
Note on Some Problems Concerning the PL/I Manual and its Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming Languages and Their Definition ![In: Programming Languages and Their Definition - Hans Bekic (1936-1982), pp. 26-29, 1984, Springer, 3-540-13378-X. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
35 | Hans Bekic |
The Assignment to a Type Procedure Identifier in ALGOL 60. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming Languages and Their Definition ![In: Programming Languages and Their Definition - Hans Bekic (1936-1982), pp. 2-3, 1984, Springer, 3-540-13378-X. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
35 | Hans Bekic |
Nondeterministic Programs: An Example. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming Languages and Their Definition ![In: Programming Languages and Their Definition - Hans Bekic (1936-1982), pp. 240-247, 1984, Springer, 3-540-13378-X. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
35 | Hans Bekic |
Towards a Mathematical Theory of Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming Languages and Their Definition ![In: Programming Languages and Their Definition - Hans Bekic (1936-1982), pp. 168-206, 1984, Springer, 3-540-13378-X. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
35 | Hans Bekic |
Definable Operation in General Algebras, and the Theory of Automata and Flowcharts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming Languages and Their Definition ![In: Programming Languages and Their Definition - Hans Bekic (1936-1982), pp. 30-55, 1984, Springer, 3-540-13378-X. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
35 | Hans Bekic |
Note on a Test Example for ALGOL 60 Compilers by D. E. Knuth. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming Languages and Their Definition ![In: Programming Languages and Their Definition - Hans Bekic (1936-1982), pp. 1, 1984, Springer, 3-540-13378-X. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
35 | Michael Hammer |
Data Abstractions for Data Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conference on Data: Abstraction, Definition and Structure ![In: Proceedings of the SIGPLAN 1976 Conference on Data: Abstraction, Definition and Structure, Salt Lake City, Utah, USA, March 22-24, 1976, pp. 58-59, 1976, ACM, 978-1-4503-7898-7. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
35 | Douglas T. Ross |
Toward Foundations for the Understanding of Type. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conference on Data: Abstraction, Definition and Structure ![In: Proceedings of the SIGPLAN 1976 Conference on Data: Abstraction, Definition and Structure, Salt Lake City, Utah, USA, March 22-24, 1976, pp. 63-65, 1976, ACM, 978-1-4503-7898-7. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
35 | Michael E. Senko |
DIAM II and Levels of Abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conference on Data: Abstraction, Definition and Structure ![In: Proceedings of the SIGPLAN 1976 Conference on Data: Abstraction, Definition and Structure, Salt Lake City, Utah, USA, March 22-24, 1976, pp. 121-140, 1976, ACM, 978-1-4503-7898-7. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
35 | Eric Allman, Michael Stonebraker, Gerald Held |
Embedding a Relational Data Sublanguage in a General Purpose Programming Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conference on Data: Abstraction, Definition and Structure ![In: Proceedings of the SIGPLAN 1976 Conference on Data: Abstraction, Definition and Structure, Salt Lake City, Utah, USA, March 22-24, 1976, pp. 25-35, 1976, ACM, 978-1-4503-7898-7. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
35 | Cornelis H. A. Koster |
Visibility and Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conference on Data: Abstraction, Definition and Structure ![In: Proceedings of the SIGPLAN 1976 Conference on Data: Abstraction, Definition and Structure, Salt Lake City, Utah, USA, March 22-24, 1976, pp. 179-190, 1976, ACM, 978-1-4503-7898-7. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
35 | Janis A. Bubenko Jr., Stig Berild, Eva Lindencrona-Ohlin, Sam Nachmens |
From Information Structures to DBTG Data Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conference on Data: Abstraction, Definition and Structure ![In: Proceedings of the SIGPLAN 1976 Conference on Data: Abstraction, Definition and Structure, Salt Lake City, Utah, USA, March 22-24, 1976, pp. 73-85, 1976, ACM, 978-1-4503-7898-7. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
35 | David Gries, Narain H. Gehani |
Some Ideas on Data Types in High Level Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conference on Data: Abstraction, Definition and Structure ![In: Proceedings of the SIGPLAN 1976 Conference on Data: Abstraction, Definition and Structure, Salt Lake City, Utah, USA, March 22-24, 1976, pp. 120, 1976, ACM, 978-1-4503-7898-7. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
35 | John V. Guttag |
Abstract Data Types and the Development of Data Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conference on Data: Abstraction, Definition and Structure ![In: Proceedings of the SIGPLAN 1976 Conference on Data: Abstraction, Definition and Structure, Salt Lake City, Utah, USA, March 22-24, 1976, pp. 72, 1976, ACM, 978-1-4503-7898-7. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
35 | Lawrence Flon, A. Nico Habermann |
Towards the Construction of Verifiable Software Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conference on Data: Abstraction, Definition and Structure ![In: Proceedings of the SIGPLAN 1976 Conference on Data: Abstraction, Definition and Structure, Salt Lake City, Utah, USA, March 22-24, 1976, pp. 141-148, 1976, ACM, 978-1-4503-7898-7. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
35 | James J. Horning |
Some Desirable Properties of Data Abstraction Facilities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conference on Data: Abstraction, Definition and Structure ![In: Proceedings of the SIGPLAN 1976 Conference on Data: Abstraction, Definition and Structure, Salt Lake City, Utah, USA, March 22-24, 1976, pp. 60-62, 1976, ACM, 978-1-4503-7898-7. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
35 | Theodore A. Linden |
The Use of Abstract Data Types to Simplify Program Modifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conference on Data: Abstraction, Definition and Structure ![In: Proceedings of the SIGPLAN 1976 Conference on Data: Abstraction, Definition and Structure, Salt Lake City, Utah, USA, March 22-24, 1976, pp. 12-23, 1976, ACM, 978-1-4503-7898-7. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
35 | Mary Shaw |
Research Directions in Abstract Data Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conference on Data: Abstraction, Definition and Structure ![In: Proceedings of the SIGPLAN 1976 Conference on Data: Abstraction, Definition and Structure, Salt Lake City, Utah, USA, March 22-24, 1976, pp. 66-68, 1976, ACM, 978-1-4503-7898-7. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
35 | David Lorge Parnas, John E. Shore, David M. Weiss 0001 |
Abstract Types Defined as Classes of Variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conference on Data: Abstraction, Definition and Structure ![In: Proceedings of the SIGPLAN 1976 Conference on Data: Abstraction, Definition and Structure, Salt Lake City, Utah, USA, March 22-24, 1976, pp. 149-153, 1976, ACM, 978-1-4503-7898-7. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
35 | W. Terry Hardgrave |
A Technique for Implementing a Set Processor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conference on Data: Abstraction, Definition and Structure ![In: Proceedings of the SIGPLAN 1976 Conference on Data: Abstraction, Definition and Structure, Salt Lake City, Utah, USA, March 22-24, 1976, pp. 86-94, 1976, ACM, 978-1-4503-7898-7. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
35 | Barron C. Housel, Nan C. Shu |
A High-Level Data Manipulation Language for Hierarchical Data Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conference on Data: Abstraction, Definition and Structure ![In: Proceedings of the SIGPLAN 1976 Conference on Data: Abstraction, Definition and Structure, Salt Lake City, Utah, USA, March 22-24, 1976, pp. 155-169, 1976, ACM, 978-1-4503-7898-7. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
35 | Moshé M. Zloof, S. Peter de Jong |
The System for Business Automation: Programming Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conference on Data: Abstraction, Definition and Structure ![In: Proceedings of the SIGPLAN 1976 Conference on Data: Abstraction, Definition and Structure, Salt Lake City, Utah, USA, March 22-24, 1976, pp. 24, 1976, ACM, 978-1-4503-7898-7. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
35 | Daniel M. Berry, Z. Erlich, Carlos José Pereira de Lucena |
Correctness of Data Representations: Pointers in High Level Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conference on Data: Abstraction, Definition and Structure ![In: Proceedings of the SIGPLAN 1976 Conference on Data: Abstraction, Definition and Structure, Salt Lake City, Utah, USA, March 22-24, 1976, pp. 115-119, 1976, ACM, 978-1-4503-7898-7. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
35 | Oscar Vallarino |
On the Use of Bit Maps for Multiple Key Retrieval. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conference on Data: Abstraction, Definition and Structure ![In: Proceedings of the SIGPLAN 1976 Conference on Data: Abstraction, Definition and Structure, Salt Lake City, Utah, USA, March 22-24, 1976, pp. 108-114, 1976, ACM, 978-1-4503-7898-7. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
35 | Jim Mitchell, Ben Wegbreit |
A Next Step in Data Structuring for Programming Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conference on Data: Abstraction, Definition and Structure ![In: Proceedings of the SIGPLAN 1976 Conference on Data: Abstraction, Definition and Structure, Salt Lake City, Utah, USA, March 22-24, 1976, pp. 69-70, 1976, ACM, 978-1-4503-7898-7. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
35 | Robert T. Johnson, James B. Morris |
Abstract Data Types in the Model Programming Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conference on Data: Abstraction, Definition and Structure ![In: Proceedings of the SIGPLAN 1976 Conference on Data: Abstraction, Definition and Structure, Salt Lake City, Utah, USA, March 22-24, 1976, pp. 36-46, 1976, ACM, 978-1-4503-7898-7. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
35 | Mark B. Wells, Fred L. Cornwall |
A Data Type Encapsulation Scheme Utilizing Base Language Operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conference on Data: Abstraction, Definition and Structure ![In: Proceedings of the SIGPLAN 1976 Conference on Data: Abstraction, Definition and Structure, Salt Lake City, Utah, USA, March 22-24, 1976, pp. 170-178, 1976, ACM, 978-1-4503-7898-7. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
35 | John Miles Smith, Diane C. P. Smith |
Data Base Abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conference on Data: Abstraction, Definition and Structure ![In: Proceedings of the SIGPLAN 1976 Conference on Data: Abstraction, Definition and Structure, Salt Lake City, Utah, USA, March 22-24, 1976, pp. 71, 1976, ACM, 978-1-4503-7898-7. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
35 | Richard B. Kieburtz |
Programming without Pointer Variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conference on Data: Abstraction, Definition and Structure ![In: Proceedings of the SIGPLAN 1976 Conference on Data: Abstraction, Definition and Structure, Salt Lake City, Utah, USA, March 22-24, 1976, pp. 95-107, 1976, ACM, 978-1-4503-7898-7. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
33 | Luis Reynoso, José A. Cruz-Lemus, Marcela Genero, Mario Piattini |
Formal definition of measures for UML statechart diagrams using OCL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008, pp. 846-847, 2008, ACM, 978-1-59593-753-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
UML, measures, metamodeling, OCL, understandability, structural properties, formal definition, statechart diagrams |
33 | Eike Falk Anderson |
Scripted smarts in an intelligent virtual environment: behaviour definition using a simple entity annotation language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Future Play ![In: Proceedings of the 2008 Conference on Future Play: Research, Play, Share, Future Play 2008, Toronto, Ontario, Canada, November 3-5, 2008, pp. 185-188, 2008, ACM, 978-1-60558-218-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
behaviour definition (programming) language, smart terrain, game AI |
33 | Euclid Keramopoulos, Philippos Pouyioutas, Tasos Ptohos |
A Formal Definition of the Users View (UV) of the Graphical Object Query Language (GOQL). ![Search on Bibsonomy](Pics/bibsonomy.png) |
IV ![In: International Conference on Information Visualisation, IV 2002, London, England, UK, July 10-12, 2002, pp. 211-, 2002, IEEE Computer Society, 0-7695-1656-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Object-Oriented Databases, Formal Definition, Graphical Query Languages |
32 | Qiang Yue, Hao Wang 0002, Li Zha, Li Wei, Zhiwei Xu 0002 |
An Approach to Exception Handling for Service-Oriented Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWS ![In: 2006 IEEE International Conference on Web Services (ICWS 2006), 18-22 September 2006, Chicago, Illinois, USA, pp. 727-734, 2006, IEEE Computer Society, 0-7695-2669-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
message level exception handling (Ml- Eh), definition space, meta-definition mode, algorithm |
32 | Yue Yang, Baoxin Li |
Non-linear image enhancement for digital TV applications using Gabor filters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICME ![In: Proceedings of the 2005 IEEE International Conference on Multimedia and Expo, ICME 2005, July 6-9, 2005, Amsterdam, The Netherlands, pp. 1018-1021, 2005, IEEE Computer Society, 0-7803-9331-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
high-definition image, nonlinear image enhancement, digital TV application, contrast sensitivity function, visual quality perception, standard definition source, Gabor filter, human visual system |
32 | Jay P. Harrison, Brian Christensen, Michael Gulli, Joseph Bianco |
Virtual Collaborative Simulation Environment for Integrated Product and Process Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPDC ![In: Proceedings of the 5th International Symposium on High Performance Distributed Computing (HPDC '96), Syracuse, NY, USA, August 6-9, 1996., pp. 19-22, 1996, IEEE Computer Society, 0-8186-7582-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
virtual collaborative engineering, integrated product/process design, distributed real-time visualization, Deneb, dynamic simulation environment, integrated product teams, interactive evaluation, acquisition programs, computer-aided manufacturing, continuous simulation, graphics package, interactive graphic simulation, system performance requirements, configuration definition, assembly sequences, tooling concepts, shop floor layout, handling requirements, system definition activities, virtual reality, real-time systems, groupware, training, distributed processing, digital simulation, wide area networks, WAN, data visualisation, product development, CAD/CAM, manufacturing processes, engineering graphics, design reviews, discrete simulation, suppliers |
32 | Billy G. Claybrook |
A Facility for Defining and Manipulating Generalized Data Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 2(4), pp. 370-406, 1977. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
data structure definition facility, data structures, database management, data definition languages |
31 | Yoshiki Mitani, Tomoko Matsumura, Mike Barker, Seishiro Tsuruho, Katsuro Inoue, Ken-ichi Matsumoto |
Proposal of a Complete Life Cycle In-Process Measurement Model Based on Evaluation of an In-Process Measurement Experiment Using a Standardized Requirement Definition Process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEM ![In: Proceedings of the First International Symposium on Empirical Software Engineering and Measurement, ESEM 2007, September 20-21, 2007, Madrid, Spain, pp. 11-20, 2007, ACM / IEEE Computer Society, 0-7695-2886-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
In-process measurement, Requirement definition phase measurement, Enterprise Architecture, Empirical software engineering, Software process measurement |
31 | Aoying Zhou, Shuigeng Zhou, Wen Jin, Zengping Tian |
An Improved Definition of Multidimensional Inter-transaction Association Rule. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAKDD ![In: Methodologies for Knowledge Discovery and Data Mining, Third Pacific-Asia Conference, PAKDD-99, Beijing, China, April 26-28, 1999, Proceedings, pp. 104-108, 1999, Springer, 3-540-65866-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Multidimensional Transaction Database, Multidimensional Inter-transaction Association Rule (MDITAR), Data Mining, Definition |
31 | Albert Cohen 0001, Jean-Francois Collard |
Instance-Wise Reaching Definition Analysis for Recursive Programs using Context-Free Transductions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE PACT ![In: Proceedings of the 1998 International Conference on Parallel Architectures and Compilation Techniques, Paris, France, October 12-18, 1998, pp. 332-339, 1998, IEEE Computer Society, 0-8186-8591-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Reaching Definition Analysis, Push-down Transducers, Context-free Languages, Recursive Programs |
31 | Atsushi Ohnishi |
CARD: An Environment for Software Requirements Definition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 2nd Asia-Pacific Software Engineering Conference (APSEC '95), December 6-9, 1995, Brisbane, Queensland, Australia, pp. 420-429, 1995, IEEE Computer Society, 0-8186-7171-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
software design, software specification, requirements definition |
29 | Danny C. C. Poo |
Policy Definition in Application-Domain-Related Classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (27) ![In: TOOLS 1998: 27th International Conference on Technology of Object-Oriented Languages and Systems, 22-25 September 1998, Beijing, China, pp. 94-103, 1998, IEEE Computer Society, 0-8186-9096-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Software Maintenance, Policies, Business Rules, Classes, Object-Oriented Software Engineering |
29 | G. C. H. Sharman |
A Constructive Definition of Third Normal Form. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the 1976 ACM SIGMOD International Conference on Management of Data, Washington, DC, USA, June 2-4, 1976., pp. 91-99, 1976, ACM, 978-1-4503-4729-7. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
28 | Shay Artzi, Adam Kiezun, Jaime Quinonez, Michael D. Ernst |
Parameter reference immutability: formal definition, inference tool, and comparison. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. Softw. Eng. ![In: Autom. Softw. Eng. 16(1), pp. 145-192, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Reference immutability, Combined analysis, Definition, Readonly |
28 | Luis Reynoso, Elvira Rolón Aguilar, Marcela Genero, Félix García 0001, Francisco Ruiz 0001, Mario Piattini |
Formal Definition of Measures for BPMN Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSM/Mensura ![In: Software Process and Product Measurement, International Conferences IWSM 2009 and Mensura 2009, Amsterdam, The Netherlands, November 4-6, 2009. Proceedings, pp. 285-306, 2009, Springer, 978-3-642-05414-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Measure, Business Process, OCL, BPMN, Formal Definition |
28 | Jesús M. Pérez, Pablo Sánchez Espeso, Marcos Martinez |
Real-Time Stereo Matching Using Memory-Efficient Belief Propagation for High-Definition 3D Tele-Presence Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIARP ![In: Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications, 14th Iberoamerican Conference on Pattern Recognition, CIARP 2009, Guadalajara, Jalisco, Mexico, November 15-18, 2009. Proceedings, pp. 825-833, 2009, Springer, 978-3-642-10267-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
FPGA, Real-Time, Stereo-vision, Belief propagation, High-Definition |
28 | Effie Lai-Chong Law, Virpi Roto, Arnold P. O. S. Vermeeren, Joke Kort, Marc Hassenzahl |
Towards a shared definition of user experience. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Extended Abstracts Proceedings of the 2008 Conference on Human Factors in Computing Systems, CHI 2008, Florence, Italy, April 5-10, 2008, pp. 2395-2398, 2008, ACM, 978-1-60558-012-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
usability, user experience, definition |
28 | María Díaz-Ley, Félix García 0001, Mario Piattini |
MIS-PyME Software Measurement Maturity Model-Supporting the Definition of Software Measurement Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROFES ![In: Product-Focused Software Process Improvement, 9th International Conference, PROFES 2008, Monte Porzio Catone, Italy, June 23-25, 2008, Proceedings, pp. 19-33, 2008, Springer, 978-3-540-69564-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Software measurement maturity model, measurement program definition, MIS-PyME, SMEs, success factor |
28 | Yoshiki Mitani, Tomoko Matsumura, Mike Barker, Seishiro Tsuruho, Katsuro Inoue, Ken-ichi Matsumoto |
An Empirical Study of Product Measurement in a Standardized Requirement Definition Process with 28 Japanese Government Software Projects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSM/Metrikon/Mensura ![In: Software Process and Product Measurement, International Conferences: IWSM 2008, Metrikon 2008, and Mensura 2008, Munich, Germany, November 18-19, 2008. Proceedings, pp. 257-270, 2008, Springer, 978-3-540-89402-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Requirements Definition Phase Measurement |
28 | Belgacem Ben Youssef, Jim Bizzocchi, John Bowes |
The future of video: user experience in a large-scale, high-definition video display environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advances in Computer Entertainment Technology ![In: Proceedings of the International Conference on Advances in Computer Entertainment Technology, ACE 2005, Valencia, Spain, June 15-15, 2005, pp. 204-208, 2005, ACM, 1-59593-110-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
postproduction, video, narrative, resolution, display, television, ambient, high definition, video art |
28 | Luigi Lavazza, Giancarlo Barresi |
Automated support for process-aware definition and execution of measurement plans. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 27th International Conference on Software Engineering (ICSE 2005), 15-21 May 2005, St. Louis, Missouri, USA, pp. 234-243, 2005, ACM. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
goal/question/metrics (GQM), software metrics definition, software metrics, process modeling, software process measurement |
28 | David C. Luckham, James Vera |
An Event-Based Architecture Definition Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 21(9), pp. 717-734, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
partially ordered event sets, formal constraints, event patterns, simulation, architecture, concurrency, prototyping, causality, Rapide, architecture definition languages |
26 | Ratul Kumar Baruah, Santanu Mahapatra |
Concept of "Crossover Point" and its Application on Threshold Voltage Definition for Undoped-Body Transistors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: VLSI Design 2009: Improving Productivity through Higher Abstraction, The 22nd International Conference on VLSI Design, New Delhi, India, 5-9 January 2009, pp. 241-246, 2009, IEEE Computer Society, 978-0-7695-3506-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Patryk Burek |
Adoption of the Classical Theory of Definition to Ontology Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence: Methodology, Systems, and Applications, 11th International Conference, AIMSA 2004, Varna, Bulgaria, September 2-4, 2004, Proceedings, pp. 1-10, 2004, Springer, 3-540-22959-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Knowledge Representation, Knowledge Modeling, Ontology Engineering |
26 | Amador Durán 0001, David Benavides 0001, Jesús Bermejo Muñoz |
Applying System Families Concepts to Requirements Engineering Process Definition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PFE ![In: Software Product-Family Engineering, 5th International Workshop, PFE 2003, Siena, Italy, November 4-6, 2003, Revised Papers, pp. 140-151, 2003, Springer, 3-540-21941-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Requirements Engineering Process, Systems Families |
26 | Erwan Breton, Jean Bézivin |
Weaving Definition and Execution Aspects of Process Meta-models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 35th Hawaii International Conference on System Sciences (HICSS-35 2002), CD-ROM / Abstracts Proceedings, 7-10 January 2002, Big Island, HI, USA, pp. 290, 2002, IEEE Computer Society, 0-7695-1435-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Workflow, Process modeling, Meta-modeling, MOF |
26 | Augusto Ciuffoletti |
Self-stabilization - beyond the token ring circulation (brief announcement). ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the Nineteenth Annual ACM Symposium on Principles of Distributed Computing, July 16-19, 2000, Portland, Oregon, USA., pp. 333, 2000, ACM, 1-58113-183-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
25 | Rodrigo O. Spínola, Felipe C. R. Pinto, Guilherme Horta Travassos |
UbiCheck: an approach to support requirements definition in the ubicomp domain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), Sierre, Switzerland, March 22-26, 2010, pp. 306-310, 2010, ACM, 978-1-60558-639-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
ubiquitous computing, empirical study, requirement engineering, requirement definition |
25 | Sal Cilella, Craighton Berman, Justin Rheinfrank |
Experience definition through storyboarding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TEI ![In: Proceedings of the 4th International Conference on Tangible and Embedded Interaction 2010, Cambridge, MA, USA, January 24-27, 2010, pp. 325-328, 2010, ACM, 978-1-60558-841-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
product definition, user interface, prototype, storyboard, contextual, technique, human-centered |
25 | Leon J. Osterweil |
Formalisms to Support the Definition of Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. Technol. ![In: J. Comput. Sci. Technol. 24(2), pp. 198-211, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
processes, process language, process definition |
25 | Ondrej Krejcar |
Utilization Possibilities of Area Definition in User Space for User-Centric Pervasive-Adaptive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MOBILWARE Workshops ![In: Mobile Wireless Middleware, Operating Systems, and Applications - Workshops, Mobilware 2009 Workshops, Berlin, Germany, April 2009, Revised Selected Papers, pp. 124-130, 2009, Springer, 978-3-642-03568-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
PDPT Framework, Area Definition, Mobile Device, Localization, Wi-Fi, Prebuffering |
25 | Robert L. Wittman Jr. |
Defining a standard: the Military Scenario Definition Language version 1.0 standard. ![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 BibTeX RDF |
military scenario definition language |
25 | Jens Bombolowsky, Edmund Eberleh |
Ten steps of integrating user feedback into the product definition process: a closed loop approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Proceedings of the 27th International Conference on Human Factors in Computing Systems, CHI 2009, Extended Abstracts Volume, Boston, MA, USA, April 4-9, 2009, pp. 2699-2702, 2009, ACM, 978-1-60558-247-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
product definition process, user feedback, user centered design process |
25 | Sangtae Kim, Saeko Wakasugi, Teiichi Nishioka |
Utilizing high definition cinema system to design an immersive experience of the paintings of Ito Jakuchu. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGGRAPH ASIA Educators Program ![In: International Conference on Computer Graphics and Interactive Techniques, SIGGRAPH ASIA 2009, Yokohama, Japan, December 16-19, 2009, Educators Program Proceedings, 2009, ACM. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
high-definition digital cinema system, paintings, immersive virtual environment, three-dimensional graphics |
25 | Roberto Santana Tapia, Novica Zarvic |
Partnering structure definition for networked businesses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008, pp. 588-589, 2008, ACM, 978-1-59593-753-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
networked business, partnering structure, responsibilities definition, roles specification, organizational engineering, value modeling |
25 | Ron Hofer, Dirk Zimmermann, Melanie Jekal |
Alignment of Product Portfolio Definition and User Centered Design Activities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (1) ![In: Human-Computer Interaction. Interaction Design and Usability, 12th International Conference, HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I, pp. 98-107, 2007, Springer, 978-3-540-73104-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Business Requirements, Customer Requirements, Product Definition, Product Portfolio Management, User Centered Design, Marketing, Usability Engineering, User Requirements |
25 | Tao Lv 0001, Jianping Fan 0002, Xiaowei Li 0001, Ling-Yi Liu |
Observability Statement Coverage Based on Dynamic Factored Use-Definition Chains for Functional Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Electron. Test. ![In: J. Electron. Test. 22(3), pp. 273-285, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
dynamic factored use-definition chains, observability, data-flow analysis, design verification, coverage metrics |
Displaying result #1 - #100 of 17404 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|