|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 26213 occurrences of 9204 keywords
|
|
|
Results
Found 38991 publication records. Showing 38991 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
52 | John A. Stankovic, Prashant Nagaraddi, Zhendong Yu, Zhimin He, Brian Ellis |
Exploiting prescriptive aspects: a design time capability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: EMSOFT 2004, September 27-29, 2004, Pisa, Italy, Fourth ACM International Conference On Embedded Software, Proceedings, pp. 165-174, 2004, ACM, 1-58113-860-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
prescriptive aspects, aspects, component-based design |
47 | Emilia Katz, Shmuel Katz |
Incremental analysis of interference among aspects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOAL ![In: Proceedings of the 7th Workshop on Foundations of Aspect-Oriented Languages, FOAL 2008, Brussels, Belgium, April 1, 2008, pp. 29-38, 2008, ACM, 978-1-60558-110-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
model-checking, specification, interference, detection, aspects |
43 | Dongfeng Wang, Hui Ma 0006, Farokh B. Bastani, I-Ling Yen |
Decomposition of Fairness and Performance Aspects for High-Assurance Continuous Process-Control Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 8th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2004), 25-26 March 2004, Tampa, FL, USA, pp. 3-11, 2004, IEEE Computer Society, 0-7695-2094-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
42 | Rémi Douence, Pascal Fradet, Mario Südholt |
Composition, reuse and interaction analysis of stateful aspects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AOSD ![In: Proceedings of the 3rd International Conference on Aspect-Oriented Software Development, AOSD 2004, Lancaster, UK, March 22-24, 2004, pp. 141-150, 2004, ACM, 1-58113-842-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
reuse of aspects, static analysis, aspect oriented programming, formal model, aspect interactions, aspect composition |
40 | Jon Oldevik, Øystein Haugen |
From sequence diagrams to Java-stairs aspects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AOSD ![In: Proceedings of the 8th International Conference on Aspect-Oriented Software Development, AOSD 2009, Charlottesville, Virginia, USA, March 2-6, 2009, pp. 99-110, 2009, ACM, 978-1-60558-442-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
sequence diagram aspects, trace-based aspects, refinement |
40 | Xuanhui Wang, Deepayan Chakrabarti, Kunal Punera |
Mining broad latent query aspects from search sessions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KDD ![In: Proceedings of the 15th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, Paris, France, June 28 - July 1, 2009, pp. 867-876, 2009, ACM, 978-1-60558-495-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
latent user intent, query aspects, search sessions |
40 | Sven Apel, Christian Kästner, Don S. Batory |
Program refactoring using functional aspects. ![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. 161-170, 2008, ACM, 978-1-60558-267-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
aspect-oriented refactoring, functional aspects, pseudo-commutativity, stepwise refinement, aspect interactions |
40 | Weifeng Xu, Dianxiang Xu |
State-based testing of integration aspects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WTAOP ![In: Proceedings of the 2nd Workshop on Testing Aspect-Oriented Programs, held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2006), WTAOP 2006, Portland, Maine, USA, July 20, 2006, pp. 7-14, 2006, ACM, 1-59593-415-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
integration aspects, aspect-oriented programming, model-based testing, integration testing, aspect-oriented modeling, state model |
38 | Orit Hazzan, Yael Dubinsky |
Workshop on human aspects of software engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2009, October 25-29, 2009, Orlando, Florida, USA, pp. 725-726, 2009, ACM, 978-1-60558-768-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
organizational aspects, reflection and retrospective processes, software engineering, project management, teamwork, cognitive processes, human aspects, social processes |
38 | Emilie Marquois-Ogez, Cécile Bothorel |
Evaluating the Informational and Social Aspects of Participation in Online Communities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Workshops (1) ![In: On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops, OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, COMINF, IS, KSinBIT, MIOS-CIAO, MONET, OnToContent, ORM, PerSys, OTM Academy Doctoral Consortium, RDDS, SWWS, and SeBGIS 2006, Montpellier, France, October 29 - November 3, 2006. Proceedings, Part I, pp. 290-300, 2006, Springer, 3-540-48269-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
analysis grid, informational aspects, methodology, online communities, agent-based models, participation, social aspects |
37 | Jörg Kienzle, Ekwa Duala-Ekoko, Samuel Gélineau |
AspectOptima: A Case Study on Aspect Dependencies and Interactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
T. Aspect-Oriented Software Development ![In: Transactions on Aspect-Oriented Software Development V, pp. 187-234, 2009, Springer, 978-3-642-02058-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
aspect dependencies, aspect collaboration, aspect-oriented language features, aspect binding, inter-aspect ordering, inter-aspect configurability, per-object aspects, reusability, dynamic aspects, aspect interference |
37 | Oren Mishali, Shmuel Katz |
Using aspects to support the software process: XP over Eclipse. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AOSD ![In: Proceedings of the 5th International Conference on Aspect-Oriented Software Development, AOSD 2006, Bonn, Germany, March 20-24, 2006, pp. 169-179, 2006, ACM, 1-59593-300-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
extreme programming, software process, Eclipse, aspects |
37 | Philippe Y. Massicotte, Linda Badri, Mourad Badri |
Aspects-Classes Integration Testing Strategy: An Incremental Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RISE ![In: Rapid Integration of Software Engineering Techniques, Second International Workshop, RISE 2005, Heraklion, Crete, Greece, September 8-9, 2005, Revised Selected Papers, pp. 158-173, 2005, Springer, 3-540-34063-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
AOST, Verification, Interactions, Generation, Sequences, Aspects, Classes, Testing Coverage, Criteria |
37 | Philippe Y. Massicotte, Mourad Badri, Linda Badri |
Generating Aspects-Classes Integration Testing Sequences: A Collaboration Diagram Based Strategy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SERA ![In: Third ACIS International Conference on Software Engineering, Research, Management and Applications (SERA 2005), 11-13 August 2005, Mt. Pleasant, MI, USA, pp. 30-39, 2005, IEEE Computer Society, 0-7695-2297-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Aspect-Oriented Software Testing, UML, Interactions, Sequences, Aspects, Classes, Criteria |
37 | José Luiz Fiadeiro, Amílcar Sernadas |
Behavioural Aspects of Intelligent Knowledge-Based Information Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Temporal Aspects in Information Systems ![In: Temporal Aspects in Information Systems, Proceedings of the IFIP TC 8/WG 8.1 Working Conference on Temporal Aspects in Information Systems, Sophia-Antipolis, France, 13-15 May, 1987, pp. 77-92, 1987, North-Holland / Elsevier, 0-444-70373-X. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
36 | Günther Fliedl, Christian Kop, Willi Mayerthaler, Heinrich C. Mayr, Christian Winkler |
Linguistic Aspects of Dynamics in Requirements Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA Workshops ![In: 11th International Workshop on Database and Expert Systems Applications (DEXA'00), 6-8 September 2000, Greenwich, London, UK, pp. 83-90, 2000, IEEE Computer Society, 0-7695-0680-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
linguistic aspects, requirements specification dynamics, natural language requirement specifications, behavioral aspects, NTMS model, semantic contents, conceptual predesign model, automatic mapping, common conceptual models, UML, formal specification, application domain, linguistic analysis |
36 | Monique Snoeck, Geert Poels |
Analogical Reuse of Structural and Behavioral Aspects of Event-Based Object-Oriented Domain Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA Workshops ![In: 11th International Workshop on Database and Expert Systems Applications (DEXA'00), 6-8 September 2000, Greenwich, London, UK, pp. 802-806, 2000, IEEE Computer Society, 0-7695-0680-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
analogical reuse, structural aspects, behavioural aspects, event-based object-oriented domain models, generic domain model, domain abstraction, hotel administration, car rental company, object life-cycle specification reuse, formal specification, library, object allocation |
35 | Tsz Hin Ng, Shing-Chi Cheung |
Proactive Views on Concrete Aspects: A Pattern Documentation Approach for Software Evolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 27th International Computer Software and Applications Conference (COMPSAC 2003): Design and Assessment of Trustworthy Software-Based Systems, 3-6 November 2003, Dallas, TX, USA, Proceedings, pp. 242-, 2003, IEEE Computer Society, 0-7695-2020-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
crosscutting aspects, Design patterns, software evolution, change management |
35 | Jan Gerben Wijnstra |
Quality Attributes and Aspects of a Medical Product Family. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 34th Annual Hawaii International Conference on System Sciences (HICSS-34), January 3-6, 2001, Maui, Hawaii, USA, 2001, IEEE Computer Society, 0-7695-0981-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
software architecture, components, aspects, multiple views, quality attributes, development process, product family |
33 | Paul C. Clements |
Early aspects at ICSE: workshop in aspect-oriented requirements engineering and architecture design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 28th International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 20-28, 2006, pp. 1013-1014, 2006, ACM, 1-59593-375-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
software architecture, requirements engineering, aspects, crosscutting concerns, early aspects |
32 | Hans-Hellmut Nagel |
Reflections on Cognitive Vision Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICVS ![In: Computer Vision Systems, Third International Conference, ICVS 2003, Graz, Austria, April 1-3, 2003, Proceedings, pp. 34-43, 2003, Springer, 3-540-00921-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
System aspects, consistency requirements, conceptual system levels, integration of geometric and conceptual aspects, integration of inference engines into vision |
32 | Mónica Pinto, Ruzanna Chitchyan, Awais Rashid, Ana Moreira 0001, João Araújo 0001, Paul C. Clements, Elisa L. A. Baniassad, Bedir Tekinerdogan |
Early aspects at ICSE 2008: workshop on aspect-oriented requirements engineering and architecture design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE Companion ![In: 30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 10-18, 2008, Companion Volume, pp. 1053-1054, 2008, ACM. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
software architecture, requirements engineering, software product lines, domain analysis, early aspects |
32 | Gunter Mussbacher |
Aspect-Oriented User Requirements Notation: Aspects in Goal and Scenario Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS (Workshops) ![In: Models in Software Engineering, Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers, pp. 305-316, 2007, Springer, 978-3-540-69069-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Aspects, User Requirements Notation, Aspect-oriented Requirements Engineering, Use Case Maps, Goal-oriented Requirement Language |
32 | Nanbor Wang, Christopher D. Gill, Douglas C. Schmidt, Venkita Subramonian |
Configuring Real-Time Aspects in Component Middleware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoopIS/DOA/ODBASE (2) ![In: On the Move to Meaningful Internet Systems 2004: CoopIS, DOA, and ODBASE, OTM Confederated International Conferences, Agia Napa, Cyprus, October 25-29, 2004, Proceedings, Part II, pp. 1520-1537, 2004, Springer, 3-540-23662-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Real-time aspects, CORBA, Component middleware |
32 | Welf Löwe, Rainer Neumann, Martin Trapp 0002, Wolf Zimmermann |
Robust Dynamic Exchange of Implementation Aspects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (29) ![In: TOOLS Europe 1999: 29th International Conference on Technology of Object-Oriented Languages and Systems, 7-10 June 1999, Nancy, France, pp. 351-360, 1999, IEEE Computer Society, 0-7695-0275-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Implementation Exchange, Library Construction, Datastructures, Robustness |
31 | Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina |
Information Flow Analysis for Probabilistic Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects in Security and Trust ![In: Formal Aspects in Security and Trust: Second IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), an event of the 18th IFIP World Computer Congress, August 22-27, 2004, Toulouse, France, pp. 13-26, 2004, Springer, 0-387-24050-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
31 | S. Kazem Lellahi |
Modeling Data and Objects: An Algebraic View Point. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theoretical Aspects of Computer Science ![In: Theoretical Aspects of Computer Science, Advanced Lectures (First Summer School on Theoretical Aspects of Computer Science, Tehran, Iran, July 2000), pp. 113-147, 2000, Springer, 3-540-43328-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
30 | M. Tuan Tu, Christian Philip Kunze, Winfried Lamersdorf |
A Rule Management Framework for Negotiating Mobile Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDOC ![In: 4th International Enterprise Distributed Object Computing Conference (EDOC 2000), 25-28 September 2000, Makuhari, Japan, Proceedings, pp. 135-143, 2000, IEEE Computer Society, 0-7695-0865-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
rule management framework, negotiating mobile agents, rule-based generic services, market transaction, information phase, contracting phase, settlement phase, organizational aspects, technological aspects, automated negotiation process, contract terms determination, business view, transaction view, services view, infrastructure view, middleware, electronic commerce, distributed programming, electronic market, application framework |
30 | Andreas L. Opdahl, Guttorm Sindre |
Representing real-world processes. ![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. 821-830, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
real-world process representation, real-world dynamics, static aspects, material processing, formal specification, information systems, information systems, aggregation, systems analysis, diagrams, association, dynamic models, modelling languages, information processing, generalisation, semantic data modelling, data flow diagrams, dynamic aspects, abstraction mechanisms |
30 | Mei-Chen Hsueh |
Large complex system test: objectives and approaches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '95), November 6-10, 1995, Fort Lauderdale, Florida, USA, pp. 405-, 1995, IEEE Computer Society, 0-8186-7123-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
large complex system test, black-box system testing, system test objectives, usage-model approach, system application environments, functional aspects, structure testing technique, nonfunctional aspects, distributed processing, program verification, program testing |
30 | Shmuel Katz |
Aspects and Formal Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2008: Formal Methods, 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings, pp. 1-11, 2008, Springer, 978-3-540-68235-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
model-checking, specification, interference, detection, Aspects |
30 | Nan Niu, Steve M. Easterbrook |
Analysis of Early Aspects in Requirements Goal Models: A Concept-Driven Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
T. Aspect-Oriented Software Development ![In: Transactions on Aspect-Oriented Software Development III, pp. 40-72, 2007, Springer, 978-3-540-75161-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
goal-oriented requirements analysis, formal concept analysis, early aspects, repertory grid technique |
30 | Orit Hazzan |
Cognitive and social aspects of software engineering: a course framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITiCSE ![In: Proceedings of the 8th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, ITiCSE 2003, Thessaloniki, Greece, June 30 - July 2, 2003, pp. 3-6, 2003, ACM, 1-58113-672-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
cognitive aspect, course framework, software engineering, social aspects |
30 | Damien Sereni, Oege de Moor |
Static analysis of aspects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AOSD ![In: Proceedings of the 2nd International Conference on Aspect-Oriented Software Development, AOSD 2003, Boston, Massachusetts, USA, March 17-21, 2003, pp. 30-39, 2003, ACM, 1-58113-660-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
meet-over-all-paths, compilers, analysis, regular expressions, aspects |
30 | Antoine Marot, Roel Wuyts |
Composing aspects with aspects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AOSD ![In: Proceedings of the 9th International Conference on Aspect-Oriented Software Development, AOSD 2010, Rennes and Saint-Malo, France, March 15-19, 2010, pp. 157-168, 2010, ACM, 978-1-60558-958-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
semantic interference, crosscutting concern, aspect interaction, aspect composition |
29 | Josep Díaz, Dieter Mitsche, Paolo Santi |
Theoretical Aspects of Graph Models for MANETs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theoretical Aspects of Distributed Computing in Sensor Networks ![In: Theoretical Aspects of Distributed Computing in Sensor Networks, pp. 161-190, 2011, Springer, 978-3-642-14848-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
29 | Sajal K. Das 0001, Jing Wang 0010, Ratan K. Ghosh, Rupert Reiger |
Algorithmic Aspects of Sensor Localization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theoretical Aspects of Distributed Computing in Sensor Networks ![In: Theoretical Aspects of Distributed Computing in Sensor Networks, pp. 257-291, 2011, Springer, 978-3-642-14848-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
29 | Andreas Stein |
Real and imaginary hyperelliptic curve cryptography - Aspects of curve cryptography. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algebraic Aspects of Digital Communications ![In: Algebraic Aspects of Digital Communications, pp. 100-114, 2009, IOS Press, 978-1-60750-019-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
29 | Peter Hertling, Victor L. Selivanov, Wolfgang Thomas, William W. Wadge, Klaus W. Wagner |
08271 Abstracts Collection - Topological and Game-Theoretic Aspects of Infinite Computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Topological and Game-Theoretic Aspects of Infinite Computations ![In: Topological and Game-Theoretic Aspects of Infinite Computations, 29.06. - 04.07.2008, 2008, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
29 | Peter Hertling, Victor L. Selivanov, Wolfgang Thomas, William W. Wadge, Klaus W. Wagner |
08271 Executive Summary - Topological and Game-Theoretic Aspects of Infinite Computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Topological and Game-Theoretic Aspects of Infinite Computations ![In: Topological and Game-Theoretic Aspects of Infinite Computations, 29.06. - 04.07.2008, 2008, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
29 | Boudewijn R. Haverkort, Joost-Pieter Katoen, Lothar Thiele |
07101 Executive Summary -- Quantitative Aspects of Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Quantitative Aspects of Embedded Systems ![In: Quantitative Aspects of Embedded Systems, 04.03. - 09.03.2007, 2007, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
29 | Boudewijn R. Haverkort, Joost-Pieter Katoen, Lothar Thiele |
07101 Abstracts Collection -- Quantitative Aspects of Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Quantitative Aspects of Embedded Systems ![In: Quantitative Aspects of Embedded Systems, 04.03. - 09.03.2007, 2007, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
29 | Leon Moonen, Ganesan Ramalingam, Siobhán Clarke |
06302 Summary -- Aspects For Legacy Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Aspects For Legacy Applications ![In: Aspects For Legacy Applications, 26.07. - 29.07.2006, 2006, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
29 | Siobhán Clarke, Leon Moonen, Ganesan Ramalingam |
06302 Abstracts Collection -- Aspects For Legacy Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Aspects For Legacy Applications ![In: Aspects For Legacy Applications, 26.07. - 29.07.2006, 2006, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
29 | Silvia Breu, Thomas Zimmermann 0001 |
Mining Aspects from Version History. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Aspects For Legacy Applications ![In: Aspects For Legacy Applications, 26.07. - 29.07.2006, 2006, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
29 | Theodosis Dimitrakos, Fabio Martinelli (eds.) |
Formal Aspects in Security and Trust: Second IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), an event of the 18th IFIP World Computer Congress, August 22-27, 2004, Toulouse, France ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects in Security and Trust ![Springer, 0-387-24050-0 The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
29 | Stefano Leonardi 0001, Friedhelm Meyer auf der Heide, Dorothea Wagner |
05361 Abstracts Collection - Algorithmic Aspects of Large and Complex Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmic Aspects of Large and Complex Networks ![In: Algorithmic Aspects of Large and Complex Networks, 4.-9. September 2005, 2005, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
29 | Julio Collado-Vides, Ralf Hofestädt, Christoph W. Sensen |
04281 Abstracts Collection - Integrative Bioinformatics - Aspects of the Virtual Cell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Integrative Bioinformatics - Aspects of the Virtual Cell ![In: Integrative Bioinformatics - Aspects of the Virtual Cell, 04.07. - 09.07.2004, 2004, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
29 | Hristo Koshutanski, Fabio Massacci |
An Interactive Trust Management and Negotiation Scheme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects in Security and Trust ![In: Formal Aspects in Security and Trust: Second IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), an event of the 18th IFIP World Computer Congress, August 22-27, 2004, Toulouse, France, pp. 115-128, 2004, Springer, 0-387-24050-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Interactive Trust Management, Interactive Access Control, Credential-Based Systems, Logics for Access Control, Trust Management, Internet Computing, Trust Negotiation |
29 | Frédéric Cuppens, Nora Cuppens-Boulahia, Thierry Sans, Alexandre Miège |
A Formal Approach to Specify and Deploy a Network Security Policy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects in Security and Trust ![In: Formal Aspects in Security and Trust: Second IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), an event of the 18th IFIP World Computer Congress, August 22-27, 2004, Toulouse, France, pp. 203-218, 2004, Springer, 0-387-24050-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
29 | Erik Rissanen, Babak Sadighi Firozabadi, Marek J. Sergot |
Discretionary Overriding of Access Control in the Privilege Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects in Security and Trust ![In: Formal Aspects in Security and Trust: Second IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), an event of the 18th IFIP World Computer Congress, August 22-27, 2004, Toulouse, France, pp. 219-232, 2004, Springer, 0-387-24050-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
29 | Jeremy W. Bryans, Maciej Koutny, Peter Y. A. Ryan |
Modelling Dynamic Opacity Using Petri Nets with Silent Actions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects in Security and Trust ![In: Formal Aspects in Security and Trust: Second IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), an event of the 18th IFIP World Computer Congress, August 22-27, 2004, Toulouse, France, pp. 159-172, 2004, Springer, 0-387-24050-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
non-deducibility, observable behaviour, silent actions, Petri nets, anonymity, opacity |
29 | Christian Haack, Alan Jeffrey |
Pattern-Matching Spi-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects in Security and Trust ![In: Formal Aspects in Security and Trust: Second IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), an event of the 18th IFIP World Computer Congress, August 22-27, 2004, Toulouse, France, pp. 55-70, 2004, Springer, 0-387-24050-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
29 | Jerry den Hartog, Erik P. de Vink |
Virtual Analysis and Reduction of Side-Channel Vulnerabilities of Smartcards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects in Security and Trust ![In: Formal Aspects in Security and Trust: Second IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), an event of the 18th IFIP World Computer Congress, August 22-27, 2004, Toulouse, France, pp. 85-98, 2004, Springer, 0-387-24050-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
systematic hardening, simulation, side-channel attack, DPA, power analysis, smartcard, countermeasures, fault analysis |
29 | Ali E. Abdallah, Etienne J. Khayat |
A Formal Model for Parameterized Role-Based Access Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects in Security and Trust ![In: Formal Aspects in Security and Trust: Second IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), an event of the 18th IFIP World Computer Congress, August 22-27, 2004, Toulouse, France, pp. 233-246, 2004, Springer, 0-387-24050-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
29 | Kim-Kwang Raymond Choo, Colin Boyd, Yvonne Hitchcock, Greg Maitland |
Complementing Computational Protocol Analysis with Formal Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects in Security and Trust ![In: Formal Aspects in Security and Trust: Second IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), an event of the 18th IFIP World Computer Congress, August 22-27, 2004, Toulouse, France, pp. 129-144, 2004, Springer, 0-387-24050-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
29 | Jianqiang Shi, Gregor von Bochmann, Carlisle M. Adams |
A Trust Model with Statistical Foundation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects in Security and Trust ![In: Formal Aspects in Security and Trust: Second IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), an event of the 18th IFIP World Computer Congress, August 22-27, 2004, Toulouse, France, pp. 145-158, 2004, Springer, 0-387-24050-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
trust, decision making, utility |
29 | James Heather, Jonathan Y. Clark |
Family Secrets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects in Security and Trust ![In: Formal Aspects in Security and Trust: Second IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), an event of the 18th IFIP World Computer Congress, August 22-27, 2004, Toulouse, France, pp. 99-114, 2004, Springer, 0-387-24050-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
29 | Stefano Bistarelli, Simon N. Foley, Barry O'Sullivan |
Reasoning about Secure Interoperation Using Soft Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects in Security and Trust ![In: Formal Aspects in Security and Trust: Second IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), an event of the 18th IFIP World Computer Congress, August 22-27, 2004, Toulouse, France, pp. 173-186, 2004, Springer, 0-387-24050-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
constraint satisfaction, Secure interoperation |
29 | Laurent Mazaré |
Decidability of Opacity with Non-Atomic Keys. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects in Security and Trust ![In: Formal Aspects in Security and Trust: Second IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), an event of the 18th IFIP World Computer Congress, August 22-27, 2004, Toulouse, France, pp. 71-84, 2004, Springer, 0-387-24050-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Dolev-Yao Constraints, Security, Formal Verification, Decidability, Rewriting Systems, Opacity |
29 | Mario Bravetti, Nadia Busi, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro |
Security Issues in the Tuple-Space Coordination Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects in Security and Trust ![In: Formal Aspects in Security and Trust: Second IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), an event of the 18th IFIP World Computer Congress, August 22-27, 2004, Toulouse, France, pp. 1-12, 2004, Springer, 0-387-24050-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
29 | Jan Cederquist, Muhammad Torabi Dashti |
Formal Analysis of a Fair Payment Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects in Security and Trust ![In: Formal Aspects in Security and Trust: Second IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), an event of the 18th IFIP World Computer Congress, August 22-27, 2004, Toulouse, France, pp. 41-54, 2004, Springer, 0-387-24050-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
29 | Lantian Zheng, Andrew C. Myers |
Dynamic Security Labels and Noninterference (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects in Security and Trust ![In: Formal Aspects in Security and Trust: Second IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), an event of the 18th IFIP World Computer Congress, August 22-27, 2004, Toulouse, France, pp. 27-40, 2004, Springer, 0-387-24050-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
29 | Ricardo Corin, Sandro Etalle, J. I. den Hartog, Gabriele Lenzini, I. Staicu |
A Logic for Auditing Accountability in Decentralized Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects in Security and Trust ![In: Formal Aspects in Security and Trust: Second IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), an event of the 18th IFIP World Computer Congress, August 22-27, 2004, Toulouse, France, pp. 187-201, 2004, Springer, 0-387-24050-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
29 | Gholamreza B. Khosrovshahi, Ali Shokoufandeh, Mohammad Amin Shokrollahi (eds.) |
Theoretical Aspects of Computer Science, Advanced Lectures (First Summer School on Theoretical Aspects of Computer Science, Tehran, Iran, July 2000) ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theoretical Aspects of Computer Science ![Springer, 3-540-43328-7 The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
29 | Umesh V. Vazirani |
Fourier Transforms and Quantum Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theoretical Aspects of Computer Science ![In: Theoretical Aspects of Computer Science, Advanced Lectures (First Summer School on Theoretical Aspects of Computer Science, Tehran, Iran, July 2000), pp. 208-220, 2000, Springer, 3-540-43328-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
29 | Marcos A. Kiwi, Frédéric Magniez, Miklos Santha |
Exact and Approximate Testing/Correcting of Algebraic Functions: A Survey. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theoretical Aspects of Computer Science ![In: Theoretical Aspects of Computer Science, Advanced Lectures (First Summer School on Theoretical Aspects of Computer Science, Tehran, Iran, July 2000), pp. 30-83, 2000, Springer, 3-540-43328-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
29 | János Komlós, Ali Shokoufandeh, Miklós Simonovits, Endre Szemerédi |
The Regularity Lemma and Its Applications in Graph Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theoretical Aspects of Computer Science ![In: Theoretical Aspects of Computer Science, Advanced Lectures (First Summer School on Theoretical Aspects of Computer Science, Tehran, Iran, July 2000), pp. 84-112, 2000, Springer, 3-540-43328-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
29 | Ali Shokoufandeh, Sven J. Dickinson |
Graph-Theoretical Methods in Computer Vision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theoretical Aspects of Computer Science ![In: Theoretical Aspects of Computer Science, Advanced Lectures (First Summer School on Theoretical Aspects of Computer Science, Tehran, Iran, July 2000), pp. 148-174, 2000, Springer, 3-540-43328-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
29 | Charles J. Colbourn |
Multiple Access Communications Using Combinatorial Designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theoretical Aspects of Computer Science ![In: Theoretical Aspects of Computer Science, Advanced Lectures (First Summer School on Theoretical Aspects of Computer Science, Tehran, Iran, July 2000), pp. 1-29, 2000, Springer, 3-540-43328-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
29 | Mohammad Amin Shokrollahi |
An Introduction to Low-Density Parity-Check Codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theoretical Aspects of Computer Science ![In: Theoretical Aspects of Computer Science, Advanced Lectures (First Summer School on Theoretical Aspects of Computer Science, Tehran, Iran, July 2000), pp. 175-197, 2000, Springer, 3-540-43328-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
29 | Vijay V. Vazirani |
Primal-Dual Schema Based Approximation Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theoretical Aspects of Computer Science ![In: Theoretical Aspects of Computer Science, Advanced Lectures (First Summer School on Theoretical Aspects of Computer Science, Tehran, Iran, July 2000), pp. 198-207, 2000, Springer, 3-540-43328-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
29 | B. Tim Denvir, Ros Herman, Robin W. Whitty (eds.) |
Formal Aspects of Measurement, Proceedings of the BCS-FACS Workshop on Formal Aspects of Measurement, South Bank University, London, UK, 5 May 1991 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects of Measurement ![Springer, 3-540-19788-5 The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
29 | S. S. Sritharan |
10. Mathematical Aspects of Harmonic Grid Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematical Aspects of Numerical Grid Generation ![In: Mathematical Aspects of Numerical Grid Generation, pp. 131-145, 1991, SIAM, 978-0-89871-267-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
29 | James M. Bieman, Norman E. Fenton, David A. Gustafson, Austin Melton, Robin W. Whitty |
Moving from Philosophy to Practice in Software Measurement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects of Measurement ![In: Formal Aspects of Measurement, Proceedings of the BCS-FACS Workshop on Formal Aspects of Measurement, South Bank University, London, UK, 5 May 1991, pp. 38-59, 1991, Springer, 3-540-19788-5. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
29 | Norman E. Fenton |
Software Measurement: Why a Formal Approach? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects of Measurement ![In: Formal Aspects of Measurement, Proceedings of the BCS-FACS Workshop on Formal Aspects of Measurement, South Bank University, London, UK, 5 May 1991, pp. 3-27, 1991, Springer, 3-540-19788-5. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
29 | Barbara A. Kitchenham |
Never Mind the Metrics What About the Numbers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects of Measurement ![In: Formal Aspects of Measurement, Proceedings of the BCS-FACS Workshop on Formal Aspects of Measurement, South Bank University, London, UK, 5 May 1991, pp. 28-37, 1991, Springer, 3-540-19788-5. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
29 | Horst Zuse, Peter Bollmann-Sdorra |
Measurement Theory and Software Measures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects of Measurement ![In: Formal Aspects of Measurement, Proceedings of the BCS-FACS Workshop on Formal Aspects of Measurement, South Bank University, London, UK, 5 May 1991, pp. 219-259, 1991, Springer, 3-540-19788-5. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
29 | David A. Gustafson, Baba Prasad |
Properties of Software Measures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects of Measurement ![In: Formal Aspects of Measurement, Proceedings of the BCS-FACS Workshop on Formal Aspects of Measurement, South Bank University, London, UK, 5 May 1991, pp. 179-193, 1991, Springer, 3-540-19788-5. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
29 | David A. Gustafson, Ramón A. Mata-Toledo, Richard E. Courtney, Naim Temsamani |
A Critique of Validation/Verification Techniques for Software Development Measures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects of Measurement ![In: Formal Aspects of Measurement, Proceedings of the BCS-FACS Workshop on Formal Aspects of Measurement, South Bank University, London, UK, 5 May 1991, pp. 145-156, 1991, Springer, 3-540-19788-5. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
29 | Robin W. Whitty |
Multi-dimensional Software Metrics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects of Measurement ![In: Formal Aspects of Measurement, Proceedings of the BCS-FACS Workshop on Formal Aspects of Measurement, South Bank University, London, UK, 5 May 1991, pp. 116-141, 1991, Springer, 3-540-19788-5. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
29 | Meg Russell |
The Mathematics of Measurement in Software Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects of Measurement ![In: Formal Aspects of Measurement, Proceedings of the BCS-FACS Workshop on Formal Aspects of Measurement, South Bank University, London, UK, 5 May 1991, pp. 209-218, 1991, Springer, 3-540-19788-5. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
29 | Michael D. Rice |
Complexity Measures on Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects of Measurement ![In: Formal Aspects of Measurement, Proceedings of the BCS-FACS Workshop on Formal Aspects of Measurement, South Bank University, London, UK, 5 May 1991, pp. 108-115, 1991, Springer, 3-540-19788-5. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
29 | James M. Bieman |
Deriving Measures of Software Reuse in Object Oriented Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects of Measurement ![In: Formal Aspects of Measurement, Proceedings of the BCS-FACS Workshop on Formal Aspects of Measurement, South Bank University, London, UK, 5 May 1991, pp. 63-83, 1991, Springer, 3-540-19788-5. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
29 | Norbert Fuchs, Sieglinde Stainer |
Language Independent Definition of Axiomatic Metrics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects of Measurement ![In: Formal Aspects of Measurement, Proceedings of the BCS-FACS Workshop on Formal Aspects of Measurement, South Bank University, London, UK, 5 May 1991, pp. 84-107, 1991, Springer, 3-540-19788-5. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
29 | Martin J. Shepperd |
Algebraic Models and Metric Validation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects of Measurement ![In: Formal Aspects of Measurement, Proceedings of the BCS-FACS Workshop on Formal Aspects of Measurement, South Bank University, London, UK, 5 May 1991, pp. 157-175, 1991, Springer, 3-540-19788-5. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
29 | Austin Melton |
Specifying Internal, External, and Predictive Software Metrics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects of Measurement ![In: Formal Aspects of Measurement, Proceedings of the BCS-FACS Workshop on Formal Aspects of Measurement, South Bank University, London, UK, 5 May 1991, pp. 194-208, 1991, Springer, 3-540-19788-5. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
29 | Arie Segev, Arie Shoshani |
Modeling Temporal Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Temporal Aspects in Information Systems ![In: Temporal Aspects in Information Systems, Proceedings of the IFIP TC 8/WG 8.1 Working Conference on Temporal Aspects in Information Systems, Sophia-Antipolis, France, 13-15 May, 1987, pp. 47-57, 1987, North-Holland / Elsevier, 0-444-70373-X. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
29 | Federico Barbic, Roberto Maiocchi |
Planning in Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Temporal Aspects in Information Systems ![In: Temporal Aspects in Information Systems, Proceedings of the IFIP TC 8/WG 8.1 Working Conference on Temporal Aspects in Information Systems, Sophia-Antipolis, France, 13-15 May, 1987, pp. 141-156, 1987, North-Holland / Elsevier, 0-444-70373-X. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
29 | Jan L. G. Dietz, Kees M. van Hee |
A Framework for the Conceptual Modeling of Discrete Dynamic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Temporal Aspects in Information Systems ![In: Temporal Aspects in Information Systems, Proceedings of the IFIP TC 8/WG 8.1 Working Conference on Temporal Aspects in Information Systems, Sophia-Antipolis, France, 13-15 May, 1987, pp. 61-75, 1987, North-Holland / Elsevier, 0-444-70373-X. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
29 | Andreas Oberweis, Georg Lausen |
On the Representation of Temporal Knowledge in Office Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Temporal Aspects in Information Systems ![In: Temporal Aspects in Information Systems, Proceedings of the IFIP TC 8/WG 8.1 Working Conference on Temporal Aspects in Information Systems, Sophia-Antipolis, France, 13-15 May, 1987, pp. 125-139, 1987, North-Holland / Elsevier, 0-444-70373-X. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
29 | José Carmo, Amílcar Sernadas |
A Temporal Logic Framework for a Layered Approach to Systems Specification and Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Temporal Aspects in Information Systems ![In: Temporal Aspects in Information Systems, Proceedings of the IFIP TC 8/WG 8.1 Working Conference on Temporal Aspects in Information Systems, Sophia-Antipolis, France, 13-15 May, 1987, pp. 31-46, 1987, North-Holland / Elsevier, 0-444-70373-X. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
29 | Nikos A. Lorentzos, Roger G. Johnson |
TRA: A Model for a Temporal Relational Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Temporal Aspects in Information Systems ![In: Temporal Aspects in Information Systems, Proceedings of the IFIP TC 8/WG 8.1 Working Conference on Temporal Aspects in Information Systems, Sophia-Antipolis, France, 13-15 May, 1987, pp. 95-108, 1987, North-Holland / Elsevier, 0-444-70373-X. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
29 | Marc Moens |
Temporal Databases and Natural Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Temporal Aspects in Information Systems ![In: Temporal Aspects in Information Systems, Proceedings of the IFIP TC 8/WG 8.1 Working Conference on Temporal Aspects in Information Systems, Sophia-Antipolis, France, 13-15 May, 1987, pp. 171-183, 1987, North-Holland / Elsevier, 0-444-70373-X. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
29 | Henk M. Blanken, Alle IJbema |
Language Concepts for Versioned Hierarchical Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Temporal Aspects in Information Systems ![In: Temporal Aspects in Information Systems, Proceedings of the IFIP TC 8/WG 8.1 Working Conference on Temporal Aspects in Information Systems, Sophia-Antipolis, France, 13-15 May, 1987, pp. 187-201, 1987, North-Holland / Elsevier, 0-444-70373-X. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
29 | Michel E. Adiba, N. Bui Quang |
Dynamic Database Snapshots, Albums and Movies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Temporal Aspects in Information Systems ![In: Temporal Aspects in Information Systems, Proceedings of the IFIP TC 8/WG 8.1 Working Conference on Temporal Aspects in Information Systems, Sophia-Antipolis, France, 13-15 May, 1987, pp. 203-215, 1987, North-Holland / Elsevier, 0-444-70373-X. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
29 | Claude Le Pape, Stephen F. Smith |
Management of Temporal Constraints for Factory Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Temporal Aspects in Information Systems ![In: Temporal Aspects in Information Systems, Proceedings of the IFIP TC 8/WG 8.1 Working Conference on Temporal Aspects in Information Systems, Sophia-Antipolis, France, 13-15 May, 1987, pp. 159-170, 1987, North-Holland / Elsevier, 0-444-70373-X. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
29 | Shamkant B. Navathe, Rafi Ahmed |
TSQL: A Language Interface for History Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Temporal Aspects in Information Systems ![In: Temporal Aspects in Information Systems, Proceedings of the IFIP TC 8/WG 8.1 Working Conference on Temporal Aspects in Information Systems, Sophia-Antipolis, France, 13-15 May, 1987, pp. 109-122, 1987, North-Holland / Elsevier, 0-444-70373-X. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
29 | Gad Ariav |
Design Requirements for Temporally Oriented Information Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Temporal Aspects in Information Systems ![In: Temporal Aspects in Information Systems, Proceedings of the IFIP TC 8/WG 8.1 Working Conference on Temporal Aspects in Information Systems, Sophia-Antipolis, France, 13-15 May, 1987, pp. 3-16, 1987, North-Holland / Elsevier, 0-444-70373-X. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
29 | James Clifford, Ahobala Rao |
A Simple, General Structure for Temporal Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Temporal Aspects in Information Systems ![In: Temporal Aspects in Information Systems, Proceedings of the IFIP TC 8/WG 8.1 Working Conference on Temporal Aspects in Information Systems, Sophia-Antipolis, France, 13-15 May, 1987, pp. 17-28, 1987, North-Holland / Elsevier, 0-444-70373-X. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
Displaying result #1 - #100 of 38991 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|