|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 3075 occurrences of 1821 keywords
|
|
|
|
|
Results
Found 9090 publication records. Showing 9090 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 3 | Fabio Nascimbeni, Raul Martins, Gustavo Carvalho |
WINDS workshop: Europe-Latin America cooperation in ICT research: state of the art and possibilities offered by the FP7.  |
EATIS  |
2008 |
DBLP DOI BibTeX RDF |
international cooperation, joint projects, ICT, Europe, Latin America |
| 3 | Ivica Crnkovic |
Software engineering in East and South Europe (SEESE'08).  |
ICSE Companion  |
2008 |
DBLP DOI BibTeX RDF |
East Europe, South Europe, international cooperation, software engineering |
| 3 | Christine L. Borgman, Tatjana Aparac-Jelusic, Sonja Pigac Ljubi, Zinaida Manzuch, György Sebestyén, András Gábor |
Digital Libraries in Central and Eastern Europe: Infrastructure Challenges for the New Europe.  |
ECDL  |
2007 |
DBLP DOI BibTeX RDF |
Central and Eastern Europe, political reform, education policy, Digital libraries, information systems, management, systems design, economics, libraries, cultural heritage, technology transfer, museums, archives |
| 3 | Vladimir Hahanov |
East-West Design & Test Workshop.  |
IEEE Design & Test of Computers  |
2006 |
DBLP DOI BibTeX RDF |
Eastern Europe, Western Europe, electronic systems, design and test |
| 3 | Colin Mercer |
Culture in the Age of Convergence: The Need for a New Policy Stance and Platform for Europe.  |
AI Soc.  |
2003 |
DBLP DOI BibTeX RDF |
Council of Europe, Creative infrastructure, Cultural policy, World Trade Organization, Convergence, Creative industries |
| 3 | Nadia Caidi |
Technology and values: lessons from central and eastern europe.  |
JCDL  |
2001 |
DBLP DOI BibTeX RDF |
central and eastern europe, national union catalogs, social shaping of technology, information infrastructure |
| 3 | Philippe Waroquiers, Stef van Vlierberghe, Dirk Craeynest, Andrew Hately, Erik Duvinage |
Migrating Large Applications from Ada83 to Ada95.  |
Ada-Europe  |
2001 |
DBLP DOI BibTeX RDF |
|
| 3 | Joseph Borel, Frank Ghenassia, Jean-Jacques Bronner, Irmtraud Rugen-Herzig, Wolfgang Rosenstiel, Anton Sauer |
A Design Automation Roadmap for Europe Panel discussion.  |
DATE  |
2000 |
DBLP DOI BibTeX RDF |
|
| 2 | Alexander Romanovsky, Tullio Vardanega (eds.) |
Reliable Software Technologies - Ada-Europe 2011 - 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings  |
Ada-Europe  |
2011 |
DBLP DOI BibTeX RDF |
|
| 2 | Nick Bassiliades, Guido Governatori, Adrian Paschke (eds.) |
Rule-Based Reasoning, Programming, and Applications - 5th International Symposium, RuleML 2011 - Europe, Barcelona, Spain, July 19-21, 2011. Proceedings  |
RuleML Europe  |
2011 |
DBLP DOI BibTeX RDF |
|
| 2 | Kevin Hammond |
Why Parallel Functional Programming Matters: Panel Statement.  |
Ada-Europe  |
2011 |
DBLP DOI BibTeX RDF |
|
| 2 | Syed Aoun Raza, Stefan Franke, Erhard Ploedereder |
Detecting High-Level Synchronization Errors in Parallel Programs.  |
Ada-Europe  |
2011 |
DBLP DOI BibTeX RDF |
|
| 2 | Sergio Saez, Silvia Terrasa, Alfons Crespo |
A Real-Time Framework for Multiprocessor Platforms Using Ada 2012.  |
Ada-Europe  |
2011 |
DBLP DOI BibTeX RDF |
|
| 2 | Rigoberto Chil, Diego Alonso, Francisco J. Ortiz, Juan A. Pastor |
Using Robotics as a Motivational Tool: An Ada Interface to a Pioneer Robot.  |
Ada-Europe  |
2011 |
DBLP DOI BibTeX RDF |
|
| 2 | Les Hatton |
On the Evolution of Unnatural Language.  |
Ada-Europe  |
2011 |
DBLP DOI BibTeX RDF |
|
| 2 | Alan Burns |
Programming Languages for Real-Time Applications Executing on Parallel Hardware.  |
Ada-Europe  |
2011 |
DBLP DOI BibTeX RDF |
|
| 2 | Sanjoy K. Baruah, Alan Burns |
Implementing Mixed Criticality Systems in Ada.  |
Ada-Europe  |
2011 |
DBLP DOI BibTeX RDF |
|
| 2 | Jean-Pierre Rosen |
Object Orientation in Critical Systems: Yes, in Moderation - Position Paper for the DO178C and Object-Orientation for Critical Systems Panel.  |
Ada-Europe  |
2011 |
DBLP DOI BibTeX RDF |
|
| 2 | Erhard Ploedereder |
Programming Languages Meet Multicore.  |
Ada-Europe  |
2011 |
DBLP DOI BibTeX RDF |
|
| 2 | Thierry Coq, Jean-Pierre Rosen |
The SQALE Quality and Analysis Models for Assessing the Quality of Ada Source Code.  |
Ada-Europe  |
2011 |
DBLP DOI BibTeX RDF |
|
| 2 | Ángel Esquinas, Juan Zamorano, Juan Antonio de la Puente, Miguel Masmano, Ismael Ripoll, Alfons Crespo |
ORK+/XtratuM: An Open Partitioning Platform for Ada.  |
Ada-Europe  |
2011 |
DBLP DOI BibTeX RDF |
|
| 2 | Dan Eilers, Tero Koskinen |
Adapting ACATS to the Ahven Testing Framework.  |
Ada-Europe  |
2011 |
DBLP DOI BibTeX RDF |
|
| 2 | Jeffrey O'Leary |
Assuring Software Reliability While Using Web Services and Commercial Products.  |
Ada-Europe  |
2011 |
DBLP DOI BibTeX RDF |
|
| 2 | Laura Carnevali, Giuseppe Lipari, Alessandro Pinzuti, Enrico Vicario |
A Formal Approach to Design and Verification of Two-Level Hierarchical Scheduling Systems.  |
Ada-Europe  |
2011 |
DBLP DOI BibTeX RDF |
|
| 2 | Dewi Daniels |
Position Paper: DO-178C/ED-12C and Object-Orientation for Critical Systems.  |
Ada-Europe  |
2011 |
DBLP DOI BibTeX RDF |
|
| 2 | S. Tucker Taft |
Multicore Programming in ParaSail - Parallel Specification and Implementation Language.  |
Ada-Europe  |
2011 |
DBLP DOI BibTeX RDF |
|
| 2 | Andreas Johnsen, Kristina Lundqvist |
Developing Dependable Software-Intensive Systems: AADL vs. EAST-ADL.  |
Ada-Europe  |
2011 |
DBLP DOI BibTeX RDF |
|
| 2 | Julio L. Medina, Alvaro Garcia Cuesta |
Model-Based Analysis and Design of Real-Time Distributed Systems with Ada and the UML Profile for MARTE.  |
Ada-Europe  |
2011 |
DBLP DOI BibTeX RDF |
|
| 2 | Iago Rodríguez-López, Marisol García-Valls |
Architecting a Common Bridge Abstraction over Different Middleware Paradigms.  |
Ada-Europe  |
2011 |
DBLP DOI BibTeX RDF |
|
| 2 | Roderick Chapman, Trevor Jennings |
OOT, DO-178C and SPARK.  |
Ada-Europe  |
2011 |
DBLP DOI BibTeX RDF |
|
| 2 | Fabien Chouteau, José F. Ruiz |
Design and Implementation of a Ravenscar Extension for Multiprocessors.  |
Ada-Europe  |
2011 |
DBLP DOI BibTeX RDF |
|
| 2 | Stefania Costantini, Pierangelo Dell'Acqua, Luís Moniz Pereira |
Conditional Learning of Rules and Plans by Knowledge Exchange in Logical Agents.  |
RuleML Europe  |
2011 |
DBLP DOI BibTeX RDF |
|
| 2 | Kalliopi Kravari, Constantinos Papatheodorou, Grigoris Antoniou, Nick Bassiliades |
Extending a Multi-agent Reasoning Interoperability Framework with Services for the Semantic Web Logic and Proof Layers.  |
RuleML Europe  |
2011 |
DBLP DOI BibTeX RDF |
|
| 2 | Rolf Grütter, Iris Helming, Simon Speich, Abraham Bernstein |
Rewriting Queries for Web Searches That Use Local Expressions.  |
RuleML Europe  |
2011 |
DBLP DOI BibTeX RDF |
|
| 2 | Costin Badica, Lars Braubach, Adrian Paschke |
Rule-Based Distributed and Agent Systems.  |
RuleML Europe  |
2011 |
DBLP DOI BibTeX RDF |
|
| 2 | Monica L. Nogueira, Noel P. Greis |
Rule-Based Complex Event Processing for Food Safety and Public Health.  |
RuleML Europe  |
2011 |
DBLP DOI BibTeX RDF |
|
| 2 | Antonino Rotolo |
Rule-Based Agents, Compliance, and Intention Reconsideration in Defeasible Logic.  |
RuleML Europe  |
2011 |
DBLP DOI BibTeX RDF |
|
| 2 | Sotiris Batsakis, Euripides G. M. Petrakis |
SOWL: A Framework for Handling Spatio-temporal Information in OWL 2.0.  |
RuleML Europe  |
2011 |
DBLP DOI BibTeX RDF |
|
| 2 | Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García, Rémy Haemmerlé, Edison Mera, José F. Morales, Germán Puebla |
An Overview of the Ciao System.  |
RuleML Europe  |
2011 |
DBLP DOI BibTeX RDF |
|
| 2 | Adeline Nazarenko, Abdoulaye Guisse, François Levy, Nouha Omrane, Sylvie Szulman |
Integrating Written Policies in Business Rule Management Systems.  |
RuleML Europe  |
2011 |
DBLP DOI BibTeX RDF |
|
| 2 | Darko Anicic, Sebastian Rudolph, Paul Fodor, Nenad Stojanovic |
Retractable Complex Event Processing and Stream Reasoning.  |
RuleML Europe  |
2011 |
DBLP DOI BibTeX RDF |
|
| 2 | Grigoris Antoniou |
Rule-Based Activity Recognition in Ambient Intelligence.  |
RuleML Europe  |
2011 |
DBLP DOI BibTeX RDF |
|
| 2 | Jesús Manuel Almendros-Jiménez, Alejandro Luna, Ginés Moreno |
A Flexible XPath-Based Query Language Implemented with Fuzzy Logic Programming.  |
RuleML Europe  |
2011 |
DBLP DOI BibTeX RDF |
|
| 2 | Antonino Rotolo, Leendert van der Torre |
Rules, Agents and Norms: Guidelines for Rule-Based Normative Multi-Agent Systems.  |
RuleML Europe  |
2011 |
DBLP DOI BibTeX RDF |
|
| 2 | Carlos Viegas Damásio, Anastasia Analyti, Grigoris Antoniou |
Modularity in the Rule Interchange Format.  |
RuleML Europe  |
2011 |
DBLP DOI BibTeX RDF |
|
| 2 | Ian Jacobi, Lalana Kagal, Ankesh Khandelwal |
Rule-Based Trust Assessment on the Semantic Web.  |
RuleML Europe  |
2011 |
DBLP DOI BibTeX RDF |
|
| 2 | Wei Tai, John Keeney, Declan O'Sullivan |
COROR: A COmposable Rule-Entailment Owl Reasoner for Resource-Constrained Devices.  |
RuleML Europe  |
2011 |
DBLP DOI BibTeX RDF |
|
| 2 | Adam Ghandar, Zbigniew Michalewicz, Ralf Zurbruegg |
A Case for Learning Simpler Rule Sets with Multiobjective Evolutionary Algorithms.  |
RuleML Europe  |
2011 |
DBLP DOI BibTeX RDF |
|
| 2 | Hannes Obweger, Josef Schiefer, Martin Suntinger, Robert Thullner |
Entity-Based State Management for Complex Event Processing Applications.  |
RuleML Europe  |
2011 |
DBLP DOI BibTeX RDF |
|
| 2 | Zaigham Faraz Siddiqui, Myra Spiliopoulou |
Classification Rule Mining for a Stream of Perennial Objects.  |
RuleML Europe  |
2011 |
DBLP DOI BibTeX RDF |
|
| 2 | Nenad Stojanovic, Alexander Artikis |
On Complex Event Processing for Real-Time Situational Awareness.  |
RuleML Europe  |
2011 |
DBLP DOI BibTeX RDF |
|
| 2 | Harold Boley |
A RIF-Style Semantics for RuleML-Integrated Positional-Slotted, Object-Applicative Rules.  |
RuleML Europe  |
2011 |
DBLP DOI BibTeX RDF |
|
| 2 | Jenny Eriksson Lundström, Giacomo Aceto, Andreas Hamfelt |
A Dynamic Metalogic Argumentation Framework Implementation.  |
RuleML Europe  |
2011 |
DBLP DOI BibTeX RDF |
|
| 2 | Espen Suenson, Johan Lilius, Ivan Porres |
OWL Web Ontology Language as a Scripting Language for Smart Space Applications.  |
RuleML Europe  |
2011 |
DBLP DOI BibTeX RDF |
|
| 2 | Pedro J. Morcillo, Ginés Moreno, Jaime Penabad, Carlos Vázquez |
Declarative Traces into Fuzzy Computed Answers.  |
RuleML Europe  |
2011 |
DBLP DOI BibTeX RDF |
|
| 2 | Darko Anicic, Sebastian Rudolph, Paul Fodor, Nenad Stojanovic |
A Declarative Framework for Matching Iterative and Aggregative Patterns against Event Streams.  |
RuleML Europe  |
2011 |
DBLP DOI BibTeX RDF |
|
| 2 | Grzegorz J. Nalepa, Antoni Ligeza, Krzysztof Kaczor |
Overview of Knowledge Formalization with XTT2 Rules.  |
RuleML Europe  |
2011 |
DBLP DOI BibTeX RDF |
|
| 2 | Igor Wojnicki |
Implementing General Purpose Applications with the Rule-Based Approach.  |
RuleML Europe  |
2011 |
DBLP DOI BibTeX RDF |
|
| 2 | Kalliopi Kravari, Taylor Michael Osmun, Harold Boley, Nick Bassiliades |
Cross-Community Interoperation between the EMERALD and Rule Responder Multi-Agent Systems.  |
RuleML Europe  |
2011 |
DBLP DOI BibTeX RDF |
|
| 2 | Saeed Hassanpour, Martin J. O'Connor, Amar K. Das |
A Framework for the Automatic Extraction of Rules from Online Text.  |
RuleML Europe  |
2011 |
DBLP DOI BibTeX RDF |
|
| 2 | Grzegorz J. Nalepa, Szymon Bobek, Antoni Ligeza, Krzysztof Kaczor |
HalVA - Rule Analysis Framework for XTT2 Rules.  |
RuleML Europe  |
2011 |
DBLP DOI BibTeX RDF |
|
| 2 | Grzegorz J. Nalepa, Szymon Bobek, Antoni Ligeza, Krzysztof Kaczor |
Algorithms for Rule Inference in Modularized Rule Bases.  |
RuleML Europe  |
2011 |
DBLP DOI BibTeX RDF |
|
| 2 | Jorge Real, Tullio Vardanega (eds.) |
Reliable Software Technologiey - Ada-Europe 2010, 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010. Proceedings  |
Ada-Europe  |
2010 |
DBLP DOI BibTeX RDF |
|
| 2 | Björn Andersson, Luís Miguel Pinho |
Implementing Multicore Real-Time Scheduling Algorithms Based on Task Splitting Using Ada 2012.  |
Ada-Europe  |
2010 |
DBLP DOI BibTeX RDF |
|
| 2 | Pedro Albertos, Alfons Crespo, José E. Simó, Adel Fernández |
Control Co-design: Algorithms and Their Implementation.  |
Ada-Europe  |
2010 |
DBLP DOI BibTeX RDF |
|
| 2 | Patrick J. Graydon, John C. Knight, Xiang Yin |
Practical Limits on Software Dependability: A Case Study.  |
Ada-Europe  |
2010 |
DBLP DOI BibTeX RDF |
|
| 2 | Enrico Mezzetti, Marco Panunzio, Tullio Vardanega |
Preservation of Timing Properties with the Ada Ravenscar Profile.  |
Ada-Europe  |
2010 |
DBLP DOI BibTeX RDF |
|
| 2 | Andy J. Wellings, Alan Burns |
The Evolution of Real-Time Programming Revisited: Programming the Giotto Model in Ada 2005.  |
Ada-Europe  |
2010 |
DBLP DOI BibTeX RDF |
|
| 2 | Jacob Sparre Andersen |
An Efficient Implementation of Persistent Objects.  |
Ada-Europe  |
2010 |
DBLP DOI BibTeX RDF |
|
| 2 | Rod White |
Using Hardware Support for Scheduling with Ada.  |
Ada-Europe  |
2010 |
DBLP DOI BibTeX RDF |
|
| 2 | Sergio Saez, Alfons Crespo |
Preliminary Multiprocessor Support of Ada 2012 in GNU/Linux Systems.  |
Ada-Europe  |
2010 |
DBLP DOI BibTeX RDF |
|
| 2 | Edmond Schonberg |
Towards Ada 2012: An Interim Report.  |
Ada-Europe  |
2010 |
DBLP DOI BibTeX RDF |
|
| 2 | Alan Burns, Andy J. Wellings |
Dispatching Domains for Multiprocessor Platforms and Their Representation in Ada.  |
Ada-Europe  |
2010 |
DBLP DOI BibTeX RDF |
|
| 2 | Juan A. Pastor, Diego Alonso, Pedro Sánchez, Bárbara Álvarez |
Towards the Definition of a Pattern Sequence for Real-Time Applications Using a Model-Driven Engineering Approach.  |
Ada-Europe  |
2010 |
DBLP DOI BibTeX RDF |
|
| 2 | Daniel Sangorrín, Michael González Harbour, Héctor Pérez, J. Javier Gutiérrez |
Managing Transactions in Flexible Distributed Real-Time Systems.  |
Ada-Europe  |
2010 |
DBLP DOI BibTeX RDF |
|
| 2 | Eduardo Brito, Jorge Sousa Pinto |
Program Verification in SPARK and ACSL: A Comparative Case Study.  |
Ada-Europe  |
2010 |
DBLP DOI BibTeX RDF |
|
| 2 | Theodore P. Baker |
What to Make of Multicore Processors for Reliable Real-Time Systems?  |
Ada-Europe  |
2010 |
DBLP DOI BibTeX RDF |
|
| 2 | Benjamin M. Brosgol |
A Comparison of Generic Template Support: Ada, C++, C#, and JavaTM.  |
Ada-Europe  |
2010 |
DBLP DOI BibTeX RDF |
|
| 2 | Enrico Mezzetti, Adam Betts, José Ruiz, Tullio Vardanega |
Cache-Aware Development of High-Integrity Systems.  |
Ada-Europe  |
2010 |
DBLP DOI BibTeX RDF |
|
| 2 | Steffen Keul |
Static Versioning of Global State for Race Condition Detection.  |
Ada-Europe  |
2010 |
DBLP DOI BibTeX RDF |
|
| 2 | Patricia López Martínez, Laura Barros, José M. Drake |
Scheduling Configuration of Real-Time Component-Based Applications.  |
Ada-Europe  |
2010 |
DBLP DOI BibTeX RDF |
|
| 2 | Gingun Hong, Kirak Hong, Bernd Burgstaller, Johann Blieberger |
AdaStreams: A Type-Based Programming Extension for Stream-Parallelism with Ada 2005.  |
Ada-Europe  |
2010 |
DBLP DOI BibTeX RDF |
|
| 2 | Brian J. Gajadhar, Yvonne de Kort, Wijnand A. IJsselsteijn, Karolien Poels |
Where everybody knows your game: the appeal and function of game cafés in western Europe.  |
Advances in Computer Entertainment Technology  |
2009 |
DBLP DOI BibTeX RDF |
game café, internet café, social play, social interaction, focus groups, contextual inquiry, digital gaming, third place |
| 2 | Konstantinos Parisopoulos, Efthimios Tambouris, Konstantinos A. Tarabanis |
Transformational Government in Europe: A Survey of National Policies.  |
WSKS  |
2009 |
DBLP DOI BibTeX RDF |
Transformational government, National policies, Value innovation, Efficiency, Public sector |
| 2 | Fabrice Kordon, Yvon Kermarrec (eds.) |
Reliable Software Technologies - Ada-Europe 2009, 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009. Proceedings  |
Ada-Europe  |
2009 |
DBLP DOI BibTeX RDF |
|
| 2 | Lacramioara Stoicu-Tivadar, Bernd Blobel, Josipa Kern, Izet Masic, Gheorghe Mihalas, Andrej Orel, György Surján, Vesna Urosevic |
Is There a Common Background to Support Better Healthcare in Central and South East Europe?  |
MIE  |
2009 |
DBLP DOI BibTeX RDF |
|
| 2 | Peter J. Murray, Graham Wright, Thomas Karopka, Helen J. Betts, Andrej Orel |
Open Source and Healthcare in Europe - Time to Put Leading Edge Ideas into Practice.  |
MIE  |
2009 |
DBLP DOI BibTeX RDF |
|
| 2 | Nabil Zary, Inga Hege, Jörn Heid, Luke Woodham, Jeroen Donkers, Andrzej A. Kononowicz |
Enabling Interoperability, Accessibility and Reusability of Virtual Patients across Europe - Design and Implementation.  |
MIE  |
2009 |
DBLP DOI BibTeX RDF |
|
| 2 | Hanene Boussi Rahmouni, Tony Solomonides, Marco Casassa Mont, Simon Shiu |
Modelling and Enforcing Privacy for Medical Data Disclosure across Europe.  |
MIE  |
2009 |
DBLP DOI BibTeX RDF |
|
| 2 | Dimitrios Zikos, Joseph Liaskos, Marianna Diomidous, John Mantas |
Collection and Sharing of Information on Patient Safety Education and Training in Europe.  |
MIE  |
2009 |
DBLP DOI BibTeX RDF |
|
| 2 | Saoussen Sakji, Catherine Letord, Suzanne Pereira, Badisse Dahamna, Michel Joubert, Stéfan Jacques Darmoni |
Drug Information Portal in Europe: Information Retrieval with Multiple Health Terminologies.  |
MIE  |
2009 |
DBLP DOI BibTeX RDF |
|
| 2 | Gjuro Dezelic |
After Three Decades of Medical Informatics Europe Congresses.  |
MIE  |
2009 |
DBLP DOI BibTeX RDF |
|
| 2 | Marcial García-Rojo, Vytenis Punys, Janina Slodkowska, Thomas Schrader, Christel Daniel, Bernd Blobel |
Digital Pathology in Europe: Coordinating Patient Care and Research Efforts.  |
MIE  |
2009 |
DBLP DOI BibTeX RDF |
|
| 2 | Ruth Breuer, Ralf Klamma, Yiwei Cao, Riina Vuorikari |
Social Network Analysis of 45, 000 Schools: A Case Study of Technology Enhanced Learning in Europe.  |
EC-TEL  |
2009 |
DBLP DOI BibTeX RDF |
Data Mining, Social Networks, Social Network Analysis, Knowledge Sharing, Information and Communication Technologies, Network Visualization, Technology Enhanced Learning |
| 2 | Francisco J. Montoya-Dato, José Luis Fernández Alemán, Ginés García-Mateos |
An Experience on Ada Programming Using On-Line Judging.  |
Ada-Europe  |
2009 |
DBLP DOI BibTeX RDF |
e-learning, Programming, assessment |
| 2 | Mario Aldea Rivas, Michael González Harbour, José F. Ruiz |
Implementation of the Ada 2005 Task Dispatching Model in MaRTE OS and GNAT.  |
Ada-Europe  |
2009 |
DBLP DOI BibTeX RDF |
Scheduling, Real-Time Systems, Compilers, POSIX, Ada 2005 |
| 2 | Eric Le Pors, Olivier Grisvard |
Conceptual Modeling for System Requirements Enhancement.  |
Ada-Europe  |
2009 |
DBLP DOI BibTeX RDF |
conceptual modeling, requirements, complex systems, System engineering |
| 2 | Alessandro Zovi, Tullio Vardanega |
Requirements on the Target Programming Language for High-Integrity MDE.  |
Ada-Europe  |
2009 |
DBLP DOI BibTeX RDF |
|
| 2 | Bernard Berthomieu, Jean-Paul Bodeveix, Christelle Chaudet, Silvano Dal-Zilio, Mamoun Filali, François Vernadat |
Formal Verification of AADL Specifications in the Topcased Environment.  |
Ada-Europe  |
2009 |
DBLP DOI BibTeX RDF |
|
| 2 | Amine Marref, Guillem Bernat |
Predicated Worst-Case Execution-Time Analysis.  |
Ada-Europe  |
2009 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 9090 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|