Search results for "ASIAN"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Bodo Hüsemann, Gottfried Vossen	Ontology Engineering from a Database Perspective.	ASIAN	2005	DBLP DOI BibTeX RDF
1	Baoyan Song, Shanshan Wu, Feng Yuan, Ge Yu 0001	A Query Processing Approach Based on Window Semantics in Data Stream System.	ASIAN	2005	DBLP DOI BibTeX RDF
1	Kun Yue, Weiyi Liu, Xiaoling Wang, Aoying Zhou	Modeling Web Services Based on the Bayesian Network.	ASIAN	2005	DBLP DOI BibTeX RDF
1	Elvis Wai Chung Leung, Qing Li 0001, Yueting Zhuang	Media-Based Presentation with Personalization in a Web-Based eLearning System.	ASIAN	2005	DBLP DOI BibTeX RDF
1	An-long Chen, Changjie Tang, Chang-an Yuan 0001, Jing Peng, Jianjun Hu	Mining Correlations Between Multi-streams Based on Haar Wavelet.	ASIAN	2005	DBLP DOI BibTeX RDF
1	Mariano P. Consens, Ricardo A. Baeza-Yates	Database and Information Retrieval Techniques for XML.	ASIAN	2005	DBLP DOI BibTeX RDF
1	Chang-Sup Park, Chung Soo Kim, Yon Dohn Chung	Efficient Stream Organization for Wireless Broadcasting of XML Data.	ASIAN	2005	DBLP DOI BibTeX RDF
1	Biqing Huang, Yang Wang, Zhiyuan Chen, Hongbo Sun	Resource Integration Framework of Logistics Resource Grid.	ASIAN	2005	DBLP DOI BibTeX RDF
1	Zhi Zhang, Haoyang Che, Pengfei Shi, Yong Sun, Jun Gu	Multi-labeled Graph Matching - An algorithm Model for Schema Matching.	ASIAN	2005	DBLP DOI BibTeX RDF
1	Lei Yang 0016, Yu Dai 0001, Bin Zhang 0001, Yan Gao 0001	QoS-Driven Composite Web Services Selection.	ASIAN	2005	DBLP DOI BibTeX RDF
1	Yong-Sheng Xue, Wei Zhang, Juan Wen, Zong-Yi Huang, Tian-Qi Kuang, Xin-Zheng Xu	A Grid Clustering Algorithm Based on Reference and Density.	ASIAN	2005	DBLP DOI BibTeX RDF
1	Richard Hull 0001	Towards a Unified Model for Web Services Composition.	ASIAN	2005	DBLP DOI BibTeX RDF
1	Gerome Miklau, Dan Suciu	Implementing a Tamper-Evident Database System.	ASIAN	2005	DBLP DOI BibTeX RDF
1	Masahiko Sato 0001	A Simple Theory of Expressions, Judgments and Derivations.	ASIAN	2004	DBLP DOI BibTeX RDF
1	Michael J. Maher (eds.)	Advances in Computer Science - ASIAN 2004, Higher-Level Decision Making, 9th Asian Computing Science Conference, Dedicated to Jean-Louis Lassez on the Occasion of His 5th Cycle Birthday, Chiang Mai, Thailand, December 8-10, 2004, Proceedings	ASIAN	2004	DBLP DOI BibTeX RDF
1	Taweechai Ouypornkochagorn, Kitsana Waiyamai	Formal Concept Mining: A Statistic-Based Approach for Pertinent Concept Lattice Construction.	ASIAN	2004	DBLP DOI BibTeX RDF	Formal Concept Mining, DESEA, Statistic-based, Pertinent Concept, Data Mining, Concept Lattice
1	Chatchawit Aporntewan, Prabhas Chongstitvatana	Chi-Square Matrix: An Approach for Building-Block Identification.	ASIAN	2004	DBLP DOI BibTeX RDF
1	Chantana Chantrapornchai, Wanlop Surakumpolthorn, Edwin Hsing-Mean Sha	Design Exploration Framework Under Impreciseness Based on Register-Constrained Inclusion Scheduling.	ASIAN	2004	DBLP DOI BibTeX RDF	Imprecise Design Exploration, Scheduling/Allocation, Multiple design attributes, Register constraint, Inclusion Scheduling, Imprecise information
1	Kim Marriott, Bernd Meyer 0001, Peter J. Stuckey	Towards Flexible Graphical Communication Using Adaptive Diagrams.	ASIAN	2004	DBLP DOI BibTeX RDF
1	Chuchang Liu, Maris A. Ozols, Mehmet A. Orgun	A Temporalised Belief Logic for Specifying the Dynamics of Trust for Multi-agent Systems.	ASIAN	2004	DBLP DOI BibTeX RDF
1	K. Subramani 0001	Zero-Clairvoyant Scheduling with Inter-period Constraints.	ASIAN	2004	DBLP DOI BibTeX RDF
1	Van-Nam Huynh, Yoshiteru Nakamori, Tu Bao Ho	Assessment Aggregation in the Evidential Reasoning Approach to MADM Under Uncertainty: Orthogonal Versus Weighted Sum.	ASIAN	2004	DBLP DOI BibTeX RDF
1	Kyu-Sik Park, Sang-Heon Oh, Won-Jung Yoon, Kang-Kue Lee	A Robust Approach to Content-Based Musical Genre Classification and Retrieval Using Multi-feature Clustering.	ASIAN	2004	DBLP DOI BibTeX RDF
1	Claude Kirchner, Hélène Kirchner	Rule-Based Programming and Proving: The ELAN Experience Outcomes.	ASIAN	2004	DBLP DOI BibTeX RDF
1	Martin Charles Golumbic	Graph Theoretic Models for Reasoning About Time.	ASIAN	2004	DBLP DOI BibTeX RDF
1	Tsong Yueh Chen, Hing Leung, I. K. Mak	Adaptive Random Testing.	ASIAN	2004	DBLP DOI BibTeX RDF
1	Sudeshna Dasgupta, Vijay Chandru	Minimal Unsatisfiable Sets: Classification and Bounds.	ASIAN	2004	DBLP DOI BibTeX RDF	Minimal Unsatisfiable Sets, satisfiability, propositional logic, Boolean formulas
1	Yi Mu 0001, Fangguo Zhang, Willy Susilo	Deniable Partial Proxy Signatures.	ASIAN	2004	DBLP DOI BibTeX RDF
1	Qingjie Zhao, Zengqi Sun, Hongbin Deng	Robot Visual Servoing Based on Total Jacobian.	ASIAN	2004	DBLP DOI BibTeX RDF
1	Philippe Rigaux, Nicolas Spyratos	Metadata Inference for Document Retrieval in a Distributed Repository.	ASIAN	2004	DBLP DOI BibTeX RDF
1	Russell Bent, Pascal Van Hentenryck	Online Stochastic and Robust Optimization.	ASIAN	2004	DBLP DOI BibTeX RDF
1	Vijay A. Saraswat	Concurrent Constraint-Based Memory Machines: A Framework for Java Memory Models.	ASIAN	2004	DBLP DOI BibTeX RDF
1	Feng Tang, Yiting Ying, Jin Wang, Qunsheng Peng 0001	A Novel Texture Synthesis Based Algorithm for Object Removal in Photographs.	ASIAN	2004	DBLP DOI BibTeX RDF
1	Yuzuru Tanaka, Jun Fujima, Makoto Ohigashi	Meme Media for the Knowledge Federation Over the Web and Pervasive Computing Environments.	ASIAN	2004	DBLP DOI BibTeX RDF
1	Andrew H. Sung, Srinivas Mukkamala	The Feature Selection and Intrusion Detection Problems.	ASIAN	2004	DBLP DOI BibTeX RDF
1	Rajesh Gupta 0001, R. K. Shyamasundar	Reactive Framework for Resource Aware Distributed Computing.	ASIAN	2004	DBLP DOI BibTeX RDF
1	Jean Vuillemin, Frédéric Béal	On the BDD of a Random Boolean Function.	ASIAN	2004	DBLP DOI BibTeX RDF
1	Phillip Rogaway	On the Role Definitions in and Beyond Cryptography.	ASIAN	2004	DBLP DOI BibTeX RDF
1	Supachai Tangwongsan, Pornchai Po-Aramsri, Rong Phoophuangpairoj	Highly Efficient and Effective Techniques for Thai Syllable Speech Recognition.	ASIAN	2004	DBLP DOI BibTeX RDF
1	Yi Mu 0001, Willy Susilo, Yan-Xia Lin, Chun Ruan	Identity-Based Authenticated Broadcast Encryption and Distributed Authenticated Encryption.	ASIAN	2004	DBLP DOI BibTeX RDF
1	Kotagiri Ramamohanarao, Laurence Anthony F. Park	Spectral-Based Document Retrieval.	ASIAN	2004	DBLP DOI BibTeX RDF
1	Norman Y. Foo, Thomas Meyer 0002, Gerhard Brewka	LPOD Answer Sets and Nash Equilibria.	ASIAN	2004	DBLP DOI BibTeX RDF
1	M. R. K. Krishna Rao	Learnability of Simply-Moded Logic Programs from Entailment.	ASIAN	2004	DBLP DOI BibTeX RDF
1	Philippe Flajolet	Counting by Coin Tossings.	ASIAN	2004	DBLP DOI BibTeX RDF
1	Krishna V. Palem, Lakshmi N. Chakrapani, Sudhakar Yalamanchili	A Framework for Compiler Driven Design Space Exploration for Embedded System Customization.	ASIAN	2004	DBLP DOI BibTeX RDF
1	Daniel Cabeza, Manuel V. Hermenegildo, James Lipton	Hiord: A Type-Free Higher-Order Logic Programming Language with Predicate Abstraction.	ASIAN	2004	DBLP DOI BibTeX RDF
1	Alexander Brodsky 0001, Larry Kerschberg, Samuel Varas	Optimal Constraint Decomposition for Distributed Databases.	ASIAN	2004	DBLP DOI BibTeX RDF
1	Hai V. Phan, Margaret Lech, Thuc D. Nguyen	Registration of 3D Range Images Using Particle Swarm Optimization.	ASIAN	2004	DBLP DOI BibTeX RDF
1	Lars Lundberg, Håkan Lennerstad, Kamilla Klonowska, Göran Gustafsson	Using Optimal Golomb Rulers for Minimizing Collisions in Closed Hashing.	ASIAN	2004	DBLP DOI BibTeX RDF
1	Nicos Angelopoulos	Probabilistic Space Partitioning in Constraint Logic Programming.	ASIAN	2004	DBLP DOI BibTeX RDF
1	Koushik Sen, Grigore Rosu, Gul Agha	Generating Optimal Linear Temporal Logic Monitors by Coinduction.	ASIAN	2003	DBLP DOI BibTeX RDF
1	Toshiyuki Maeda, Akinori Yonezawa	Kernel Mode Linux: Toward an Operating System Protected by a Type Theory.	ASIAN	2003	DBLP DOI BibTeX RDF
1	Véronique Benzaken, Marwan Burelle, Giuseppe Castagna	Information Flow Security for XML Transformations.	ASIAN	2003	DBLP DOI BibTeX RDF
1	Kamal Lodaya, D. Ranganayakulu, K. Rangarajan	Hierarchical Structure of 1-Safe Petri Nets.	ASIAN	2003	DBLP DOI BibTeX RDF
1	Ning Chen 0005, Hong Zhu 0004	Incentive Compatible Mechanism Based on Linear Pricing Scheme for Single-Minded Auction.	ASIAN	2003	DBLP DOI BibTeX RDF
1	Martín Abadi, Andrew Birrell, Michael Burrows, Frank Dabek, Ted Wobber	Bankable Postage for Network Services.	ASIAN	2003	DBLP DOI BibTeX RDF
1	Punit Chandra, Ajay D. Kshemkalyani	Global Predicate Detection under Fine-Grained Modalities.	ASIAN	2003	DBLP DOI BibTeX RDF
1	Satoshi Yamane	Probabilistic Timed Simulation Verification and Its Application to Stepwise Refinement of Real-Time Systems.	ASIAN	2003	DBLP DOI BibTeX RDF
1	Benedikt Bollig, Martin Leucker	Model Checking Probabilistic Distributed Systems.	ASIAN	2003	DBLP DOI BibTeX RDF
1	Naijun Zhan	Combining Hierarchical Specification with Hierarchical Implementation.	ASIAN	2003	DBLP DOI BibTeX RDF
1	Deepak Kapur, Mahadevan Subramaniam	Automatic Generation of Simple Lemmas from Recursive Definitions Using Decision Procedures - Preliminary Report.	ASIAN	2003	DBLP DOI BibTeX RDF
1	Masakuni Agetsuma, Kenji Kono, Hideya Iwasaki, Takashi Masuda	Self-configurable Mirror Servers for Automatic Adaptation to Service Demand Fluctuation.	ASIAN	2003	DBLP DOI BibTeX RDF
1	Uwe Nestmann, Rachele Fuzzati	Unreliable Failure Detectors via Operational Semantics.	ASIAN	2003	DBLP DOI BibTeX RDF
1	Erik Klintskog, Zacharias El Banna, Per Brand, Seif Haridi	The Design and Evaluation of a Middleware Library for Distribution of Language Entities.	ASIAN	2003	DBLP DOI BibTeX RDF
1	Vijay A. Saraswat (eds.)	Advances in Computing Science - ASIAN 2003 Programming Languages and Distributed Computation, 8th Asian Computing Science Conference, Mumbai, India, December 10-14, 2003, Proceedings	ASIAN	2003	DBLP DOI BibTeX RDF
1	J. Gregory Morrisett	Achieving Type Safety for Low-Level Code.	ASIAN	2003	DBLP DOI BibTeX RDF
1	Mark S. Miller, Jonathan S. Shapiro	Paradigm Regained: Abstraction Mechanisms for Access Control.	ASIAN	2003	DBLP DOI BibTeX RDF
1	Jürgen Giesl, Armin Kühnemann, Janis Voigtländer	Deaccumulation - Improving Provability.	ASIAN	2003	DBLP DOI BibTeX RDF
1	Franco Barbanera, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Vladimiro Sassone	A Calculus of Bounded Capacities.	ASIAN	2003	DBLP DOI BibTeX RDF
1	Bruno Blanchet, Benjamin Aziz	A Calculus for Secure Mobility.	ASIAN	2003	DBLP DOI BibTeX RDF
1	Rares Serban, Chadi Barakat, Walid Dabbous	Dynamic Resource Allocation in Core Routers of a Diffserv Network.	ASIAN	2002	DBLP DOI BibTeX RDF
1	Kazutoshi Fujikawa, Masato Hori, Shinji Shimojo, Hideo Miyahara	A Server Selection Method Based on Communication Delay and Communication Frequency among Users for Networked Virtual Environments.	ASIAN	2002	DBLP DOI BibTeX RDF
1	Olivier Cogis, Jean-Claude König, Jérôme Palaysi	On the List Colouring Problem.	ASIAN	2002	DBLP DOI BibTeX RDF
1	Hai Jin 0001, Kai Hwang 0001	Distributed Checkpointing on Clusters with Dynamic Striping and Staggering.	ASIAN	2002	DBLP DOI BibTeX RDF
1	Kitt Tientanopajai, Kanchana Kanchanasut	Multiconstraint QoS Routing Using a Path-Vector Protocol.	ASIAN	2002	DBLP DOI BibTeX RDF
1	Shinji Shimojo, Junzo Kamahara, Takahiro Nishizawa, Hideo Miyahara	Personalized Video for Contents Delivery Network.	ASIAN	2002	DBLP DOI BibTeX RDF
1	Moufida Maimour, CongDuc Pham	Towards an Application-Aware Multicast Communication Framework for Computational Grids.	ASIAN	2002	DBLP DOI BibTeX RDF
1	Alessandro Bassi, Micah Beck, Terry Moore, James S. Plank	The Logistical Backbone: Scalable Infrastructure for Global Data Grids.	ASIAN	2002	DBLP DOI BibTeX RDF	IBP, storage-enable Internet, Logistical Networking
1	R. K. Shyamasundar, Siddharth B. Deshmukh	MicroBill: An Efficient Secure System for Subscription Based Services.	ASIAN	2002	DBLP DOI BibTeX RDF
1	Nam Thoai, Dieter Kranzlmüller, Jens Volkert	Shortcut Replay: A Replay Technique for Debugging Long-Running Parallel Programs.	ASIAN	2002	DBLP DOI BibTeX RDF
1	Putra Sumari, Hailiza Kamarulhaili	Data Storage and Stream Caching for Video on Demand Servers.	ASIAN	2002	DBLP DOI BibTeX RDF
1	Dac Phuong Ho, Yong Meng Teo, Johan Prawira Gozali	Solving the N-Body Problem with the ALiCE Grid System.	ASIAN	2002	DBLP DOI BibTeX RDF
1	Hitomi Tamura, Kenji Kawahara, Yuji Oie	Performance Analysis of Flow Loss Probability and Link Utilization in MPLS Networks for Traffic Engineering.	ASIAN	2002	DBLP DOI BibTeX RDF	M/M/c/c queueing system, flow loss probability, performance analysis, Traffic Engineering, MPLS, link utilization
1	Takeshi Kaishima, Yuko Mizuno-Matsumoto, Susumu Date, Shinji Shimojo	The Experience and Practice of Developing a Brain Functional Analysis System Using ICA on a Grid Environment.	ASIAN	2002	DBLP DOI BibTeX RDF
1	Masatsugu Tonoike, Takaaki Komura, Kenji Fujikawa, Yasuo Okabe, Katsuo Ikeda	Design and Implementation of a Web-Based Internet Broadcasting System on QoS Multicast Routers.	ASIAN	2002	DBLP DOI BibTeX RDF
1	Alain Jean-Marie (eds.)	Advances in Computing Science - ASIAN 2002, Internet Computing and Modeling, Grid Computing, Peer-to-Peer Computing, and Cluster Computing, 7th Asian Computing Science Conference, Hanoi, Vietnam, December 4-6, 2002, Proceedings	ASIAN	2002	DBLP DOI BibTeX RDF
1	Daiki Ueno, Tatsuo Nakajima, Ichiro Satoh, Kouta Soejima	Web-Based Middleware for Home Entertainment.	ASIAN	2002	DBLP DOI BibTeX RDF
1	K. Subramani 0001	On Determining the Minimum Length, Tree-Like Resolution Refutation of 2SAT, and Extended 2SAT Formulas.	ASIAN	2002	DBLP DOI BibTeX RDF
1	Zhen Liu 0001, Mark S. Squillante, Cathy H. Xia, S. Yu, Li Zhang 0002, Naceur Malouch, Paul Dantzig	Analysis of Caching Mechanisms from Sporting Event Web Sites.	ASIAN	2002	DBLP DOI BibTeX RDF
1	Brigitte Plateau	The Grid: Challenges and Research Issues.	ASIAN	2002	DBLP DOI BibTeX RDF
1	Philippe Combes, Frédéric Lombard, Martin Quinson, Frédéric Suter	A Scalable Approach to Network Enabled Servers.	ASIAN	2002	DBLP DOI BibTeX RDF	Agent hierarchy, Metacomputing, Computational servers
1	Alain Jean-Marie	Performance Evaluation of Networks: New Problems and Challenges.	ASIAN	2000	DBLP DOI BibTeX RDF
1	Kamal Lodaya	Sharpening the Undecidability of Interval Temporal Logic.	ASIAN	2000	DBLP DOI BibTeX RDF
1	Der-Rong Din, Shian-Shyong Tseng, Mon-Fong Jiang	Genetic Algorithm for Extended Cell Assignment Problem in Wireless ATM Network.	ASIAN	2000	DBLP DOI BibTeX RDF
1	K. Ettikan, V. Ganapathy	IPv6 Performance Analysis on FreeBSD Workstation Using Simple Applications.	ASIAN	2000	DBLP DOI BibTeX RDF
1	Elvira Albert, César Ferri, Frank Steiner, Germán Vidal	Improving Functional Logic Programs by Difference-Lists.	ASIAN	2000	DBLP DOI BibTeX RDF	program transformation, compiler optimization, functional logic programming
1	U. Bhattacharya, Rituparna Chaki	A New Multihop Logical Topology for Reliable Broadband Communication.	ASIAN	2000	DBLP DOI BibTeX RDF
1	Pierpaolo Degano, Francesca Levi, Chiara Bodei	Safe Ambients: Control Flow Analysis and Security.	ASIAN	2000	DBLP DOI BibTeX RDF
1	Jinyan Li 0001, Kotagiri Ramamohanarao, Guozhu Dong	Emerging Patterns and Classification.	ASIAN	2000	DBLP DOI BibTeX RDF
1	Silvano Dal-Zilio	Spatial Congruence for Ambients Is Decidable.	ASIAN	2000	DBLP DOI BibTeX RDF

Publications at "ASIAN"( http://dblp.L3S.de/Venues/ASIAN )