Search results for "CAL"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
201	Alexandr V. Kostochka, Douglas R. Woodall	Density Conditions for Panchromatic Colourings of Hypergraphs.	Comb.	2001	DBLP DOI BibTeX RDF	AMS Subject Classification (2000) Classes: 05C65, 05C35, 05C15
191	Boris Aronov, Alon Efrat, Dan Halperin, Micha Sharir	On the Number of Regular Vertices of the Union of Jordan Regions.	SWAT	1998	DBLP DOI BibTeX RDF
171	Jee Hea An, Yevgeniy Dodis, Tal Rabin	On the Security of Joint Signature and Encryption.	EUROCRYPT	2002	DBLP DOI BibTeX RDF
171	Alexander A. Razborov	Resolution Lower Bounds for Perfect Matching Principles.	CCC	2002	DBLP DOI BibTeX RDF	Matching Principles, Resolution, Proof Complexity, Pigeonhole principle
161	Norbert Sauer	Another Look at the Erdos-Hajnal-Pósa Results on Partitioning Edges of the Rado Graph.	Comb.	2001	DBLP DOI BibTeX RDF	AMS Subject Classification (2000) Classes: 03E02, 03C10, 05C55
161	Symeon Bozapalidis	Equational Elements in Additive Algebras.	Theory Comput. Syst.	1999	DBLP DOI BibTeX RDF
151	John Havlicek	Computable Obstructions to Wait-Free Computability.	Distributed Comput.	2000	DBLP DOI BibTeX RDF	Decision tasks, Homology, Simplicial complexes, Wait-free computing
151	Béla Bollobás, Andrew Thomason 0001	The Structure of Hereditary Properties and Colourings of Random Graphs.	Comb.	2000	DBLP DOI BibTeX RDF	AMS Subject Classification (1991) Classes: 05C80, 05C15, 05C75
141	Roy Meshulam	The Clique Complex and Hypergraph Matching.	Comb.	2001	DBLP DOI BibTeX RDF	AMS Subject Classification (1991) Classes: 05D05, 05D15, 05E25
141	Venkatavasu Bokka, Koji Nakano, Stephan Olariu, James L. Schwing, Larry Wilson	Optimal Algorithms for the Multiple Query Problem on Reconfigurable Meshes, with Applications.	IEEE Trans. Parallel Distributed Syst.	2001	DBLP DOI BibTeX RDF	pattern recognition, parallel algorithms, image processing, robotics, Query processing, computational geometry, database design, morphology, reconfigurable mesh
121	Sariel Har-Peled, Kasturi R. Varadarajan	High-Dimensional Shape Fitting in Linear Time.	Discret. Comput. Geom.	2004	DBLP DOI BibTeX RDF
110	Farhad Shahrokhi, Ondrej Sýkora, László A. Székely, Imrich Vrto	Intersection of Curves and Crossing Number of Cm x Cn on Surfaces.	Discret. Comput. Geom.	1998	DBLP DOI BibTeX RDF
103	Masahiko Sato 0001	A framework for checking proofs naturally.	J. Intell. Inf. Syst.	2008	DBLP DOI BibTeX RDF	Natural framework, Computation and logic, NF/CAL system
100	Xiaotie Deng, Chan H. Lee, Yunlei Zhao, Hong Zhu 0004	(2+ f(n))-SAT and Its Properties.	COCOON	2002	DBLP DOI BibTeX RDF
100	J. C. Lagarias 0001	Geometric Models for Quasicrystals II. Local Rules Under Isometries.	Discret. Comput. Geom.	1999	DBLP DOI BibTeX RDF
90	Martin N. Huxley, Jovisa D. Zunic	The Number of N-Point Digital Discs.	IEEE Trans. Pattern Anal. Mach. Intell.	2007	DBLP DOI BibTeX RDF	Digital disc, digitization, enumeration, digital geometry
90	Erez Petrank, Gábor Tardos	On the Knowledge Complexity of NP.	Comb.	2002	DBLP DOI BibTeX RDF	AMS Subject Classification (2000) Classes: 68Q15, 68Q17
90	Keqin Li 0001, Yi Pan 0001, Si-Qing Zheng	Fast and Processor Efficient Parallel Matrix Multiplication Algorithms on a Linear Array With a Reconfigurable Pipelined Bus System.	IEEE Trans. Parallel Distributed Syst.	1998	DBLP DOI BibTeX RDF	Compound algorithm, optical pipelined bus, Strassen's algorithm, reconfigurability, matrix multiplication, linear array
90	Charles Zhang 0001, Hans-Arno Jacobsen	Externalizing Java Server Concurrency with CAL.	ECOOP	2008	DBLP DOI BibTeX RDF
90	Jane M. Fritz	An evaluation of presentation methods for CAL (abstract only).	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF
80	Yuri L. Borissov, Moon Ho Lee	Bounds on Key Appearance Equivocation for Substitution Ciphers.	IEEE Trans. Inf. Theory	2007	DBLP DOI BibTeX RDF
80	Daniel Král, Jan Kratochvíl, Heinz-Jürgen Voss	Complexity Note on Mixed Hypergraphs.	MFCS	2001	DBLP DOI BibTeX RDF
80	Bogdan S. Chlebus, Leszek Gasieniec, Anna Östlin, John Michael Robson	Deterministic Radio Broadcasting.	ICALP	2000	DBLP DOI BibTeX RDF	Broadcasting, Distributed, Radio network, Deterministic
80	Jürgen Bokowski, Jean-Pierre Roudneff, T.-K. Strempel	Cell Decompositions of the Projective Plane with Petrie Polygons of Constant Length.	Discret. Comput. Geom.	1997	DBLP DOI BibTeX RDF
72	Julita Vassileva	Dynamic CAL-Courseware Generation Within an ITS-Shell Architecture.	ICCAL	1992	DBLP DOI BibTeX RDF	TOPICS knowledge-based CAL systems, Intelligent Tutoring Systems
70	Markus Püschel, José M. F. Moura	Algebraic Signal Processing Theory: Foundation and 1-D Time.	IEEE Trans. Signal Process.	2008	DBLP DOI BibTeX RDF
70	Ertem Tuncel, Prashant Koulgi, Shankar L. Regunathan, Kenneth Rose	Zero-Error Source Coding with Maximum Distortion Criterion.	DCC	2002	DBLP DOI BibTeX RDF	Zero-error source coding, maximum distortion, JPEG LS, trees, dominating sets, interval graphs
70	Boaz Ben-Moshe, Matthew J. Katz, Joseph S. B. Mitchell	Farthest neighbors and center points in the presence of rectangular obstacles.	SCG	2001	DBLP DOI BibTeX RDF
70	Ján Sefránek	A Kripkean Semantics for Dynamic Logic Programming.	LPAR	2000	DBLP DOI BibTeX RDF	dynamic logic programming, dynamic Kripke structure, updates, nonmonotonic reasoning, stable model, knowledge representation and reasoning, Kripke structure, knowledge evolution
70	Victor Klee, T. Lewis, Balder Von Hohenbalken	Appollonius Revisited: Supporting Spheres for Sundered Systems.	Discret. Comput. Geom.	1997	DBLP DOI BibTeX RDF
70	Tiow Seng Tan	An Optimal Bound for High-Quality Conforming Triangulations.	Discret. Comput. Geom.	1996	DBLP DOI BibTeX RDF
70	Ashish V. Naik, Alan L. Selman	A Note on P-selective sets and on Adaptive versus Nonadaptive Queries to NP.	CCC	1996	DBLP DOI BibTeX RDF	P, p-selective, adaptive reductions, nonadaptive reductions, complexity classes, NP
70	Ghislain Roquier, Matthieu Wipliez, Mickaël Raulet, Jean-François Nezan, Olivier Déforges	Software synthesis of CAL actors for the MPEG reconfigurable Video Coding framework.	ICIP	2008	DBLP DOI BibTeX RDF
62	David Jackson, Michael A. Bell	A Graphical CAL Author Language.	ICCAL	1992	DBLP DOI BibTeX RDF	Computer-Assisted Learning (CAL), author languages
60	Josep Rifà, Faina I. Solov'eva, Mercè Villanueva	On the Intersection of Z2Z4-Additive Perfect Codes.	IEEE Trans. Inf. Theory	2008	DBLP DOI BibTeX RDF
60	Manolis Koubarakis, Spiros Skiadopoulos, Christos Tryfonopoulos	Logic and Computational Complexity for Boolean Information Retrieval.	IEEE Trans. Knowl. Data Eng.	2006	DBLP DOI BibTeX RDF	Boolean information retrieval, computational complexity, query languages, data models, satisfiability, proximity, entailment
60	Jörg-Uwe Kietz	Learnability of Description Logic Programs.	ILP	2002	DBLP DOI BibTeX RDF
60	Marcus Hutter	Self-Optimizing and Pareto-Optimal Policies in General Environments Based on Bayes-Mixtures.	COLT	2002	DBLP DOI BibTeX RDF
60	Richard Mayr	On the Complexity of Bisimulation Problems for Basic Parallel Processes.	ICALP	2000	DBLP DOI BibTeX RDF
60	Jirí Sgall	Bounds on Pairs of Families with Restricted Intersections.	Comb.	1999	DBLP DOI BibTeX RDF	AMS Subject Classification (1991) Classes: 05D05, 68R05
60	Bojana Obrenic, Martin C. Herbordt, Arnold L. Rosenberg, Charles C. Weems	Using Emulations to Enhance the Performance of Parallel Architectures.	IEEE Trans. Parallel Distributed Syst.	1999	DBLP DOI BibTeX RDF	parallel algorithms, Parallel architecture, multiprocessor interconnection
60	David Bremner	Incremental Convex Hull Algorithms Are Not Output Sensitive.	Discret. Comput. Geom.	1999	DBLP DOI BibTeX RDF
60	Tran S. Gieng, Bernd Hamann, Kenneth I. Joy, Gregory L. Schussman, Issac J. Trotts	Constructing Hierarchies for Triangle Meshes.	IEEE Trans. Vis. Comput. Graph.	1998	DBLP DOI BibTeX RDF	multiresolution, Mesh simplification, triangle meshes, shape approximation, level-of-detail representation
50	Wei Dai 0001, Youjian Liu, Brian Rider	Quantization Bounds on Grassmann Manifolds and Applications to MIMO Communications.	IEEE Trans. Inf. Theory	2008	DBLP DOI BibTeX RDF
50	Markus Püschel, José M. F. Moura	Algebraic Signal Processing Theory: 1-D Space.	IEEE Trans. Signal Process.	2008	DBLP DOI BibTeX RDF
50	Mahadevan Gomathisankaran, Akhilesh Tyagi	Architecture Support for 3D Obfuscation.	IEEE Trans. Computers	2006	DBLP DOI BibTeX RDF	secure systems architecture, digital rights management, Obfuscation
50	Paolo Santi	The Critical Transmitting Range for Connectivity in Mobile Ad Hoc Networks.	IEEE Trans. Mob. Comput.	2005	DBLP DOI BibTeX RDF	Critical transmitting range, ad hoc networks, connectivity, mobility modeling, random waypoint model
50	Dror Baron, Yoram Bresler	Antisequential Suffix Sorting for BWT-Based Data Compression.	IEEE Trans. Computers	2005	DBLP DOI BibTeX RDF	suffix sorting, VLSI, data compression, source coding, Burrows Wheeler transform
50	Rachid Guerraoui	Non-blocking atomic commit in asynchronous distributed systems with failure detectors.	Distributed Comput.	2002	DBLP DOI BibTeX RDF	Lower bound, Consensus, Failure detection, Asynchrony, Atomic commit
50	Hartono Kurnio, Reihaneh Safavi-Naini, Huaxiong Wang	A Group Key Distribution Scheme with Decentralised User Join.	SCN	2002	DBLP DOI BibTeX RDF	Key distribution schemes, group key distribution schemes, user join, traceability, secure multicast, user revocation
50	Arfst Nickelsen	Partial Information and Special Case Algorithms.	MFCS	2001	DBLP DOI BibTeX RDF
50	Monika Rauch Henzinger, Valerie King, Tandy J. Warnow	Constructing a Tree from Homeomorphic Subtrees, with Applications to Computational Evolutionary Biology.	Algorithmica	1999	DBLP DOI BibTeX RDF	Evolutionary biology, Theory of databases, Algorithms, Data structures
50	Yoshiyuki Kusakari, Daisuke Masubuchi, Takao Nishizeki	Algorithms for Finding Noncrossing Steiner Forests in Plane Graphs.	ISAAC	1999	DBLP DOI BibTeX RDF
50	Bernd Altmann, Matthias Fitzi, Ueli M. Maurer	Byzantine Agreement Secure against General Adversaries in the Dual Failure Model.	DISC	1999	DBLP DOI BibTeX RDF	active adversary, fail-corruption, Broadcast, Byzantine agreement, unconditional security
50	María José Moure, María Dolores Valdés, Enrique Mandado, Angel Salaverría	Educational Application of Virtual Instruments Based on Reconfigurable Logic.	MSE	1999	DBLP DOI BibTeX RDF
50	Franck Seynhaeve, Sophie Tison, Marc Tommasi	Homomorphisms and Concurrent Term Rewriting.	FCT	1999	DBLP DOI BibTeX RDF
50	Phillip G. Bradford, Vasilis Capoyleas	Weak epsilon-Nets for Points on a Hypersphere.	Discret. Comput. Geom.	1997	DBLP DOI BibTeX RDF
50	Naoki Terai, Takayuki Hibi	Computation of Betti Numbers of Monomial Ideals Associated with Cyclic Polytopes.	Discret. Comput. Geom.	1996	DBLP DOI BibTeX RDF
50	Leslie Lamport	The +CAL Algorithm Language.	FORTE	2006	DBLP DOI BibTeX RDF
50	Ryo Okamoto, Yoneo Yano	Environmental CAL for Conversation Pattern Learning.	ICCAL	1992	DBLP DOI BibTeX RDF
50	Brigitte de la Passardière	A CAL Environment for Hypercard.	ICCAL	1989	DBLP DOI BibTeX RDF
44	Ismael Bouassida Rodriguez, Abdelhak-Djamel Seriai (eds.)	Avancées récentes dans le domaine des Architectures Logicielles : articles sélectionnés et étendus de CAL 2019, Hammamet, Tunisie, 29-30 octobre 2019.	CAL	2021	DBLP BibTeX RDF
44	Ameni Hadrich, Mariam Chaabane, Ismael Bouassida Rodriguez	Gestion de la Dynamicité de l'Architecture Logicielle d'une ?Smart City?	CAL	2019	DBLP BibTeX RDF
44	Rafik Tighilt, Manel Abdellatif, Nader Abu Saad, Naouel Moha, Yann-Gaël Guéhéneuc	Collection and Identification Of Microservices Patterns And Antipatterns.	CAL	2019	DBLP BibTeX RDF
44	Moez Krichen, Afef Jmal Maâlej	Une Approche Formelle pour Combiner les Tests Fonctionnels et les Tests de Charge.	CAL	2019	DBLP BibTeX RDF
44	Ayoub Bouheroum, Zakaria Benzadri, Faiza Belala	Approche basée BRS pour la Spécification et l'Analyse d'une Architecture Sécurisée du Fog Computing.	CAL	2019	DBLP BibTeX RDF
44	Marwa Chaabane 0002, Ismael Bouassida Rodriguez	Adaptation d'une Application de Gestion du Bâtiment Intelligent "Smart Building".	CAL	2019	DBLP BibTeX RDF
44	Matthieu Carré 0002, Ernesto Exposito, Javier Ibañez-Guzmán	Framework for Safety in Autonomous Vehicles.	CAL	2019	DBLP BibTeX RDF
44	Zakaria Benzadri, Abdeldjalil Boultifat, Sami Resslene Zair, Faiza Belala	Architecture de Référence pour le Edge Computing: Application au Système de Contrôle des Risques dans le Transport.	CAL	2019	DBLP BibTeX RDF
44	Afef Jmal Maâlej, Moez Krichen	Une Approche de Test de Charge de Compositions de ServicesWeb.	CAL	2019	DBLP BibTeX RDF
44	Nawel Amokrane, Jannik Laval, Philippe Lanco, Mustapha Derras, Néjib Moala	Data Interoperability Assessment Towards the Resilience of Data Exchange Systems.	CAL	2019	DBLP BibTeX RDF
44	Mohamed Hadj Kacem, Ismael Bouassida Rodriguez, Ernesto Exposito (eds.)	Avancées récentes dans le domaine des Architectures Logicielles : articles sélectionnés et étendus de CAL 2015 et MODA 2015, Hammamet, Tunisie, 13-15 Mai 2015	CAL	2016	DBLP BibTeX RDF
44	Marwa Ayadi, Faîçal Felhi, Jalel Akaichi, Nadia Abchiche-Mimouni	A novel geo-context model for mobile learning and self-adaptability ofWeb services.	CAL	2015	DBLP BibTeX RDF
44	Madalena Pereira da Silva, Mário Antônio Ribeiro Dantas, Alexandre Leopoldo Gonçalves	Autonomic Quality of Experience Management of Software-Defined Networks.	CAL	2015	DBLP BibTeX RDF
44	Majda Elhozmari, Ahmed Ettalbi	Using a software architecture based on a Private Central Proxy Cloud to improve a Health Center System.	CAL	2015	DBLP BibTeX RDF
44	Imen Abdennadher 0001, Mohamed Jmaiel	Une étude de la décision pour l'adaptation autonomique des systèmes.	CAL	2015	DBLP BibTeX RDF
44	Azziz Anghour, Myriam Lamolle, Thinh Dong, Chan Le Duc, Guylain Delmas	Apprentissage de gestes techniques par une architecture multimedia ontologique.	CAL	2015	DBLP BibTeX RDF
44	Emna Mezghani	A Semantic Cloud-based Knowledge Mediator for Smart Clinical Decision Support System.	CAL	2015	DBLP BibTeX RDF
44	Hamida Bouaziz, Samir Chouali, Ahmed Hammad, Hassan Mountassir	Exploitation de la Hiérarchie pour la Vérification de la Compatibilité des Blocs SysML.	CAL	2015	DBLP BibTeX RDF
44	Sahar Kallel, Bastien Tramoni, Chouki Tibermacine, Christophe Dony, Ahmed Hadj Kacem	Processus pour la génération automatique de composants exécutables à partir de contraintes d'architecture.	CAL	2015	DBLP BibTeX RDF
44	Ernesto Exposito, Mohamed Zouari (eds.)	6ème Conférence francophone sur les Architectures Logicielles, CAL 2012, Montpellier, France, 30-21 Mai 2012	CAL	2014	DBLP BibTeX RDF
44	Philippe Aniorté (eds.)	Avancées récentes dans le domaine des Architectures Logicielles : articles sélectionnés et étendus de CAL'2011, Lille, France, 7-8 Juin 2011	CAL	2012	DBLP BibTeX RDF
44	Okba Tibermacine, Chouki Tibermacine, Cherif Foudil	A Practical Approach to the Measurement of Similarity between WSDL-basedWeb Services.	CAL	2012	DBLP BibTeX RDF
44	Elena Leroux, Flávio Oquendo	Test de conformité basé sur l'architecture logicielle.	CAL	2012	DBLP BibTeX RDF
44	Keling Da, Marc Dalmau, Philippe Roose	Kalimucho : Plateforme de supervision d'applications sensibles au contexte.	CAL	2012	DBLP BibTeX RDF
44	Imene Lahyani, Lamia Ben Amor, Ismael Bouassida Rodriguez, Mohamed Jmaiel	Vers une approche d'analyse et de diagnostic pour les architectures M2M autonomes et sensibles au contexte.	CAL	2012	DBLP BibTeX RDF
44	Romain Rouvoy	Apports des architectures logicielles pour l'Internet des objets.	CAL	2012	DBLP BibTeX RDF
44	Abderrahim Ait Wakrime, Sébastien Limet, Sophie Robert 0001	Réseaux FIFO Colorés Stricts pour la formalisation des applications de visualisation scientifique interactives.	CAL	2012	DBLP BibTeX RDF
44	Goulven Guillou, Jean-Philippe Babau	IMOCA : une architecture à base de modes de fonctionnement pour les systèmes de contrôle de processus.	CAL	2012	DBLP BibTeX RDF
44	Faten Khemakhem, Riadh Ben Halima, Ahmed Hadj Kacem	Vers une architecture d'auto-réparation sur le Cloud Computing.	CAL	2012	DBLP BibTeX RDF
44	Imed Abbassi, Mohamed Graiet, Eric Cariou, Zied Jaoua	Patrons transactionnels dynamiques pour des services composés fiables et flexibles.	CAL	2012	DBLP BibTeX RDF
44	Myriam Lamolle, Chan Le Duc, Ludovic Menet	Conception de profils UML pour la Gestion de Données de Référence.	CAL	2012	DBLP BibTeX RDF
44	Karine Mordal	Squash, un modèle d'évaluation de la qualité des systèmes d'informations.	CAL	2012	DBLP BibTeX RDF
44	Sébastien Limet, Sophie Robert 0001, Ahmed Turki	Construction automatique d'applications de visualisation scientifique interactive fortement cohérentes.	CAL	2011	DBLP BibTeX RDF
44	Mustapha Hain, Abdelaziz Marzak 0001, Bernard Coulette, Mahmoud Nassar	Vers une démarche pour le développement de modèles à base de Composants Multivue.	CAL	2011	DBLP BibTeX RDF
44	Victor Noël, Jean-Paul Arcangeli, Marie-Pierre Gleizes	Une approche architecturale à base de composants pour l'implémentation des Systèmes Multi-Agents.	CAL	2011	DBLP BibTeX RDF
44	Mourad Kmimech, Mohamed Tahar Bhiri, Mohamed Graiet, Philippe Aniorté	Vérification des propriétés structurelles et non fonctionnelles d'assemblages de composants UML2.0.	CAL	2011	DBLP BibTeX RDF
44	Mariam Lahami, Moez Krichen, Mohamed Jmaiel	A Distributed Test Architecture for Adaptable and Distributed Real-Time Systems.	CAL	2011	DBLP BibTeX RDF
44	Khalil Drira (eds.)	4e Conférence francophone sur les Architectures Logicielles, CAL 2010, Pau, France, 9-11 mars 2010	CAL	2010	DBLP BibTeX RDF
44	Xu Zhang, Chung-Horng Lung, Greg Franks	Towards Architecture-based Autonomic Software Performance Engineering.	CAL	2010	DBLP BibTeX RDF