Search results for "automatic tools"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Sergey Tverdyshev	Combination of Isabelle/HOL with Automatic Tools.	FroCos	2005	DBLP DOI BibTeX RDF
2	Giorgio Brajnik	Using Automatic Tools in Accessibility and Usability Assurance Processes.	User Interfaces for All	2004	DBLP DOI BibTeX RDF
2	Ken Hines, Gaetano Borriello	Optimizing communication in embedded system co-simulation.	CODES	1997	DBLP DOI BibTeX RDF	Pia hardware-software co-simulator, communication routines, communication transaction annotations, embedded system co-simulation, platform independent language, system components, annotations, optimisation, speedups, communication optimization, communication channels, automatic tools
2	P. Wauters, Marc Engels, Rudy Lauwereins, J. A. Peperstraete	Cyclo-Dynamic Dataflow.	PDP	1996	DBLP DOI BibTeX RDF	cyclo dynamic data flow, CDDF, data flow model, real time digital signal processing, cyclo static dataflow, data dependent control flow, data flow languages, Boolean data flow model, scheduling, real-time systems, semantics, signal processing, parallel languages, data flow computing, automatic tools
2	Maria Letizia Jaccheri, Reidar Conradi	Techniques for Process Model Evolution in EPOS.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	software process evolution, EPOS PM system, meta-classes, model entities, underlying software engineering database, EPOSDB, uniform versioning, nested cooperating transactions, reflective object-oriented process specification language, model creation, PM automatic tools, execution manager, PM manager, process schema, process support environment, object-oriented programming, programming environments, object-oriented databases, specification languages, object-oriented languages, configuration management, schema, process model evolution, SPELL, planner
1	Simon Meier, Cas J. F. Cremers, David A. Basin	Strong Invariants for the Efficient Construction of Machine-Checked Protocol Security Proofs.	CSF	2010	DBLP DOI BibTeX RDF	formal methods, theorem proving, security protocols, automatic tools
1	María José Ibáñez, Gabriela Vulcu, Joaquin Ezpeleta, Sami Bhiri	Semantically enabled business process discovery.	SAC	2010	DBLP DOI BibTeX RDF	business process discovery, computing properties automatically, RDF, SPARQL
1	Nadia Polikarpova, Ilinca Ciupa, Bertrand Meyer	A comparative study of programmer-written and automatically inferred contracts.	ISSTA	2009	DBLP DOI BibTeX RDF	dynamic contract inference, eiffel
1	Mardé Greeff, Paula Kotzé	A lightweight methodology to improve web accessibility.	SAICSIT Conf.	2009	DBLP DOI BibTeX RDF	automatic accessibility evaluation, usability evaluation, disabilities
1	Amaia Aizpurua, Myriam Arrue, Markel Vigo, Julio Abascal	Transition of accessibility evaluation tools to new standards.	W4A	2009	DBLP DOI BibTeX RDF	web accessibility, guidelines, automatic evaluation
1	Amaia Aizpurua, Myriam Arrue, Markel Vigo, Julio Abascal	Exploring Automatic CSS Accessibility Evaluation.	ICWE	2009	DBLP DOI BibTeX RDF
1	Juan Monroy, Francisco Bellas, Richard J. Duro, Rubén López, Antonio Puentes, Jacques Isaac	Automatic Speech-Lip Synchronization System for 3D Animation.	KES	2009	DBLP DOI BibTeX RDF	knowledge-based system, speech recognition, 3D animation, process automation, lip synchronization
1	Sylvie Boldo, Jean-Christophe Filliâtre, Guillaume Melquiond	Combining Coq and Gappa for Certifying Floating-Point Programs.	Calculemus/MKM	2009	DBLP DOI BibTeX RDF
1	René Thiemann, Christian Sternagel	Certification of Termination Proofs Using CeTA.	TPHOLs	2009	DBLP DOI BibTeX RDF
1	Steven R. Ness, Matthew Wright, Luis Gustavo Martins, George Tzanetakis	Chants and Orcas: semi-automatic tools for audio annotation and analysis in niche domains.	MS	2008	DBLP DOI BibTeX RDF	audio feature extraction, multimedia analysis, semi-automatic annotation, machine learning, multimedia annotation
1	Kenneth Ellingsen	Salient event-detection in video surveillance scenarios.	AREA	2008	DBLP DOI BibTeX RDF	drop, salient, tracking, video, analysis, event, object, detection, surveillance, feature, extraction
1	Manel Sghaier, Sadok Ben Yahia, Anne Laurent, Maguelonne Teisseire	FFTM: optimized frequent tree mining with soft embedding constraints on siblings.	CSTST	2008	DBLP DOI BibTeX RDF	fuzzy data mining, soft embedding fuzzy constraints, data mining, XML, knowledge discovery in databases (KDD), tree mining
1	Katalin Popovici, Xavier Guerin, Frédéric Rousseau, Pier Stanislao Paolucci, Ahmed Amine Jerraya	Platform-based software design flow for heterogeneous MPSoC.	ACM Trans. Embedded Comput. Syst.	2008	DBLP DOI BibTeX RDF	multimedia, programming environment, software design, SystemC, Simulink, transaction level modeling, Multiprocessor system-on chip
1	Marco Domenico Aime, Andrea S. Atzeni, Paolo Carlo Pomi	Learning to Enhance Dependability of Information Systems.	SASO	2008	DBLP DOI BibTeX RDF
1	Mirco Speretta, Susan Gauch	Using Text Mining to Enrich the Vocabulary of Domain Ontologies.	Web Intelligence	2008	DBLP DOI BibTeX RDF
1	Richard Oehler	The GSRC: Bridging Academia and Industry.	IEEE Design & Test of Computers	2008	DBLP DOI BibTeX RDF
1	Jon Atle Gulla, Terje Brasethvik, Gøran Sveia Kvarv	Association Rules and Cosine Similarities in Ontology Relationship Learning.	ICEIS	2008	DBLP DOI BibTeX RDF
1	Luís Figueira, Luís C. Oliveira	Comparison of Phonetic Segmentation Tools for European Portuguese.	PROPOR	2008	DBLP DOI BibTeX RDF	Automatic Phonetic Segmentation, Hidden Markov Models, Speech Synthesis, Dynamic Time Warping
1	Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano	Experimental Comparison of Automatic Tools for the Formal Analysis of Cryptographic Protocols.	DepCoS-RELCOMEX	2007	DBLP DOI BibTeX RDF
1	Yonglei Tao	Capturing User Interface Events with Aspects.	HCI	2007	DBLP DOI BibTeX RDF	Aspect-Oriented Programming, Usability Evaluation, Automatic Tools
1	Nadia Nadah, Mélanie Dulong de Rosnay, Bruno Bachimont	Licensing digital content with a generic ontology: escaping from the jungle of rights expression languages.	ICAIL	2007	DBLP DOI BibTeX RDF	digital right management systems, semantic interoperability, license, legal ontologies, rights expression languages
1	Milind Kulkarni, Keshav Pingali, Bruce Walter, Ganesh Ramanarayanan, Kavita Bala, L. Paul Chew	Optimistic parallelism requires abstractions.	PLDI	2007	DBLP DOI BibTeX RDF	abstractions, optimistic parallelism, irregular programs
1	Alessandro Fantechi, Stefania Gnesi	A behavioural model for product families.	ESEC/SIGSOFT FSE (Companion)	2007	DBLP DOI BibTeX RDF	software families, product lines, modal transition systems
1	Alessandro Fantechi, Stefania Gnesi	A behavioural model for product families.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	software families, product lines, modal transition systems
1	Michael R. M. Jenkin, Andrew Hogue, Andrew German, Sunbir Gill, Anna Topol, Stephanie Wilson	Underwater surface recovery and segmentation.	IEEE ICCI	2007	DBLP DOI BibTeX RDF
1	Marco Danelutto, Marco Vanneschi, Corrado Zoccolo, Domenico Laforenza, Nicola Tonellotto	A Performance Model for Stream-based Computations.	PDP	2007	DBLP DOI BibTeX RDF
1	Maria Aparecida M. Souto, Mariusa Warpechowski, José Palazzo M. de Oliveira	An Ontological Approach for the Quality Assessment of Computer Science Conferences.	ER Workshops	2007	DBLP DOI BibTeX RDF
1	Mercedes Argüello Casteleiro, Mukhtar Abusa, Maria Jesus Fernandez Prieto, Veronica Brookes, Fonbeyin Henry Abanda	A Web Services-Based Annotation Application for Semantic Annotation of Highly Specialised Documents About the Field of Marketing.	OTM Conferences	2007	DBLP DOI BibTeX RDF	Text Categorisation, Ontologies, XML, Semantic Web, OWL, Semantic Web Services, Semantic annotation, OWL-S
1	Mahmut T. Kandemir, Guangyu Chen, Feihui Li	Maximizing data reuse for minimizing memory space requirements and execution cycles.	ASP-DAC	2006	DBLP DOI BibTeX RDF
1	Alberto Messina, Laurent Boch, Giorgio Dimino, Werner Bailer, Peter Schallauer, W. Allasia, M. Groppo, M. Vigilante, Roberto Basili	Creating Rich Metadata in the TV Broadcast Archives Environment: The PrestoSpace Project.	AXMEDIS	2006	DBLP DOI BibTeX RDF
1	Patricia López Martínez, Julio L. Medina, José M. Drake	Real-Time Modelling of Distributed Component-Based Applications.	EUROMICRO-SEAA	2006	DBLP DOI BibTeX RDF
1	Jiang Yun, Zhanhuai Li, Wang Yong, Longbo Zhang	A Better Classifier Based on Rough Set and Neural Network for Medical Images.	ICDM Workshops	2006	DBLP DOI BibTeX RDF
1	Gianluigi Greco, Giovambattista Ianni, Vincenzino Lio, Luigi Palopoli	Protection Techniques from Information Extraction.	Web Intelligence	2006	DBLP DOI BibTeX RDF
1	Byron Marshall, Hua Su, Daniel McDonald, Shauna Eggers, Hsinchun Chen	Aggregating Automatically Extracted Regulatory Pathway Relations.	IEEE Transactions on Information Technology in Biomedicine	2006	DBLP DOI BibTeX RDF
1	Yuan-man Tong, Zhiying Wang, Kui Dai, Hongyi Lu	Designing Power Analysis Resistant and High Performance Block Cipher Coprocessor Using WDDL and Wave-Pipelining.	Inscrypt	2006	DBLP DOI BibTeX RDF	WDDL, power analysis resistant, block cipher, design flow, Wave-pipelining
1	Véronique Cortier, Michaël Rusinowitch, Eugen Zalinescu	Relating Two Standard Notions of Secrecy.	CSL	2006	DBLP DOI BibTeX RDF
1	Dominik Raub, Rainer Steinwandt	An Algebra for Enterprise Privacy Policies Closed Under Composition and Conjunction.	ETRICS	2006	DBLP DOI BibTeX RDF
1	Itheri Yahiaoui, Nicolas Hervé, Nozha Boujemaa	Shape-Based Image Retrieval in Botanical Collections.	PCM	2006	DBLP DOI BibTeX RDF	region-of-interest based visual query, botanical image processing, image segmentation, Content-based image retrieval, shape descriptor, contour extraction
1	Moshe Koppel, Jonathan Schler, Kfir Zigdon	Determining an author's native language by mining a text for errors.	KDD	2005	DBLP DOI BibTeX RDF	author profiling, text mining
1	Bengt Carlsson, Dejan Baca	Software Security Analysis - Execution Phase Audit.	EUROMICRO-SEAA	2005	DBLP DOI BibTeX RDF
1	Jiang Yun, Zhanhuai Li, Wang Yong, Longbo Zhang	Joining Associative Classifier for Medical Images.	HIS	2005	DBLP DOI BibTeX RDF
1	Marco Mattavelli, Massimo Ravasi	High Level Extraction of SoC Architectural Information from Generic C Algorithmic Descriptions.	IWSOC	2005	DBLP DOI BibTeX RDF
1	Abner Correa Barros, Pericles Lima, Juliana Xavier, Manoel Eusebio de Lima	Teaching SoC Design in a Project-Oriented Course Based on Robotics.	MSE	2005	DBLP DOI BibTeX RDF
1	Massimo Ravasi, Marco Mattavelli	High-Abstraction Level Complexity Analysis and Memory Architecture Simulations of Multimedia Algorithms.	IEEE Trans. Circuits Syst. Video Techn.	2005	DBLP DOI BibTeX RDF
1	Aurélie Névéol, Vincent Mary, Arnaud Gaudinat, Célia Boyer, Alexandrina Rogozan, Stéfan Jacques Darmoni	A Benchmark Evaluation of the French MeSH Indexers.	AIME	2005	DBLP DOI BibTeX RDF
1	Steve Kremer, Mark Ryan	Analysis of an Electronic Voting Protocol in the Applied Pi Calculus.	ESOP	2005	DBLP DOI BibTeX RDF
1	Paresh S. Patel, David L. Marcum, Michael G. Remotigue	Stitching and Filling: Creating Conformal Faceted Geometry.	IMR	2005	DBLP DOI BibTeX RDF
1	Matthias Daum, Stefan Maus, Norbert Schirmer, Mohamed Nassim Seghir	Integration of a Software Model Checker into Isabelle.	LPAR	2005	DBLP DOI BibTeX RDF
1	Vincent Luboz, Xunlei Wu, Karl Krissian, Carl-Fredrik Westin, Ron Kikinis, Stephane Cotin, Steven Dawson	A Segmentation and Reconstruction Technique for 3D Vascular Structures.	MICCAI	2005	DBLP DOI BibTeX RDF
1	Giorgio Giacinto, Roberto Perdisci, Fabio Roli	Alarm Clustering for Intrusion Detection Systems in Computer Networks.	MLDM	2005	DBLP DOI BibTeX RDF	Clustering, Intrusion detection, Computer Security
1	Anupriya Ankolekar, Massimo Paolucci, Katia P. Sycara	Towards a Formal Verification of OWL-S Process Models.	International Semantic Web Conference	2005	DBLP DOI BibTeX RDF
1	Mingxia Gao, Chunnian Liu, Furong Chen	Clustering OWL Documents Based on Semantic Analysis.	WAIM	2005	DBLP DOI BibTeX RDF
1	Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon	Verifying policy-based security for web services.	ACM Conference on Computer and Communications Security	2004	DBLP DOI BibTeX RDF	web services, pi calculus, XML security
1	Tobias Lindahl, Konstantinos F. Sagonas	Detecting Software Defects in Telecom Applications Through Lightweight Static Analysis: A War Story.	APLAS	2004	DBLP DOI BibTeX RDF	Compile-time program checking, software development, software tools, defect detection, software quality assurance
1	Sandip Ray, J. Strother Moore	Proof Styles in Operational Semantics.	FMCAD	2004	DBLP DOI BibTeX RDF
1	José San Pedro, Nicolas Denis, Sergio Domínguez	On the Automatic Creation of Customized Video Content.	ICIAR	2004	DBLP DOI BibTeX RDF
1	Oriana Licchelli, Teresa Maria Altomare Basile, Nicola Di Mauro, Floriana Esposito, Giovanni Semeraro, Stefano Ferilli	Machine Learning Approaches for Inducing Student Models.	IEA/AIE	2004	DBLP DOI BibTeX RDF
1	Beatriz A. Flores, Jesus A. Gonzalez	Data Mining with Decision Trees and Neural Networks for Calcification Detection in Mammograms.	MICAI	2004	DBLP DOI BibTeX RDF
1	Alessandro Fantechi, Stefania Gnesi, Giuseppe Lami, E. Nesti	A Methodology for the Derivation and Verification of Use Cases for Product Lines.	SPLC	2004	DBLP DOI BibTeX RDF
1	Agostino Dovier, Carla Piazza, Enrico Pontelli	Disunification in ACI1 Theories.	Constraints	2004	DBLP DOI BibTeX RDF	disunification, ACI, complexity, sets, equational theories, CLP
1	Giorgio Brajnik	Comparing accessibility evaluation tools: a method for tool effectiveness.	Universal Access in the Information Society	2004	DBLP DOI BibTeX RDF	Accessibility assessments, Automated evaluations, Accessibility evaluation tools, Tools effectiveness, Web accessibility
1	Luigi Palopoli, Domenico Saccà, Giorgio Terracina, Domenico Ursino	Uniform Techniques for Deriving Similarities of Objects and Subschemes in Heterogeneous Databases.	IEEE Trans. Knowl. Data Eng.	2003	DBLP DOI BibTeX RDF	Synonymies, homonymies, type conflicts, subscheme similarities, derivation of database semantics, database interoperability, heterogeneous databases
1	Cédric Roux, Emmanuelle Encrenaz	CTL May Be Ambiguous When Model Checking Moore Machines.	CHARME	2003	DBLP DOI BibTeX RDF
1	Pu-Jen Cheng, Lee-Feng Chien	Effective Image Annotation for Search Using Multi-level Semantics.	ICADL	2003	DBLP DOI BibTeX RDF
1	Massimo Ravasi, Marco Mattavelli, Paul R. Schumacher, Robert D. Turney	High-Level Algorithmic Complexity Analysis for the Implementation of a Motion-JPEG2000 Encoder.	PATMOS	2003	DBLP DOI BibTeX RDF
1	Alessandro Fantechi, Stefania Gnesi, Giuseppe Lami, Alessandro Maccari	Applications of linguistic techniques for use case analysis.	Requir. Eng.	2003	DBLP DOI BibTeX RDF	Quality evaluation of requirements, Natural language processing, Requirements engineering, Use cases
1	Aloys Mbala, Christophe Reffay, Thierry Chanier	Integration of Automatic Tools for Displaying Interaction Data in Computer Environments for Distance Learning.	Intelligent Tutoring Systems	2002	DBLP DOI BibTeX RDF
1	Giulio Mori, Fabio Paternò, Carmen Santoro	CTTE: Support for Developing and Analyzing Task Models for Interactive System Design.	IEEE Trans. Software Eng.	2002	DBLP DOI BibTeX RDF	models for interactive software systems, automatic tools for human-computer interaction, user interfaces, Task models
1	Jan Friso Groote, Bert Lisser	Computer assisted manipulation of algebraic process specifications.	SIGPLAN Notices	2002	DBLP DOI BibTeX RDF	linear process equations, distributed systems, model checking, verification, automated reasoning
1	Delong Shang, Fei Xia, Alexandre Yakovlev	Asynchronous circuit synthesis via direct translation.	ISCAS	2002	DBLP DOI BibTeX RDF
1	José R. Sendra, Javier del Pino, Antonio Hernández, Javier Hernández, Jaime Aguilera, Andrés Garcia-Alonso, Antonio Nunez	Integrated Inductors Modeling and Tools for Automatic Selection and Layout Generation. (PDF / PS)	ISQED	2002	DBLP DOI BibTeX RDF	parasitic effects, Eddy currents, magnetic flux, models, Integrated, inductance, resistance, spiral
1	Huiqun Yu, Xudong He, Shu Gao, Yi Deng	Modeling and Analyzing SMIL Documents in SAM.	ISMSE	2002	DBLP DOI BibTeX RDF	model, multimedia, real-time, Formal method, analysis, SMIL, SAM
1	Antonio Blotti, Maurizio Castellucci, Roberto Saletti	Designing Carry Look-Ahead Adders with an Adiabatic Logic Standard-Cell Library.	PATMOS	2002	DBLP DOI BibTeX RDF
1	Charles Hymans	Checking Safety Properties of Behavioral VHDL Descriptions by Abstract Interpretation.	SAS	2002	DBLP DOI BibTeX RDF
1	Sami Jokela, Marko Turpeinen, Teppo Kurki, Eerika Savia, Reijo Sulonen	The Role of Structured Content in a Personalized News Service. (PDF / PS)	HICSS	2001	DBLP DOI BibTeX RDF
1	Jeroen Vendrig, Marcel Worring, Arnold W. M. Smeulders	Model Based Interactive Story Unit Segmentation.	ICME	2001	DBLP DOI BibTeX RDF
1	Yannick Chevalier, Laurent Vigneron	A Tool for Lazy Verification of Security Protocols.	ASE	2001	DBLP DOI BibTeX RDF
1	Magdy S. Abadir, Juhong Zhu, Li-C. Wang	Analysis of Testing Methodologies for Custom Designs in PowerPCTM Microprocessor.	VTS	2001	DBLP DOI BibTeX RDF
1	Rodolfo Delmonte	SLIM prosodic automatic tools for self-learning instruction.	Speech Communication	2000	DBLP DOI BibTeX RDF
1	Tim Menzies	WISE3: the Third International Workshop on Intelligent Software Engineering (workshop session).	ICSE	2000	DBLP DOI BibTeX RDF
1	Adilson Luiz Bonifácio, Arnaldo Vieira Moura, João Batista Camargo Jr., Jorge Rady de Almeida Jr.	Formal Parameters Synthesis for Track Segments of a Subway Mesh.	ECBS	2000	DBLP DOI BibTeX RDF	subway, real-time, synthesis, automata, hybrid
1	Kurt D. Bollacker, Steve Lawrence, C. Lee Giles	Discovering Relevant Scientific Literature on the Web. (PDF / PS)	IEEE Intelligent Systems	2000	DBLP DOI BibTeX RDF	citation index, digital library, user profile, information filtering
1	Thomas H. Kolbe, Lutz Plümer, Armin B. Cremers	Identifying Buildings in Aerial Images Using Constraint Relaxation and Variable Elimination. (PDF / PS)	IEEE Intelligent Systems	2000	DBLP DOI BibTeX RDF	building extraction, variable elimination, object recognition, constraint logic programming, geometric constraints, constraint relaxation, inexact graph matching
1	Adilson Luiz Bonifácio, Arnaldo Vieira Moura	Modeling and Parameters Synthesis for an Air Traffic Management System.	FMCAD	2000	DBLP DOI BibTeX RDF
1	Li-C. Wang, Magdy S. Abadir	On Efficiently Producing Quality Tests for Custom Circuits in PowerPCTM Microprocessors.	J. Electronic Testing	2000	DBLP DOI BibTeX RDF	custom circuits, high level circuit extraction, ATPG, DFT, time-to-market
1	Oskar Mencer, Luc Séméria, Martin Morf, Jean-Marc Delosme	Application of Reconfigurable CORDIC Architectures.	VLSI Signal Processing	2000	DBLP DOI BibTeX RDF
1	Trishul M. Chilimbi, Mark D. Hill, James R. Larus	Cache-Conscious Structure Layout.	PLDI	1999	DBLP DOI BibTeX RDF	cache-conscious allocation, cache-conscious data placement, cache-conscious reorganization, clustering, coloring
1	William Currie Colket	Code analysis of saftey-critical and real-time software using ASIS.	SIGAda	1999	DBLP DOI BibTeX RDF	real-time, tasking, safety-critical, code analysis, ASIS, high integrity, Ada language, Ravenscar profile
1	Luigi Palopoli, Domenico Saccà, Giorgio Terracina, Domenico Ursino	A Unified Graph-Based Framework for Deriving Nominal Interscheme Properties, Type Conflicts and Object Cluster Similarities. (PDF / PS)	CoopIS	1999	DBLP DOI BibTeX RDF	Interscheme property extraction, object similarity metrics, graph-based techniques, similarities between subschemes
1	Jorge Santos, Carlos Ramos, Zita A. Vale, Albino Marques	VERITAS - An Application for Knowledge Verification. (PDF / PS)	ICTAI	1999	DBLP DOI BibTeX RDF
1	Alberto L. Sangiovanni-Vincentelli, Marco Re, Luciano Lavagno, Gian-Carlo Cardarilli, Roberto Lojacono	Analysis of the quantization noise effects on the SQNR behaviour in analog to digital conversion.	ISCAS	1999	DBLP DOI BibTeX RDF
1	Philippe Baufreton	SACRES: A Step Ahead in the Development of Critical Avoinics Applications (Abstract).	HSCC	1999	DBLP DOI BibTeX RDF
1	Uma G. Gupta	Automatic Tools for Testing Expert Systems.	Commun. ACM	1998	DBLP BibTeX RDF
1	Jean-Marc DeBaud, Mehdi Jazayeri	Session 3: Architecture Recovery.	ESPRIT ARES Workshop	1998	DBLP DOI BibTeX RDF
1	Vincenzo Ambriola, Vincenzo Gervasi	The Case for Cooperative Requirement Writing.	ECOOP Workshops	1998	DBLP DOI BibTeX RDF