Search results for "CAS"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
103	Christian R. Huyck	Cell Assemblies as an Intermediate Level Model of Cognition.	Emergent Neural Computational Architectures Based on Neuroscience	2001	DBLP DOI BibTeX RDF
86	Alina E. Lascu, Alexandru V. Georgescu	From Extensity to Protensity in CAS: Adding Sounds to Icons.	COST 2102 School (Vietri)	2008	DBLP DOI BibTeX RDF	Computer-Aided Semiosis (CAS), Anthropocentric trans-cultural interface (ATCI), Protensity, Virtual Disc Jockey (VDJ)
82	Partho Nath, Bhuvan Urgaonkar, Anand Sivasubramaniam	Evaluating the usefulness of content addressable storage for high-performance data intensive applications.	HPDC	2008	DBLP DOI BibTeX RDF	caching, compression, content addressable storage
82	Bill Andreopoulos, Aijun An, Xiaogang Wang 0007	Clustering mixed numerical and low quality categorical data: significance metrics on a yeast example.	IQIS	2005	DBLP DOI BibTeX RDF
82	Xiping Liu, Changxuan Wan, Lei Chen 0002	Effective XML content and structure retrieval with relevance ranking.	CIKM	2009	DBLP DOI BibTeX RDF	content and structure (CAS) query, XML, retrieval, score
67	Wen Gao 0001, Bo Cao, Shiguang Shan, Xilin Chen 0001, Delong Zhou, Xiaohua Zhang, Debin Zhao	The CAS-PEAL Large-Scale Chinese Face Database and Baseline Evaluations.	IEEE Trans. Syst. Man Cybern. Part A	2008	DBLP DOI BibTeX RDF
67	Hagit Attiya, Danny Hendler	Time and Space Lower Bounds for Implementations Using k-CAS.	DISC	2005	DBLP DOI BibTeX RDF
67	N. P. Manoj, K. V. Manjunath, R. Govindarajan	CAS-DSM: A Compiler Assisted Software Distributed Shared Memory.	Int. J. Parallel Program.	2004	DBLP DOI BibTeX RDF	Coherent Virtual Machine (CVM), Stanford University Intermediate Form (SUIF), performance evaluation, software distributed shared memory
67	Eleonora Bilotta, Pietro S. Pantano	Observations on Complex Multi-state CAs.	ECAL	2001	DBLP DOI BibTeX RDF
66	Anil L. Pereira, Vineela Muppavarapu, Soon M. Chung	Managing Role-Based Access Control Policies for Grid Databases in OGSA-DAI Using CAS.	J. Grid Comput.	2007	DBLP DOI BibTeX RDF	Open Grid Services Architecture - Data Access and Integration (OGSA-DAI), Grid databases, Community Authorization Service (CAS), role-based access control (RBAC), virtual organization (VO)
66	Masayoshi Sekiguchi, Masataka Kaneko, Yuuki Tadokoro, Satoshi Yamashita, Setsuo Takato	A New Application of CAS to LaTeX Plottings.	International Conference on Computational Science (2)	2007	DBLP DOI BibTeX RDF	CAS -
62	Shigeyoshi Tsutsui, Lichi Liu	Solving quadratic assignment problems with the cunning ant system.	IEEE Congress on Evolutionary Computation	2007	DBLP DOI BibTeX RDF
62	Wei Sun, Kang G. Shin	Coordinated aggregate scheduling for improving end-to-end delay performance.	IWQoS	2004	DBLP DOI BibTeX RDF
62	Pawel Siwak	Filtrons of Automata.	UMC	2002	DBLP DOI BibTeX RDF
62	John R. Clymer	Simulation-based engineering of complex systems: simulation-based engineering of complex systems using EXTEND+MFG+OpeMCSS.	WSC	2002	DBLP DOI BibTeX RDF
62	Hideo Fujiwara, Tomoo Inoue	Optimal Granularity and Scheme of Parallel Test Generation in a Distributed System.	IEEE Trans. Parallel Distributed Syst.	1995	DBLP DOI BibTeX RDF	distributed systems, parallel processing, test generation, Combinational circuits, fault simulation, granularity, client-server model
56	Andrea Bunt, Michael A. Terry, Edward Lank	Friend or foe?: examining CAS use in mathematics research.	CHI	2009	DBLP DOI BibTeX RDF	mathematical problem solving, computer algebra systems
56	Sang M. Park, Soon Myoung Chung	Enhanced CAS Certificate for Metadata-Based Access Control in Grids.	ICTAI (2)	2008	DBLP DOI BibTeX RDF
56	Prasad Jayanti	A Complete and Constant Time Wait-Free Implementation of CAS from LL/SC and Vice Versa.	DISC	1998	DBLP DOI BibTeX RDF
56	Panagiota Fatourou, Nikolaos D. Kallimanis	Time-optimal, space-efficient single-scanner snapshots & multi-scanner snapshots using CAS.	PODC	2007	DBLP DOI BibTeX RDF	linearizable objects, single-scanner, wait-free implementations, distributed algorithms, asynchronous, snapshots, compare-and-swap (CAS)
55	Hagit Attiya, Danny Hendler	Time and Space Lower Bounds for Implementations Using k-CAS.	IEEE Trans. Parallel Distributed Syst.	2010	DBLP DOI BibTeX RDF	Compare&swap (CAS), k-compare&swap (k-CAS), conditional synchronization primitives, queue, collect, stack, counter, round complexity
52	Raffaella Folgieri, Ludovico Dei Cas, Dario Dei Cas, Maria E. Vanutelli, Claudio Lucchiari	The Creative Mind - DRACLE.	EVA	2017	DBLP DOI BibTeX RDF
51	Shigeyoshi Tsutsui	Cunning Ant System for Quadratic Assignment Problem with Local Search and Parallelization.	PReMI	2007	DBLP DOI BibTeX RDF
51	Yusuke Iwase, Reiji Suzuki, Takaya Arita	Evolutionary search for cellular automata that exhibit self-organizing properties induced by external perturbations.	IEEE Congress on Evolutionary Computation	2007	DBLP DOI BibTeX RDF
51	Hisashi Naito, Shoji Kajita, Yasushi Hirano, Kenji Mase	Multiple-Tiered Security Hierarchy for Web Applications Using Central Authentication and Authorization Service.	SAINT Workshops	2007	DBLP DOI BibTeX RDF
51	Jinyoung Moon, Jongyoul Park, Eui Hyun Paik	JavaCard-based Two-Level User Key Management for IP Conditional Access Systems.	ICON	2007	DBLP DOI BibTeX RDF
51	Ali Fuat Alkaya, Haluk Rahmi Topcuoglu	A task scheduling algorithm for arbitrarily-connected processors with awareness of link contention.	Clust. Comput.	2006	DBLP DOI BibTeX RDF	Heterogeneous systems, Task graphs, DAG scheduling, Link contention
51	Han-Seung Koo, O-Hyung Kwon, Sung-Woong Ra	An Active Entitlement Key Management for Conditional Access System on Digital TV Broadcasting Network.	NOMS	2006	DBLP DOI BibTeX RDF
51	Yu-Ying Li, Lixiang Li 0001, Qiao-Yan Wen, Yixian Yang	Data Fitting Via Chaotic Ant Swarm.	ICNC (2)	2006	DBLP DOI BibTeX RDF
51	Kyo Chul Kang, Jaejoon Lee, Byungkil Kim, Moonzoo Kim, Chang-woo Seo, Seung-lyeol Yu	Re-engineering a Credit Card Authorization System for Maintainability and Reusability of Components - A Case Study.	ICSR	2006	DBLP DOI BibTeX RDF
51	Han-Seung Koo, Il-Kyoo Lee, Jae-Myung Kim, Sung-Woong Ra	A Novel Rekey Management Scheme in Digital Broadcasting Network.	APNOMS	2006	DBLP DOI BibTeX RDF	Conditional Access System, Digital TV Broadcasting System, Key Management
51	Vasileios Vitsas, Anthony C. Boucouvalas	Performance Analysis of the Advanced Infrared (AIr) CSMA/CA MAC Protocol for Wireless LANs.	Wirel. Networks	2003	DBLP DOI BibTeX RDF	IrDA, optical wireless, performance evaluation, wireless LANs, CSMA/CA
51	Prasad Jayanti, Srdjan Petrovic	Efficient and practical constructions of LL/SC variables.	PODC	2003	DBLP DOI BibTeX RDF
51	Anna Swiecicka, Franciszek Seredynski	Applying Cellular Automata in Multiprocessor Scheduling.	PARELEC	2002	DBLP DOI BibTeX RDF
51	Stephen T. Kent	Rethinking PKI: What's Trust Got to Do with It?	EUROCRYPT	2002	DBLP DOI BibTeX RDF
46	Robert M. Corless, Dawit Assefa	Jeffery-hamel flow with maple: : a case study of integration of elliptic functions in a cas.	ISSAC	2007	DBLP DOI BibTeX RDF	elliptic functions, integration
46	Shigeyoshi Tsutsui	cAS: Ant Colony Optimization with Cunning Ants.	PPSN	2006	DBLP DOI BibTeX RDF
46	Mounir Benabdenbi, Walid Maroufi, Meryem Marzouki	CAS-BUS: A Test Access Mechanism and a Toolbox Environment for Core-Based System Chip Testing.	J. Electron. Test.	2002	DBLP DOI BibTeX RDF	SoC test control, TAPed cores, P1500 wrappers, test access mechanism, I/O bandwidth
46	Mounir Benabdenbi, Walid Maroufi, Meryem Marzouki	CAS-BUS: A Scalable and Reconfigurable Test Access Mechanism for Systems on a Chip.	DATE	2000	DBLP DOI BibTeX RDF
45	Kai Chen, Hengshan Wang	Research on Web2.0 System Design Based on CAS Theory.	Complex (1)	2009	DBLP DOI BibTeX RDF	Complex adaptive systems (CAS) Web2.0
41	Josue Bracho-Ríos, Jose Torres-Jimenez, Eduardo Rodriguez-Tello	A New Backtracking Algorithm for Constructing Binary Covering Arrays of Variable Strength.	MICAI	2009	DBLP DOI BibTeX RDF	Software testing, Branch and Bound, Covering Arrays
41	Xin Li 0026, Yimin Zhang 0001, Moeness G. Amin	Throughput Analysis of Ad Hoc Networks Using Multibeam Antennas with Priority-Based Channel Access Scheduling.	WCNC	2008	DBLP DOI BibTeX RDF
41	Lin Dai 0001	Distributed antenna system: Performance analysis in multi-user scenario.	CISS	2008	DBLP DOI BibTeX RDF
41	Xun Yuan, Myra B. Cohen, Atif M. Memon	Covering array sampling of input event sequences for automated gui testing.	ASE	2007	DBLP DOI BibTeX RDF	event driven software, GUI testing, covering arrays
41	Uichin Lee, Eugenio Magistretti, Biao Zhou, Mario Gerla, Paolo Bellavista, Antonio Corradi	Efficient Data Harvesting in Mobile Sensor Platforms.	PerCom Workshops	2006	DBLP DOI BibTeX RDF
41	Ken-ichi Maeda, Chiaki Sakama	Discovery of Cellular Automata Rules Using Cases.	Discovery Science	2003	DBLP DOI BibTeX RDF
41	Yoshiaki Shindo, Hiroshi Matsuda, Akitoshi Yokoyama	Kana-Input Navigation System for Kids Based on the Cyber Assistant.	ICALT	2003	DBLP DOI BibTeX RDF
41	Ralph-Johan Back, Cristina Cerschi Seceleanu, Jan Westerholm	Symbolic Simulation of Hybrid Systems.	APSEC	2002	DBLP DOI BibTeX RDF
41	Jochen Büdenbender, Adrian Frischauf, Georgi Goguadze, Erica Melis, Paul Libbrecht, Carsten Ullrich	Using Computer Algebra Systems as Cognitive Tools.	Intelligent Tutoring Systems	2002	DBLP DOI BibTeX RDF
41	Franciszek Seredynski, Albert Y. Zomaya	Coevolution and Evolving Parallel Cellular Automata - Based Scheduling Algorithms.	Artificial Evolution	2001	DBLP DOI BibTeX RDF
41	Paulo Sérgio Cardoso, Marius Strum, José Roberto de A. Amazonas, Jiang Chau Wang	A Methodology for Minimum Area Cellular Automata Generation.	Asian Test Symposium	1998	DBLP DOI BibTeX RDF
41	Philip C. Igwe, George K. Knopf	Modeling Deformable Objects for Computer-Aided Sculpting (CAS) Modeling Deformable Objects for Computer-Aided Sculpting (CAS).	GMAI	2006	DBLP DOI BibTeX RDF
40	Anil L. Pereira, Vineela Muppavarapu, Soon Myoung Chung	Role-Based Access Control for Grid Database Services Using the Community Authorization Service.	IEEE Trans. Dependable Secur. Comput.	2006	DBLP DOI BibTeX RDF	Open Grid Services Architecture-Data Access and Integration (OGSA-DAI), Grid database services, fine-grain authorization, Community Authorization Service (CAS), role-based access control (RBAC)
36	Claudio Agostino Ardagna, Ernesto Damiani, Sabrina De Capitani di Vimercati, Fulvio Frati, Pierangela Samarati	CAS++: An Open Source Single Sign-On Solution for Secure e-Services.	SEC	2006	DBLP DOI BibTeX RDF
36	Bo Cao, Shiguang Shan, Xiaohua Zhang, Wen Gao 0001	Baseline Evaluations on the CAS-PEAL-R1 Face Database.	SINOBIOMETRICS	2004	DBLP DOI BibTeX RDF
36	Cristiano Paggetti, Sandra Martelli, Laura Nofrini, Paolo Vendruscolo	Interface Design and Evaluation for CAS Systems.	MICCAI	2001	DBLP DOI BibTeX RDF
35	Ji-hong Zhou, Cai-lian Hao, Biao Zhang, Chang-jun Zhu, Jun-guang Zhao	Determination of Trace Chromium in the Fu-Yang River by CAS and CTMAB Spectrophotometry.	ESIAT (1)	2009	DBLP DOI BibTeX RDF	spectrophotometry, CAS (chrome azurol S), CTMAB (cetrimonium bromide), water analysis, chromium
35	Norbert Kajler	CAS/PI: A Portable and Extensible Interface for Computer Algebra Systems.	ISSAC	1992	DBLP DOI BibTeX RDF	CAS/PI, software engineering, user interface, computer algebra, tool integration, software bus, Centaur
31	Edya Ladan-Mozes, Nir Shavit	An optimistic approach to lock-free FIFO queues.	Distributed Comput.	2008	DBLP DOI BibTeX RDF	Synchronization, Lock-free, CAS, Compare and swap, Non-blocking, Concurrent data structures, FIFO queue
31	Mohammad Azam Rana, Halim Setan, Zulkepli Majid, Albert K. Chong	Computer Assisted Surgical Planner for Craniofacial Reconstruction - Imaging Techniques.	GMAI	2006	DBLP DOI BibTeX RDF	surgical planner, hard tissue, cutting, CAS, soft tissue
31	Sébastien Grange, Terrence Fong, Charles Baur	M/ORIS: a medical/operating room interaction system.	ICMI	2004	DBLP DOI BibTeX RDF	medical user interfaces, HCI, multimodal interaction, CAS
31	Igor Lackovic, Vedran Bilas, Ante Santic	A computer based vertical force monitoring and analysis system for gait evaluation.	CBMS	1997	DBLP DOI BibTeX RDF	computer based vertical force monitoring, vertical force analysis system, gait evaluation, vertical force measurement, injured persons, patient recovery rate, rehabilitation process, continuous monitoring, multisegmented capacitive transducers, vertical force signal processing, software performance, frequency domain, CAS, real-time monitoring, computerised monitoring, time domain
31	Rahul Breh, Vivek Kumar	Making mathematical problem solving exploratory and social-synergizing computer algebra systems with semantic and web-2.0 technology.	Bangalore Compute Conf.	2010	DBLP DOI BibTeX RDF	web 2.0, semantic web technology, Sage, computer algebra systems
31	Victor Luchangco, Mark Moir, Nir Shavit	Nonblocking k -Compare-Single-Swap.	Theory Comput. Syst.	2009	DBLP DOI BibTeX RDF	Synchronization, Shared memory multiprocessors, Compare-and-swap
31	Deam James Azevedo da Silva, Roberto Célio Limão de Oliveira	A multipopulation cultural algorithm based on genetic algorithm for the MKP.	GECCO	2009	DBLP DOI BibTeX RDF	multi knapsack problem, multipopulation, genetic algorithms, combinatorial optimization, cultural algorithms
31	Benjamin Arazi	Computationally Efficient Distributed and Delegated Certification.	IEEE Trans. Parallel Distributed Syst.	2008	DBLP DOI BibTeX RDF
31	Vasilios A. Mardiris, Georgios Ch. Sirakoulis, Ch. Mizas, Ioannis Karafyllidis, Adonios Thanailakis	A CAD System for Modeling and Simulation of Computer Networks Using Cellular Automata.	IEEE Trans. Syst. Man Cybern. Part C	2008	DBLP DOI BibTeX RDF
31	Jon A. Solworth	Beacon certificate push revocation.	CSAW	2008	DBLP DOI BibTeX RDF	authentication, certificate, public key infrastructure (pki), revocation
31	Valentina Casola, Nicola Mazzocca, Jesus Luna, Oscar Manso, Manel Medina	Static evaluation of Certificate Policies for GRID PKIs interoperability.	ARES	2007	DBLP DOI BibTeX RDF
31	Nyoun Kim, Ig-Jae Kim, Hyoung-Gon Kim	Video Surveillance using Dynamic Configuration of Mutiple Active Cameras.	ICIP	2006	DBLP DOI BibTeX RDF
31	Peng He, QingLin Wang, JiaCheng Yu	A Multi-Agent Model for Reconfigurable Manufacturing System Based on Complex Adaptive System.	IROS	2006	DBLP DOI BibTeX RDF
31	Andrew Trotman, Mounia Lalmas	Strict and vague interpretation of XML-retrieval queries.	SIGIR	2006	DBLP DOI BibTeX RDF	XML retrieval, INEX, element retrieval
31	Maya Rupert, Salima Hassas, Amjad Rattrout	The Web and Complex Adaptive Systems.	AINA (2)	2006	DBLP DOI BibTeX RDF
31	Sergio Camorlinga, Ken Barker 0001	The Biologically Inspired Distributed File System: An Emergent Thinker Instantiation.	Self-star Properties in Complex Information Systems	2005	DBLP DOI BibTeX RDF
31	Joc Cing Tay, Atul Jhavar	CAFISS: a complex adaptive framework for immune system simulation.	SAC	2005	DBLP DOI BibTeX RDF	evolutionary computation, artificial immune system, agent-based simulation, complex adaptive system, HIV
31	Paavo Arvola, Jaana Kekäläinen, Marko Junkkari	Query Evaluation with Structural Indices.	INEX	2005	DBLP DOI BibTeX RDF
31	Prasad Jayanti, Srdjan Petrovic	Efficiently Implementing a Large Number of LL/SC Objects.	OPODIS	2005	DBLP DOI BibTeX RDF
31	Fredrik Nilsson, Jonas Waidringer	Toward Adaptive Logistics Management.	HICSS	2005	DBLP DOI BibTeX RDF
31	Leonid Semin, Vasily P. Shapeev	Constructing the Numerical Method for Navier - Stokes Equations Using Computer Algebra System.	CASC	2005	DBLP DOI BibTeX RDF
31	Andrew Trotman, Börkur Sigurbjörnsson	Narrowed Extended XPath I (NEXI).	INEX	2004	DBLP DOI BibTeX RDF
31	Juan Liu, Andrzej Buller	Evolving Spike-Train Processors.	GECCO (2)	2004	DBLP DOI BibTeX RDF
31	Zhengyi Le, Yi Ouyang 0001, James Ford, Fillia Makedon	A Hierarchical Key-Insulated Signature Scheme in the CA Trust Model.	ISC	2004	DBLP DOI BibTeX RDF
31	Takayuki Kitasaka, Kensaku Mori, Yasuhito Suenaga	Development of Advanced Image Processing Technology and Its Application to Computer Assisted Diagnosis and Surgery.	PCM (1)	2004	DBLP DOI BibTeX RDF
31	Simon Doherty, David Detlefs, Lindsay Groves, Christine H. Flood, Victor Luchangco, Paul Alan Martin, Mark Moir, Nir Shavit, Guy L. Steele Jr.	DCAS is not a silver bullet for nonblocking algorithm design.	SPAA	2004	DBLP DOI BibTeX RDF	DCAS, double-compare-and-swap, multiprocessors, lock-free, concurrent data structures, linked lists, nonblocking synchronization
31	Franciszek Seredynski, Pascal Bouvry, Albert Y. Zomaya	Secret Key Cryptography with Cellular Automata.	IPDPS	2003	DBLP DOI BibTeX RDF
31	Jaeil Lee, Minsoo Lee, Jabeom Gu, Seoklae Lee, Sehyun Park, JooSeok Song	New Adaptive Trust Models against DDoS: Back-Up CA and Mesh PKI.	Human.Society@Internet 2003	2003	DBLP DOI BibTeX RDF
31	Franciszek Seredynski, Pascal Bouvry, Albert Y. Zomaya	Cellular Programming and Symmetric Key Cryptography Systems.	GECCO	2003	DBLP DOI BibTeX RDF
31	Victor Luchangco, Mark Moir, Nir Shavit	Nonblocking k-compare-single-swap.	SPAA	2003	DBLP DOI BibTeX RDF	multiprocessors, concurrent data structures, linked lists, nonblocking synchronization, obstruction-freedom
31	Mathieu S. Capcarrère	Evolution of Asynchronous Cellular Automata.	PPSN	2002	DBLP DOI BibTeX RDF
31	Yanjiang Yang, Feng Bao 0001, Robert H. Deng	Security Analysis and Improvement of the Global Key Recovery System.	ACISP	2002	DBLP DOI BibTeX RDF
31	Sye Loong Keoh, Emil Lupu	Towards flexible credential verification in mobile ad-hoc networks.	POMC	2002	DBLP DOI BibTeX RDF	credential verification, security, authentication, trust
31	John R. Clymer, David J. Chen	Simulation-Based Engineering of Complex Adaptive Systems Using a Classifier Block.	Annual Simulation Symposium	2001	DBLP DOI BibTeX RDF
31	Janet Belew	Students helping students in residence: how suite it is...	SIGUCCS	2001	DBLP DOI BibTeX RDF	computing advisors, residential computing, student services, student training, orientation, help desk, customer service, students, student employees, student consultants, ResNet
31	Robert C. Holte	Combinatorial Auctions, Knapsack Problems, and Hill-Climbing Search.	AI	2001	DBLP DOI BibTeX RDF
31	Vladimir Ivancevic, Lakhmi C. Jain, V. Puri, D. Filippidis	Optimization and integration of forward observer decision making model.	KES	1999	DBLP DOI BibTeX RDF
31	Wim Hordijk, James P. Crutchfield, Melanie Mitchell	Mechanisms of Emergent Computation in Cellular Automata.	PPSN	1998	DBLP DOI BibTeX RDF
31	Paul S. Mansour, Stephen M. Mansour	Using APL expressions in database operations.	APL	1998	DBLP DOI BibTeX RDF	APL
31	Moshe Sipper, Marco Tomassini	Co-evolving Parallel Random Number Generators.	PPSN	1996	DBLP DOI BibTeX RDF	non-uniform cellular automata, cellular programming, parallel computation, evolution, complex systems, artificial life, random number generators, co-evolution
30	Ho-min Park, Jongbum Won, Yunseol Park, Esla Timothy Anzaku, Joris Vankerschaver, Arnout Van Messem, Wesley De Neve, Hyunjin Shim	CRISPR-Cas-Docker: web-based in silico docking and machine learning-based classification of crRNAs with Cas proteins.	BMC Bioinform.	2023	DBLP DOI BibTeX RDF
30	Nicholas D. Kullman	Prise de décision dynamique en cas d'incertitude dans l'acheminement des véhicules et la logistique. (Prise de décision dynamique en cas d'incertitude dans l'acheminement des véhicules et la logistique).		2020	RDF