|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 5884 occurrences of 3114 keywords
|
|
|
Results
Found 5590 publication records. Showing 5590 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
83 | Nicholas H. Roberts, Jason Bennett Thatcher |
Conceptualizing and testing formative constructs: tutorial and annotated example. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Base ![In: Data Base 40(3), pp. 9-39, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
formative constructs, is research methods, reflective constructs, tutorial |
49 | R. K. Shyamasundar, James W. Thatcher |
Language Constructs for Specifying Concurrency in CDL*. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 15(8), pp. 977-993, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
CDL* concurrency specification, dynamically allocating resources, CDL*, distributed programming languages, parallel programming, data integrity, data integrity, anonymity, specification languages, mutual exclusion, expressiveness, specification techniques, modular specification, language constructs, abstraction mechanisms, dynamic resource management |
42 | Daniel E. Cooke |
Abstraction, concurrency, and communal computing in SequenceL. ![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. 188-191, 1997, IEEE Computer Society, 0-8186-8105-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
SequenceL, declarative constructs, nonscalar processing, problem solver, metastructure, data products, data structures, concurrency, abstraction, computer language, language constructs, communal computing |
40 | Lijie Wen, Wil M. P. van der Aalst, Jianmin Wang 0001, Jiaguang Sun 0001 |
Mining process models with non-free-choice constructs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Min. Knowl. Discov. ![In: Data Min. Knowl. Discov. 15(2), pp. 145-180, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Implicit dependency, Non-free-choice constructs, Process mining, Event log |
40 | Lijun Dong, Jiafu Xu |
Formal semantics of some functional constructs of the software requirements definition language NDRDL. ![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. 642-645, 1997, IEEE Computer Society, 0-8186-8105-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
functional constructs, software requirements definition language, NDRDL, source language, software requirements analysis support system, NDRASS, specification languages, diagrams, formal semantics, functional requirements, nonfunctional requirements |
38 | Yair I. Friedman, Dror G. Feitelson, Iaakov Exman |
The Parallel Break Construct, or How to Kill an Activity Tree. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPPS ![In: Proceedings of IPPS '96, The 10th International Parallel Processing Symposium, April 15-19, 1996, Honolulu, Hawaii, USA, pp. 230-234, 1996, IEEE Computer Society, 0-8186-7255-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
parallel constructs, forced termination, kill, abort, ParC, break |
36 | Saurabh Sinha, Mary Jean Harrold |
Criteria for Testing Exception-Handling Constructs in Java Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: 1999 International Conference on Software Maintenance, ICSM 1999, Oxford, England, UK, August 30 - September 3, 1999, pp. 265-, 1999, IEEE Computer Society, 0-7695-0016-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
36 | Ulrike Lechner |
Constructs, Concepts and Criteria for Reuse in Concurrent Object-Oriented languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, 1st Internationsl Conference, FASE'98, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings, pp. 171-187, 1998, Springer, 3-540-64303-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Concurrency, Object orientation, Reuse, Interpretation, Rewriting, ?-calculus, Maude, Inheritance Anomaly |
36 | David Lorge Parnas |
On Iterative Constructs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 12(1), pp. 139-141, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
36 | Stephen Ng Dellosa, Florante R. Salvador |
Representation of basket constructs using braid theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GRAPHITE ![In: Proceedings of the 4th International Conference on Computer Graphics and Interactive Techniques in Australasia and Southeast Asia 2006, Kuala Lumpur, Malaysia, November 29 - December 2, 2006, pp. 443-451, 2006, ACM, 1-59593-564-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
basket constructs, basket patterns, basketry, braid theory, representation |
36 | Geoffrey S. Hubona |
Evaluating user interface design with belief constructs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (4) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 700-709, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
user interface design evaluation, belief constructs, user acceptance predictors, task accuracy, task latency, user confidence, user productivity, accurate decisions, reduced decision times, user interfaces, human factors, human resource management, perceived usefulness, perceived ease of use, decision quality |
34 | Radu S. Jasinschi, José M. F. Moura |
Content-based video sequence representation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP ![In: Proceedings 1995 International Conference on Image Processing, Washington, DC, USA, October 23-26, 1995, pp. 229-232, 1995, IEEE Computer Society, 0-8186-7310-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
content based video sequence representation, very low bit rate video compression, digital image libraries, generative video, video sequence contents encoding, independently moving objects velocity, world images, generative operators, augmented images, sequence reconstruction, tessellated shape representation, real video sequence, motion estimation, data compression, image sequences, experiment, video coding, image reconstruction, shape, image representation, constructs, camera motion |
33 | Paul Tarau, Arun K. Majumdar |
Interoperating Logic Engines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009. Proceedings, pp. 137-151, 2009, Springer, 978-3-540-92994-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Prolog language extensions, logic engines, semantics of metaprogramming constructs, generalized iterators, agent oriented programming language constructs |
33 | Horst Herrlich, Miroslav Husek |
Some open categorical problems in Top. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 1(1), pp. 1-19, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
(Almost) reflective subcategories, simple subcategories, orthogonal and implicational subcategories, injectivity- and projectivity-classes, limit-closed subcategories, algebraic constructs, cartesian-closedness, convenient hulls, realizations of constructs, normal functors |
33 | Pradeep Jain, Simon S. Lam |
Specification of Real-Time Broadcast Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 40(4), pp. 404-422, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
real-time broadcast networks, broadcast bus networks, binary signals, two level wait constructs, Expressnet protocol, collision-free access, model, real-time systems, formal specification, protocols, computer networks, protocols specification, sequential programs, programming constructs, access delay |
32 | Morten Hertzum, Torkil Clemmensen, Kasper Hornbæk, Jyoti Kumar, Qingxin Shi, Pradeep Yammiyavar |
Usability Constructs: A Cross-Cultural Study of How Users and Developers Experience Their Use of Information Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (10) ![In: Usability and Internationalization. HCI and Culture, Second International Conference on Usability and Internationalization, UI-HCII 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part I, pp. 317-326, 2007, Springer, 978-3-540-73286-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Usage experiences, Cultural usability, Repertory-grid technique |
32 | Jan Henry Nyström, Philip W. Trinder, David J. King |
Evaluating high-level distributed language constructs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, ICFP 2007, Freiburg, Germany, October 1-3, 2007, pp. 203-212, 2007, ACM, 978-1-59593-815-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
programming languages, haskell, distributed programming, erlang |
32 | José M. Fernandes, Marcelino B. Santos, Arlindo L. Oliveira, João Paulo Teixeira 0001 |
A Probabilistic Method for the Computation of Testability of RTL Constructs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 2004 Design, Automation and Test in Europe Conference and Exposition (DATE 2004), 16-20 February 2004, Paris, France, pp. 176-181, 2004, IEEE Computer Society, 0-7695-2085-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
32 | Vladimir Tosic, Kruti Patel, Bernard Pagurek |
Reusability Constructs in the Web Service Offerings Language (WSOL). ![Search on Bibsonomy](Pics/bibsonomy.png) |
WES ![In: Web Services, E-Business, and the Semantic Web, Second International Workshop, WES 2003, Klagenfurt, Austria, June 16-17, 2003, Revised Selected Papers, pp. 105-119, 2003, Springer, 3-540-22396-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
32 | Saurabh Sinha, Mary Jean Harrold |
Analysis and Testing of Programs with Exception Handling Constructs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 26(9), pp. 849-871, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
control dependence analysis, Exception handling, program slicing, data flow analysis, structural testing, control flow analysis |
32 | Manfred Broy |
On language constructs for concurrent programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONPAR ![In: CONPAR 81: Conference on Analysing Problem Classes and Programming for Parallel Computing, Nürnberg, Germany, June 10-12, 1981, Proceedings, pp. 141-154, 1981, Springer, 3-540-10827-0. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
32 | Peter A. Walker, Sumit Ghosh |
On the Nature and Inadequacies of Transport Timing Delay Constructs in VHDL Descriptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: 1996 International Conference on Computer Design (ICCD '96), VLSI in Computers and Processors, October 7-9, 1996, Austin, TX, USA, Proceedings, pp. 128-130, 1996, IEEE Computer Society, 0-8186-7554-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
timing constructs, simulation of hardware descriptions, discrete event simulation, VHDL, Digital simulation, logic Simulation, Timing semantics |
30 | Kumar V. Vadaparty, Y. Alp Aslandogan, Gultekin Özsoyoglu |
Towards a Unified Visual Database Access. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the 1993 ACM SIGMOD International Conference on Management of Data, Washington, DC, USA, May 26-28, 1993., pp. 357-366, 1993, ACM Press, 978-0-89791-592-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
QBE |
30 | Bent Bruun Kristensen, Ole Lehrmann Madsen, Birger Møller-Pedersen, Kristen Nygaard |
Abstraction Mechanisms in the Beta Programming Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Tenth Annual ACM Symposium on Principles of Programming Languages, Austin, Texas, USA, January 1983, pp. 285-298, 1983, ACM Press, 0-89791-090-7. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
30 | Deborah Compeau, John Correia, Jason Thatcher |
When Constructs Become Obsolete: A Systematic Approach to Evaluating and Updating Constructs for Information Systems Research. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MIS Q. ![In: MIS Q. 46(2), pp. 679-712, May 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
30 | Mohammadamin Sanaei, Marielle Machacek, Jessie Colette Eubanks, Peggy Wu, James Oliver, Stephen B. Gilbert |
The Effect of Training Communication Medium on the Social Constructs Co-Presence, Engagement, Rapport, and Trust: Explaining how training communication medium affects the social constructs co-presence, engagement, rapport, and trust. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VRST ![In: 28th ACM Symposium on Virtual Reality Software and Technology, VRST 2022, Tsukuba, Japan, 29 November 2022- 1 December 2022, pp. 76:1-76:3, 2022, ACM, 978-1-4503-9889-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
30 | Ferrol Aderholdt, Manjunath Gorentla Venkata, Zachary W. Parchman |
SharP Data Constructs: Data Constructs to Enable Data-Centric Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: 26th Euromicro International Conference on Parallel, Distributed and Network-based Processing, PDP 2018, Cambridge, United Kingdom, March 21-23, 2018, pp. 170-177, 2018, IEEE Computer Society, 978-1-5386-4975-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
30 | David Redlich, Thomas Molka, Wasif Gilani, Gordon S. Blair, Awais Rashid |
Constructs Competition Miner: Process Control-Flow Discovery of BP-Domain Constructs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BPM ![In: Business Process Management - 12th International Conference, BPM 2014, Haifa, Israel, September 7-11, 2014. Proceedings, pp. 134-150, 2014, Springer, 978-3-319-10171-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
30 | Wolfgang Hinderer |
Transfer of Graph Constructs in Goguen's Paper to Net Constructs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets ![In: Application and Theory of Petri Nets, Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, Strasbourg, France 23.-26. September 1980, Bad Honnef, Germany, 28.-30. September 1981, pp. 142-150, 1981, Springer, 3-540-11189-1. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
30 | Kaiyu Wan, Vasu S. Alagar |
An Intensional Programming Approach to Multi-agent Coordination in a Distributed Network of Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DALT ![In: Declarative Agent Languages and Technologies III, Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers, pp. 205-222, 2005, Springer, 3-540-33106-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
coordinated transactions, Intensional Programming Language, coordination constructs, Multi-agent systems |
30 | Niki Afshartous, Malcolm C. Harrison |
Expressing concurrency in Griffin. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPADS ![In: 1996 International Conference on Parallel and Distributed Systems (ICPADS '96), June 3-6, 1996, Tokyo, Japan, Proceedings, pp. 292-, 1996, IEEE Computer Society, 0-8186-7267-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Griffin, statically typed language, Ada software, Griffin language constructs, extended select statement, receiving thread, readers-writers problem, group lock mechanism, scheduling groups, high-level algorithms, parallel programming, Ada, rapid prototyping, synchronisation, program debugging, software prototyping, synchronous communication |
30 | Atish P. Sinha, Iris Vessey |
Cognitive Fit: An Empirical Study of Recursion and Iteration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 18(5), pp. 368-379, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
basic theory, recursive tasks, PASCAL computer science students, repeated measures designs, specific programming languages, cognitive fit, human factors, programming, programming languages, LISP, LISP, Pascal, programming theory, recursive functions, programming constructs, laboratory experiment, performance benefits |
28 | Tim Harris 0001 |
Language constructs for transactional memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2009, Savannah, GA, USA, January 21-23, 2009, pp. 1, 2009, ACM, 978-1-60558-379-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
atomic blocks, transactional memory, stm |
28 | Louise A. Dennis, Michael Fisher 0001, Anthony Hepple |
Language Constructs for Multi-agent Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems, 8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and Invited Papers, pp. 137-156, 2007, Springer, 978-3-540-88832-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
28 | François Bry, Tim Furche, Benedikt Linse |
Data Model and Query Constructs for Versatile Web Query Languages: State-of-the-Art and Challenges for Xcerpt. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPSWR ![In: Principles and Practice of Semantic Web Reasoning, 4th International Workshop, PPSWR 2006, Budva, Montenegro, June 10-11, 2006, Revised Selected Papers, pp. 90-104, 2006, Springer, 3-540-39586-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Achal Prabhakar, Vladimir Getov, Barbara M. Chapman |
Performance Comparisons of Basic OpenMP Constructs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISHPC ![In: High Performance Computing, 4th International Symposium, ISHPC 2002, Kansai Science City, Japan, May 15-17, 2002, Proceedings, pp. 413-424, 2002, Springer, 3-540-43674-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
28 | Tom L. Roberts, Paul H. Cheney, Paul D. Sweeney |
Group Interaction Constructs for Hands-on LAN Projects: An Initial Investigation. ![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. 249, 2002, IEEE Computer Society, 0-7695-1435-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
local area network (LAN) and group work, group interaction |
28 | Alfred Kölbl, James H. Kukula, Kurt Antreich, Robert F. Damiano |
Handling special constructs in symbolic simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 39th Design Automation Conference, DAC 2002, New Orleans, LA, USA, June 10-14, 2002, pp. 105-110, 2002, ACM, 1-58113-461-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
formal verification, symbolic simulation |
28 | Joerg Evermann, Yair Wand |
Towards Ontologically Based Semantics for UML Constructs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER ![In: Conceptual Modeling - ER 2001, 20th International Conference on Conceptual Modeling, Yokohama, Japan, November 27-30, 2001, Proceedings, pp. 354-367, 2001, Springer, 3-540-42866-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
28 | T. C. Nicholas Graham, Gerd Kock |
Domesticating Imperative Constructs So That They Can Live in a Functional World. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLILP ![In: Programming Language Implementation and Logic Programming, 3rd International Symposium, PLILP'91, Passau, Germany, August 26-28, 1991, Proceedings, pp. 51-62, 1991, Springer, 3-540-54444-5. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
28 | Edmund M. Clarke |
Programming Language Constructs for Which it is Impossible to Obtain "Good" Hoare-Like Axiom Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Fourth ACM Symposium on Principles of Programming Languages, Los Angeles, California, USA, January 1977, pp. 10-20, 1977, ACM. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
|
26 | Robert Dyer 0001, Hridesh Rajan |
Nu: a dynamic aspect-oriented intermediate language model and virtual machine for flexible runtime adaptation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AOSD ![In: Proceedings of the 7th International Conference on Aspect-Oriented Software Development, AOSD 2008, Brussels, Belgium, March 31 - April 4, 2008, pp. 191-202, 2008, ACM, 978-1-60558-044-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Nu, aspect-oriented intermediate languages, aspect-oriented virtual machines, invocation, weaving |
26 | Mariëlle den Hengst, Douglas L. Dean, Gwendolyn L. Kolfschoten, Anita Chakrapani |
Assessing the Quality of Collaborative Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 39th Hawaii International International Conference on Systems Science (HICSS-39 2006), CD-ROM / Abstracts Proceedings, 4-7 January 2006, Kauai, HI, USA, 2006, IEEE Computer Society, 0-7695-2507-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Claes Wohlin, Martin Höst, Magnus C. Ohlsson |
Understanding the Sources of Software Defects: A Filtering Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWPC ![In: 8th International Workshop on Program Comprehension (IWPC 2000), 10-11 June 2000, Limerick, Ireland, pp. 9-17, 2000, IEEE Computer Society, 0-7695-0656-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Defect understanding, software metrics, root cause analysis, prediction system, product measurements |
26 | Ralph Frisbie, Richard Hendrickson, Michael Metcalf |
The F Programming Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 32(6), pp. 69-74, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
FCL |
26 | Geoffrey S. Hubona, Elizabeth Kennick |
The Influence of External Variables on Information Technology Usage Behavior. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (4) ![In: 29th Annual Hawaii International Conference on System Sciences (HICSS-29), January 3-6, 1996, Maui, Hawaii, USA, pp. 166-175, 1996, IEEE Computer Society, 0-8186-7324-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
25 | Irena Mlýnková |
Similarity of XML schema definitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Symposium on Document Engineering ![In: Proceedings of the 2008 ACM Symposium on Document Engineering, Sao Paulo, Brazil, September 16-19, 2008, pp. 187-190, 2008, ACM, 978-1-60558-081-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
equivalence of XSD constructs, similarity, XML schema |
25 | Paul Tarau |
Agent oriented logic programming in Jinni 2004. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), Santa Fe, New Mexico, USA, March 13-17, 2005, pp. 1427-1428, 2005, ACM, 1-58113-964-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
agent programming constructs, agents and logic programming, multi-threaded prolog systems, distributed AI, agent communication protocols |
25 | Jin Hyun Son, Myoung-Ho Kim |
Finding the critical path in a time-constrained workflow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 7th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 2000), 12-14 December 2000, Cheju Island, South Korea, pp. 102-107, 2000, IEEE Computer Society, 0-7695-0930-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
time-constrained workflow, workflow control constructs, workflow control structures, workflow issues, workflow resource management, workflow time management, real-time systems, business processes, queueing theory, directed graphs, directed acyclic graphs, critical path, computer engineering, workflow management software |
25 | Peter G. Hancock, Anton Setzer |
Interactive Programs in Dependent Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 14th Annual Conference of the EACSL, Fischbachau, Germany, August 21-26, 2000, Proceedings, pp. 317-331, 2000, Springer, 3-540-67895-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
monadic I/O, repetition constructs, interaction, refinement, Functional programming, dependent types, reactive programming |
25 | Saumya K. Debray, David Scott Warren |
Towards Banishing the Cut from Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(3), pp. 335-349, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
impure language features, impure features, Prolog source programs, firstof, oneof, declarative readings, parallel evaluation strategies, purer programming style, logic programs, logic programming, static analysis, PROLOG, program transformations, nondeterminism, cut, language constructs, compile time |
23 | Christiano Braga |
A Constructive Semantics for Basic Aspect Constructs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Semantics and Algebraic Specification ![In: Semantics and Algebraic Specification, Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday, pp. 106-120, 2009, Springer, 978-3-642-04163-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Henri Barki |
Thar's gold in them thar constructs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Base ![In: Data Base 39(4), pp. 90, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Henri Barki |
Thar's gold in them thar constructs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Base ![In: Data Base 39(3), pp. 9-20, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
construct development, construct validation, research methodology |
23 | Mathias Köhnke, Temenushka Ignatova, Martina Weicht, Ilvio Bruder |
Identifying Semantic Constructs in Web Documents to Improve Web Site Accessibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WISE Workshops ![In: Web Information Systems Engineering - WISE 2008 Workshops, WISE 2008 International Workshops, Auckland, New Zealand, September 1-4, 2008. Proceedings, pp. 92-101, 2008, Springer, 978-3-540-85199-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Ashraful Alam, Latifur Khan, Bhavani Thuraisingham |
Geospatial Resource Description Framework (GRDF) and security constructs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDE Workshops ![In: Proceedings of the 24th International Conference on Data Engineering Workshops, ICDE 2008, April 7-12, 2008, Cancún, Mexico, pp. 475-481, 2008, IEEE Computer Society, 978-1-4244-2161-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Zhe Wu, George Eadon, Souripriya Das, Eugene Inseok Chong, Vladimir Kolovski, Melliyal Annamalai, Jagannathan Srinivasan |
Implementing an Inference Engine for RDFS/OWL Constructs and User-Defined Rules in Oracle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDE ![In: Proceedings of the 24th International Conference on Data Engineering, ICDE 2008, April 7-12, 2008, Cancún, Mexico, pp. 1239-1248, 2008, IEEE Computer Society, 978-1-4244-1836-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Yang Ni, Adam Welc, Ali-Reza Adl-Tabatabai, Moshe Bach, Sion Berkowits, James Cownie, Robert Geva, Sergey Kozhukow, Ravi Narayanaswamy, Jeffrey Olivier, Serguei Preis, Bratin Saha, Ady Tal, Xinmin Tian |
Design and implementation of transactional constructs for C/C++. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2008, October 19-23, 2008, Nashville, TN, USA, pp. 195-212, 2008, ACM, 978-1-60558-215-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
transactional memory, C/C++ |
23 | Irena Mlýnková |
Equivalence of XSD Constructs and Its Exploitation in Similarity Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Conferences (2) ![In: On the Move to Meaningful Internet Systems: OTM 2008, OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008, Monterrey, Mexico, November 9-14, 2008, Proceedings, Part II, pp. 1253-1270, 2008, Springer, 978-3-540-88872-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Eva Vandersmissen |
Completion via Nearness for Metrically Generated Constructs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 15(5-6), pp. 633-645, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 54 E17, 54 E50, 54 A05, 54 B30, 18 B99 |
23 | Cheng Wang 0013, Wei-Yu Chen, Youfeng Wu, Bratin Saha, Ali-Reza Adl-Tabatabai |
Code Generation and Optimization for Transactional Memory Constructs in an Unmanaged Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CGO ![In: Fifth International Symposium on Code Generation and Optimization (CGO 2007), 11-14 March 2007, San Jose, California, USA, pp. 34-48, 2007, IEEE Computer Society, 978-0-7695-2764-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Pasquale Malacaria |
Assessing security threats of looping constructs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2007, Nice, France, January 17-19, 2007, pp. 225-235, 2007, ACM, 1-59593-575-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
security, information theory, language semantics |
23 | András Balogh, Dániel Varró |
Advanced model transformation language constructs in the VIATRA2 framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), Dijon, France, April 23-27, 2006, pp. 1280-1287, 2006, ACM, 1-59593-108-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Erin Cody-Allen, Rajiv Kishore |
An extension of the UTAUT model with e-quality, trust, and satisfaction constructs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPR ![In: Proceedings of the 2006 ACM SIGMIS CPR Conference on Computer Personnel Research 2006, April 13-15, 2006, Claremont, California, USA, pp. 82-89, 2006, ACM, 1-59593-349-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
e-business systems, intention to use, unified theory of acceptance and use of technology, quality |
23 | Paul L. Master |
Reconfigurable Hardware and Software Architectural Constructs for the Enablement of Resilient Computing Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASAP ![In: 2006 IEEE International Conference on Application-Specific Systems, Architecture and Processors (ASAP 2006), 11-13 September 2006, Steamboat Springs, Colorado, USA, pp. 50-55, 2006, IEEE Computer Society, 0-7695-2682-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Thomas Baar |
Non-deterministic Constructs in OCL - What Does any() Mean. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SDL Forum ![In: SDL 2005: Model Driven, 12th International SDL Forum, Grimstad, Norway, June 20-23, 2005, Proceedings, pp. 32-46, 2005, Springer, 3-540-26612-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
23 | Agustín Goñi, Yadran Eterovic |
Building Precise UML Constructs to Model Concurrency Using OCL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UML ![In: «UML» 2004 - The Unified Modelling Language: Modelling Languages and Applications. 7th International Conference, Lisbon, Portugal, October 11-15, 2004. Proceedings, pp. 212-225, 2004, Springer, 3-540-23307-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Chia-Chu Chiang |
Low-level language constructs considered harmful for distributed parallel programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Southeast Regional Conference ![In: Proceedings of the 42nd Annual Southeast Regional Conference, 2004, Huntsville, Alabama, USA, April 2-3, 2004, pp. 279-284, 2004, ACM, 1-58113-870-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
middleware, parallelism, coordination, CORBA |
23 | Paul Tarau |
Agent Oriented Logic Programming Constructs in Jinni 2004. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings, pp. 477-478, 2004, Springer, 3-540-22671-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Hong Li Yang, Jun Gang Han, Ke Gang Hao |
The Common Semantic Constructs of XML Family. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings, pp. 416-431, 2003, Springer, 3-540-20461-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
23 | Nathan R. Fredrickson, Ahmad Afsahi, Ying Qian |
Performance characteristics of openMP constructs, and application benchmarks on a large symmetric multiprocessor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICS ![In: Proceedings of the 17th Annual International Conference on Supercomputing, ICS 2003, San Francisco, CA, USA, June 23-26, 2003, pp. 140-149, 2003, ACM, 1-58113-733-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
NAS OpenMP, SPEC OMPL2001, performance evaluation, high-performance computing, OpenMP, SMP |
23 | Huang Chun, Yang Xuejun |
Improve OpenMP Performance by Extending BARRIER and REDUCTION Constructs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISHPC ![In: High Performance Computing, 5th International Symposium, ISHPC 2003, Tokyo-Odaiba, Japan, October 20-22, 2003, Proceedings, pp. 529-539, 2003, Springer, 3-540-20359-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
23 | Hui Liu, Minglu Li 0001, Jiadi Yu, Lei Cao 0005, Ying Li 0013, Wei Jin, Qi Qian |
Lattice Framework to Implement OGSA: Its Constructs and Composition Scenario. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GCC (2) ![In: Grid and Cooperative Computing, Second International Workshop, GCC 2003, Shanghai, China, December 7-10, 2003, Revised Papers, Part II, pp. 482-489, 2003, Springer, 3-540-21993-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
23 | Alec Engebretson, Susan Wiedenbeck |
Novice Comprehension of Programs Using Task-Specific and Non-Task-Specific Constructs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCC ![In: 2002 IEEE CS International Symposium on Human-Centric Computing Languages and Environments (HCC 2002), 3-6 September 2002, Arlington, VA, USA, pp. 11-18, 2002, IEEE Computer Society, 0-7695-1644-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
23 | Egidio Astesiano, Maura Cerioli, Gianna Reggio |
Invited Talk: Plugging Data Constructs into Paradigm-Specific Languages: Towards an Application to UML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology. 8th International Conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings, pp. 273-292, 2000, Springer, 3-540-67530-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
23 | Jaeyoung Yang, Eunseok Lee 0001, Joongmin Choi |
A Shopping Agent That Automatically Constructs Wrappers for Semi-Structured Online Vendors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDEAL ![In: Intelligent Data Engineering and Automated Learning - IDEAL 2000, Data Mining, Financial Engineering, and Intelligent Agents, Second International Conference, Shatin, N.T. Hong Kong, China, December 13-15, 2000, Proceedings, pp. 368-373, 2000, Springer, 3-540-41450-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
23 | Peter A. Walker, Sumit Ghosh |
On the nature and inadequacies of transport timing delay constructs in VHDL descriptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 16(8), pp. 894-915, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
23 | Dickson Lukose |
Complex Modelling Constructs in MODEL-ECS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS ![In: Conceptual Structures: Fulfilling Peirce's Dream, Fifth International Conference on Conceptual Structures, ICCS '97, Seattle, Washington, USA, August 3-8, 1997, Proceedings, pp. 228-243, 1997, Springer, 3-540-63308-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
23 | Ricardo Bianchini, Enrique V. Carrera, Leonidas I. Kontothanassis |
The Interaction of Parallel Programming Constructs and Coherence Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the Sixth ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming (PPOPP), Las Vegas, Nevada, USA, June 18-21, 1997, pp. 69-79, 1997, ACM, 0-89791-906-8. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
23 | King Sing Cheung, Paul Kai-On Chow, T. Y. Cheung |
Towards an Integration of Syntactic Constructs and Structural Features for Formalised Object-Oriented Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe '97, 1997 Ada-Europe International Conference on Reliable Software Technologies, London, UK, June 2-6, 1997, Proceedings, pp. 173-184, 1997, Springer, 3-540-63114-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
Formal method, Object-oriented method, Software specification |
23 | Gene Fuh, Jyh-Herng Chow, Nelson Mendonça Mattos, Brian T. Tran |
Supporting procedural constructs in existing SQL compilers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASCON ![In: Proceedings of the 1996 conference of the Centre for Advanced Studies on Collaborative Research, November 12-14, 1996, Toronto, Ontario, Canada, pp. 11, 1996, IBM. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
SQL |
23 | Joel E. Richardson, Michael J. Carey 0001 |
Programming Constructs for Database System Implementation in EXODUS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the Association for Computing Machinery Special Interest Group on Management of Data 1987 Annual Conference, San Francisco, CA, USA, May 27-29, 1987, pp. 208-219, 1987, ACM Press, 978-0-89791-236-5. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
EXODUS |
23 | Joachim W. Schmidt |
Some High Level Language Constructs for Data of Type Relation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 2(3), pp. 247-261, 1977. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
database, high level language, relational model, data type, language extension, relational calculus, nonprocedural language |
23 | Joachim W. Schmidt |
Some High-level Language Constructs for Data of Type Relation (Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the 1977 ACM SIGMOD International Conference on Management of Data, Toronto, Canada, August 3-5, 1977., pp. 9, 1977, ACM, 978-1-4503-7343-2. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
non-procedural language, high-level language, relational model, data type, data base, language extension, relational calculus |
22 | Craig Van Slyke, Richard D. Johnson, Ross Hightower, Wafa Elgarah |
Implications of researcher assumptions about perceived relative advantage and compatibility. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Base ![In: Data Base 39(2), pp. 50-65, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
innovation diffusion theory, relative advantage, scale reuse, adoption, compatibility |
22 | Michael zur Muehlen, Jan Recker |
How Much Language Is Enough? Theoretical and Practical Use of the Business Process Modeling Notation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAiSE ![In: Advanced Information Systems Engineering, 20th International Conference, CAiSE 2008, Montpellier, France, June 16-20, 2008, Proceedings, pp. 465-479, 2008, Springer, 978-3-540-69533-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Process Modeling, BPMN, Language Analysis |
22 | Vijay A. Saraswat, Vivek Sarkar, Christoph von Praun |
X10: concurrent programming for modern architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the 12th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2007, San Jose, California, USA, March 14-17, 2007, pp. 271, 2007, ACM, 978-1-59593-602-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
concurrent programming languages, fork-join parallelism, global shared memory, high performance computing languages, partitioned global address space languages, asynchrony, X10, hierarchical parallelism |
22 | Patrice Chalin, Joseph R. Kiniry, Gary T. Leavens, Erik Poll |
Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCO ![In: Formal Methods for Components and Objects, 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures, pp. 342-363, 2005, Springer, 3-540-36749-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Yair Wand, Veda C. Storey, Ron Weber |
An Ontological Analysis of the Relationship Construct in Conceptual Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 24(4), pp. 494-528, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
ontology, conceptual modeling, object-oriented modeling, database design, entity-relationship model, semantic data modeling |
22 | Jon G. Riecke, Hayo Thielecke |
Typed Exeptions and Continuations Cannot Macro-Express Each Other. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 26th International Colloquium, ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings, pp. 635-644, 1999, Springer, 3-540-66224-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
22 | Neal Glew |
Type Dispatch for Named Hierarchical Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the fourth ACM SIGPLAN International Conference on Functional Programming (ICFP '99), Paris, France, September 27-29, 1999., pp. 172-182, 1999, ACM, 1-58113-111-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
22 | Geoffrey S. Hubona, Sarah Geitz |
External Variables, Beliefs, Attitudes and Information Technology Usage Behavior. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (3) ![In: 30th Annual Hawaii International Conference on System Sciences (HICSS-30), 7-10 January 1997, Maui, Hawaii, USA, pp. 21-28, 1997, IEEE Computer Society, 0-8186-7734-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
22 | Magdy S. Hanna |
A Close Look at the IFO Data Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Rec. ![In: SIGMOD Rec. 24(1), pp. 21-26, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
22 | Jin Song Dong |
Living with Free Type and Class Union. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 2nd Asia-Pacific Software Engineering Conference (APSEC '95), December 6-9, 1995, Brisbane, Queensland, Australia, pp. 304-312, 1995, IEEE Computer Society, 0-8186-7171-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
22 | Dan Fass |
Four General Representations and Processes for Use in Problems Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KBCS ![In: Knowledge Based Computer Systems, International Conference KBCS '89, Bombay, India, December 11-13, 1989, Proceedings, pp. 169-178, 1989, Springer, 3-540-52850-4. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
22 | Kees Middelburg |
The VIP VDM Specification Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VDM Europe ![In: VDM '88, VDM - The Way Ahead, 2nd VDM-Europe Symposium, Dublin, Ireland, September 11-16, 1988, Proceedings, pp. 187-201, 1988, Springer, 3-540-50214-9. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
21 | Tom Rothamel, Yanhong A. Liu |
Generating incremental implementations of object-set queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GPCE ![In: Generative Programming and Component Engineering, 7th International Conference, GPCE 2008, Nashville, TN, USA, October 19-23, 2008, Proceedings, pp. 55-66, 2008, ACM, 978-1-60558-267-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
automatic incrementalization, query constructs, program optimization |
21 | Franco Cicirelli, Angelo Furfaro, Libero Nigro |
Distributed simulation of modular time Petri nets: An approach and a case study exploiting temporal uncertainty. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Real Time Syst. ![In: Real Time Syst. 35(2), pp. 153-179, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Temporal uncertainty, Time interval based event delivery, Modelling complex real-time systems, Modularity constructs, Petri Net Markup Language, Distributed simulation, Time Petri nets, Time warp, Temporal analysis, Logical clocks |
21 | Jeannette Hemmecke, Chris Stary |
The Tacit Dimension of User Tasks: Elicitation and Contextual Representation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMODIA ![In: Task Models and Diagrams for Users Interface Design, 5th International Workshop, TAMODIA 2006, Hasselt, Belgium, October 23-24, 2006. Revised Papers, pp. 308-323, 2006, Springer, 978-3-540-70815-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
User-task elicitation, mental constructs, design-knowledge acquisition, task context, task awareness, model-based design, externalization, user-interface specification, repertory grids |
21 | Bratin Saha, Ali-Reza Adl-Tabatabai, Richard L. Hudson, Chi Cao Minh, Ben Hertzberg |
McRT-STM: a high performance software transactional memory system for a multi-core runtime. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2006, New York, New York, USA, March 29-31, 2006, pp. 187-197, 2006, ACM, 1-59593-189-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
atomic constructs, two-phase locking and read-versioning, software transactional memory, runtime environment |
Displaying result #1 - #100 of 5590 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|