|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 779 occurrences of 529 keywords
|
|
|
Results
Found 2100 publication records. Showing 2100 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
22 | Ian Horrocks 0001, Ulrike Sattler, Sergio Tessaris, Stephan Tobies |
How to Decide Query Containment Under Constraints Using a Description Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming and Automated Reasoning, 7th International Conference, LPAR 2000, Reunion Island, France, November 11-12, 2000, Proceedings, pp. 326-343, 2000, Springer. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
22 | Frédéric Salles, Manuel Rodríguez 0001, Jean-Charles Fabre, Jean Arlat |
MetaKernels and Fault Containment Wrappers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTCS ![In: Digest of Papers: FTCS-29, The Twenty-Ninth Annual International Symposium on Fault-Tolerant Computing, Madison, Wisconsin, USA, June 15-18, 1999, pp. 22-29, 1999, IEEE Computer Society, 0-7695-0213-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
22 | Brian Ness, Viet Ngo |
Regression Containment through Source Change Isolation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 21st International Computer Software and Applications Conference (COMPSAC '97), 11-15 August 1997, Washington, DC, USA, pp. 616-621, 1997, IEEE Computer Society, 0-8186-8105-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
22 | Felice Balarin, Alberto L. Sangiovanni-Vincentelli |
An Iterative Approach to Language Containment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 5th International Conference, CAV '93, Elounda, Greece, June 28 - July 1, 1993, Proceedings, pp. 29-40, 1993, Springer, 3-540-56922-7. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
22 | Rodney R. Howell |
On the Complexity of Containment, Equivalence and Reachability for Finite and 2-Dimensional Vector Addition Systems with States. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 87, 4th Annual Symposium on Theoretical Aspects of Computer Science, Passau, Germany, February 19-21, 1987, Proceedings, pp. 360-370, 1987, Springer, 3-540-17219-X. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
22 | Paolo Atzeni, Douglas Stott Parker Jr. |
Set Containment Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDT ![In: ICDT'86, International Conference on Database Theory, Rome, Italy, September 8-10, 1986, Proceedings, pp. 73-90, 1986, Springer, 3-540-17187-8. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
22 | Steven Fortune |
A Fast Algorithm for Polygon Containment by Translation (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 12th Colloquium, Nafplion, Greece, July 15-19, 1985, Proceedings, pp. 189-198, 1985, Springer, 3-540-15650-X. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
22 | David S. Johnson, Anthony C. Klug |
Testing Containment of Conjunctive Queries Under Functional and Inclusion Dependencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the ACM Symposium on Principles of Database Systems, March 29-31, 1982, Los Angeles, California, USA, pp. 164-169, 1982, ACM, 0-89791-070-2. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
22 | Steven Fortune, John E. Hopcroft, Erik Meineche Schmidt |
The Complexity of Equivalence and Containment for Free Single Variable Program Schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, Fifth Colloquium, Udine, Italy, July 17-21, 1978, Proceedings, pp. 227-240, 1978, Springer, 3-540-08860-1. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
|
17 | Rahul Jain 0001, Zhengfeng Ji, Sarvagya Upadhyay, John Watrous |
QIP = PSPACE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings of the 42nd ACM Symposium on Theory of Computing, STOC 2010, Cambridge, Massachusetts, USA, 5-8 June 2010, pp. 573-582, 2010, ACM, 978-1-4503-0050-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
matrix multiplicative weights update method, quantum interactive proof systems, quantum computation, semidefinite programming |
17 | Guoliang Li 0001, Jianhua Feng, Jianyong Wang 0001, Lizhu Zhou |
Incremental sequence-based frequent query pattern mining from XML queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Min. Knowl. Discov. ![In: Data Min. Knowl. Discov. 18(3), pp. 472-516, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Frequent query patterns, XML frequent pattern mining, Incremental mining, Sequential pattern mining, XML query patterns |
17 | Wenfei Fan, Floris Geerts |
Relative information completeness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Twenty-Eigth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2009, June 19 - July 1, 2009, Providence, Rhode Island, USA, pp. 97-106, 2009, ACM, 978-1-60558-553-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
information completeness, master data, constraints, consistency |
17 | Oleg Komogortsev, Javed I. Khan |
Predictive real-time perceptual compression based on eye-gaze-position analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Multim. Comput. Commun. Appl. ![In: ACM Trans. Multim. Comput. Commun. Appl. 4(3), pp. 23:1-23:16, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Real-time multimedia compression, human visual system |
17 | Laurel M. Swan, Alex S. Taylor, Richard H. R. Harper |
Making place for clutter and other ideas of home. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Hum. Interact. ![In: ACM Trans. Comput. Hum. Interact. 15(2), pp. 9:1-9:24, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
sacred, ethnography, domestic technology, Clutter, home life |
17 | Alin Deutsch, Alan Nash, Jeffrey B. Remmel |
The chase revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Twenty-Seventh ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2008, June 9-11, 2008, Vancouver, BC, Canada, pp. 149-158, 2008, ACM, 978-1-60558-108-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
chase |
17 | Narendra Ahuja, Sinisa Todorovic |
Connected Segmentation Tree - A joint representation of region layout and hierarchy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVPR ![In: 2008 IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR 2008), 24-26 June 2008, Anchorage, Alaska, USA, 2008, IEEE Computer Society, 978-1-4244-2242-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Johannes Bohnet, Jürgen Döllner |
Analyzing dynamic call graphs enhanced with program state information for feature location and understanding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE Companion ![In: 30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 10-18, 2008, Companion Volume, pp. 915-916, 2008, ACM. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
concept assignment, reverse engineering, maintenance, dynamic analysis, software visualization, feature location |
17 | Shakhar Smorodinsky, Marek Sulovský, Uli Wagner 0001 |
On Center Regions and Balls Containing Many Points. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCOON ![In: Computing and Combinatorics, 14th Annual International Conference, COCOON 2008, Dalian, China, June 27-29, 2008, Proceedings, pp. 363-373, 2008, Springer, 978-3-540-69732-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Jianhua Feng, Qian Qian, Jianyong Wang 0001, Li-Zhu Zhou |
Efficient Mining of Frequent Closed XML Query Pattern. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. Technol. ![In: J. Comput. Sci. Technol. 22(5), pp. 725-735, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
frequent closed pattern, data mining, XML, XPath, computer software |
17 | Yijun Bei, Gang Chen 0001, Tianlei Hu, Jinxiang Dong |
A Caching System for XML Queries Using Frequent Query Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCWD ![In: Proceedings of the 11th International Conference on Computer Supported Cooperative Work in Design, CSCWD 2007, April 26-28, 2007, Melbourne, Australia, pp. 47-52, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Mark Lanus |
Fault Tolerant Schemes for Hot-Swappable and Non Hot-Swappable Mezzanine Cards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISAS ![In: Service Availability, 4th International Service Availability Symposium, ISAS 2007, Durham, NH, USA, May 21-22, 2007, Proceedings, pp. 52-62, 2007, Springer, 978-3-540-72735-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Fault Management Model, Advanced Mezzanine Card, AMC, AMC Carrier, PCI Mezzanine Card, PMC, PMC Carrier, Availability Model |
17 | Weimin He, Leonidas Fegaras, David Levine |
Indexing and Searching XML Documents Based on Content and Structure Synopses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BNCOD ![In: Data Management. Data, Data Everywhere, 24th British National Conference on Databases, BNCOD 24, Glasgow, UK, July 3-5, 2007, Proceedings, pp. 58-69, 2007, Springer, 978-3-540-73389-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Yijun Bei, Gang Chen 0001, Jinxiang Dong |
Improving XML Querying with Maximal Frequent Query Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science (1) ![In: Computational Science - ICCS 2007, 7th International Conference Beijing, China, May 27-30, 2007, Proceedings, Part I, pp. 261-269, 2007, Springer, 978-3-540-72583-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Ming, Maximal Frequent Pattern, Caching, XML Query |
17 | Himanshu Arora, Narendra Ahuja |
Modelling Objects using Distribution and Topology of Multiscale Region Pairs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVPR ![In: 2007 IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR 2007), 18-23 June 2007, Minneapolis, Minnesota, USA, 2007, IEEE Computer Society, 1-4244-1179-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Nidhi Aggarwal, Parthasarathy Ranganathan, Norman P. Jouppi, James E. Smith 0001 |
Configurable isolation: building high availability systems with commodity multi-core processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCA ![In: 34th International Symposium on Computer Architecture (ISCA 2007), June 9-13, 2007, San Diego, California, USA, pp. 470-481, 2007, ACM, 978-1-59593-706-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
chip multiprocessors, high availability, fault isolation |
17 | Kun-Lung Wu, Shyh-Kwei Chen, Philip S. Yu |
Incremental Processing of Continual Range Queries over Moving Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 18(11), pp. 1560-1575, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
continual range queries, mobile computing, moving objects, location-aware applications, Query indexing |
17 | Jianhua Feng, Qian Qian, Jianyong Wang 0001, Lizhu Zhou |
Exploit sequencing to accelerate hot XML query pattern mining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), Dijon, France, April 23-27, 2006, pp. 517-524, 2006, ACM, 1-59593-108-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Yih Huang, David Arsenault, Arun Sood |
Incorruptible system self-cleansing for intrusion tolerance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPCCC ![In: Proceedings of the 25th IEEE International Performance Computing and Communications Conference, IPCCC 2006, April 10-12, 2006, Phoenix, Arizona, USA, 2006, IEEE, 1-4244-0198-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Ashwin Machanavajjhala, Johannes Gehrke |
On the efficiency of checking perfect privacy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Twenty-Fifth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 26-28, 2006, Chicago, Illinois, USA, pp. 163-172, 2006, ACM, 1-59593-318-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Anália Lourenço, Orlando Belo |
Catching web crawlers in the act. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWE ![In: Proceedings of the 6th International Conference on Web Engineering, ICWE 2006, Palo Alto, California, USA, July 11-14, 2006, pp. 265-272, 2006, ACM, 1-59593-352-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
data webhousing, web usage mining, web crawler, traverse patterns |
17 | Saeed Rajput, Xiaoguang Sun, Sam Hsu |
Mitigating Worm Propagation on Virtual LANs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCN ![In: LCN 2006, The 31st Annual IEEE Conference on Local Computer Networks, Tampa, Florida, USA, 14-16 November 2006, pp. 555-556, 2006, IEEE Computer Society, 1-4244-0418-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Subhash Khot |
Guest column: inapproximability results via Long Code based PCPs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGACT News ![In: SIGACT News 36(2), pp. 25-42, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Changqing Li, Tok Wang Ling, Jiaheng Lu, Tian Yu |
On reducing redundancy and improving efficiency of XML labeling schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIKM ![In: Proceedings of the 2005 ACM CIKM International Conference on Information and Knowledge Management, Bremen, Germany, October 31 - November 5, 2005, pp. 225-226, 2005, ACM, 1-59593-140-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
XML, redundancy, query, labeling scheme |
17 | Kun-Lung Wu, Shyh-Kwei Chen, Philip S. Yu |
On Incremental Processing of Continual Range Queries for Location-Aware Services and Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MobiQuitous ![In: 2nd Annual International Conference on Mobile and Ubiquitous Systems (MobiQuitous 2005), 17-21 July 2005, San Diego, CA, USA, pp. 261-269, 2005, IEEE Computer Society, 0-7695-2375-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Mobilec Computing, Location-Aware Applications and Continual Range Queries, Moving Objects, Query Indexing |
17 | Andrew J. Malton, Richard C. Holt |
Boxology of NBA and TA: A Basis for Understanding Software Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCRE ![In: 12th Working Conference on Reverse Engineering, WCRE 2005, Pittsburgh, PA, USA, November 7-11, 2005, pp. 187-195, 2005, IEEE Computer Society, 0-7695-2474-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Milan Vojnovic, Ayalvadi J. Ganesh |
On the effectiveness of automatic patching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WORM ![In: Proceedings of the 2005 ACM Workshop on Rapid Malcode, WORM 2005, Fairfax, VA, USA, November 11, 2005, pp. 41-50, 2005, ACM Press, 1-59593-229-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
minimum broadcast curve, worm, patching, virus, epidemic, software updates, automatic updates |
17 | Linda Briesemeister, Phillip A. Porras |
Microscopic Simulation of a Group Defense Strategy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADS ![In: 19th Workshop on Parallel and Distributed Simulation, PADS 20055, Monterey, CA, USA, June 1-3, 2005, pp. 254-261, 2005, IEEE Computer Society, 0-7695-2383-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Dacheng Zhang, Jie Xu 0007 |
Multi-Party Authentication for Web Services: Protocols, Implementation and Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC ![In: 7th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2004), 12-14 May 2004, Vienna, Austria, pp. 227-234, 2004, IEEE Computer Society, 0-7695-2124-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
security, Web services, fault tolerance, Authentication, key exchange, Internet computing |
17 | Ralf Rantzau |
Frequent Itemset Discovery with SQL Using Universal Quantification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Database Support for Data Mining Applications ![In: Database Support for Data Mining Applications: Discovering Knowledge with Inductive Queries, pp. 194-213, 2004, Springer, 3-540-22479-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Stuart Staniford, David Moore 0001, Vern Paxson, Nicholas Weaver |
The top speed of flash worms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WORM ![In: Proceedings of the 2004 ACM Workshop on Rapid Malcode, WORM 2004, Washington, DC, USA, October 29, 2004, pp. 33-42, 2004, ACM Press, 1-58113-970-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
flash worm, simulation, modeling, worms |
17 | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi |
Reasoning on regular path queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Rec. ![In: SIGMOD Rec. 32(4), pp. 83-92, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Lei Luo 0004, Ming-Yuan Zhu |
Partitioning based operating system: a formal model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS Oper. Syst. Rev. ![In: ACM SIGOPS Oper. Syst. Rev. 37(3), pp. 23-35, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Frank K. Hwang, Yu-Chi Liu |
Random Pooling Designs Under Various Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Optim. ![In: J. Comb. Optim. 7(4), pp. 339-352, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
random pooling designs, clone library screening, k-clique |
17 | Bing Sun, Jianhua Lv, Guoren Wang, Ge Yu 0001, Bo Zhou |
Efficient Evaluation of XML Path Queries with Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WAIM ![In: Advances in Web-Age Information Management, 4th International Conference, WAIM 2003, Chengdu, China, August 17-19, 2003, Proceedings, pp. 116-127, 2003, Springer, 3-540-40715-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Sandra Murphy, Abhijit Hayatnagarkar, Suresh Krishnaswamy, Wayne Morrison, Robert Watson |
Active Network Fault Response. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISCEX (2) ![In: 3rd DARPA Information Survivability Conference and Exposition (DISCEX-III 2003), 22-24 April 2003, Washington, DC, USA, pp. 91-93, 2003, IEEE Computer Society, 0-7695-1897-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Ricardo Rodrigues Ciferri, Ana Carolina Salgado, Valéria Cesário Times, Mario A. Nascimento, Geovane Cayres Magalhães |
A Performance Comparison among the Traditional R-trees, the Hilbert R-tree and the SR-tree. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCCC ![In: 23rd International Conference of the Chilean Computer Science Society (SCCC 2003), 6-7 November 2003, Chillan, Chile, pp. 3-12, 2003, IEEE Computer Society, 0-7695-2008-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani, Serdar Tasiran |
An assume-guarantee rule for checking simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 24(1), pp. 51-64, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
verification rules, Simulation relations |
17 | Arshad Jhumka, Martin Hiller, Neeraj Suri |
An Approach to Specify and Test Component-Based Dependable Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 7th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2002), 23-25 October 2002, Tokyo, Japan, pp. 211-220, 2002, IEEE Computer Society, 0-7695-1769-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Shurug Al-Khalifa, H. V. Jagadish |
Multi-level operator combination in XML query processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIKM ![In: Proceedings of the 2002 ACM CIKM International Conference on Information and Knowledge Management, McLean, VA, USA, November 4-9, 2002, pp. 134-141, 2002, ACM. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
XML, query processing |
17 | Chunling Du, Jingliang Zhang, Guoxiao Guo |
Vibration analysis and optimal control in self-servo track writer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICARCV ![In: Seventh International Conference on Control, Automation, Robotics and Vision, ICARCV 2002, Singapore, 2-5 December 2002, Proceedings, pp. 156-161, 2002, IEEE, 981-04-8364-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Kousha Etessami |
A Hierarchy of Polynomial-Time Computable Simulations for Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2002 - Concurrency Theory, 13th International Conference, Brno, Czech Republic, August 20-23, 2002, Proceedings, pp. 131-144, 2002, Springer, 3-540-44043-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Arshad Jhumka, Martin Hiller, Neeraj Suri |
Component-Based Synthesis of Dependable Embedded Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTRTFT ![In: Formal Techniques in Real-Time and Fault-Tolerant Systems, 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002, Proceedings, pp. 111-128, 2002, Springer, 3-540-44165-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Daniel P. Miranker, Malcolm C. Taylor, Anand Padmanaban |
A Tractable Query Cache by Approximation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SARA ![In: Abstraction, Reformulation and Approximation, 5th International Symposium, SARA 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings, pp. 140-151, 2002, Springer, 3-540-43941-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
17 | David W. Kravitz, Kim-Ee Yeoh, Nicol So |
Secure Open Systems for Protecting Privacy and Digital Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Digital Rights Management Workshop ![In: Security and Privacy in Digital Rights Management, ACM CCS-8 Workshop DRM 2001, Philadelphia, PA, USA, November 5, 2001, Revised Papers, pp. 106-125, 2001, Springer, 3-540-43677-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Junhu Wang, Rodney W. Topor, Michael J. Maher |
Reasoning with Disjunctive Constrained Tuple-Generating Dependencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA ![In: Database and Expert Systems Applications, 12th International Conference, DEXA 2001 Munich, Germany, September 3-5, 2001, Proceedings, pp. 963-973, 2001, Springer, 3-540-42527-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Fang Wei 0001, Georg Lausen |
A Formal Analysis of the Lightweight Directory Access Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER (Workshops) ![In: ER 2001 Workshops, HUMACS, DASWIS, ECOMO, and DAMA, Yokohama Japan, November 27-30, 2001, Revised Papers, pp. 306-319, 2001, Springer, 3-540-44122-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Prasenjit Mitra |
An algorithm for answering queries efficiently using views. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADC ![In: Twelfth Australasian Database Conference, ADC2001, Bond University, Queensland, Australia, January 29 - February 1, 2001, pp. 99-106, 2001, IEEE Computer Society, 0-7695-0966-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Ann T. Tai, Kam S. Tso, William H. Sanders, Leon Alkalai, Savio N. Chau |
Low-Cost Flexible Software Fault Tolerance for Distributed Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSRE ![In: 12th International Symposium on Software Reliability Engineering (ISSRE 2001), 27-30 November 2001, Hong Kong, China, pp. 148-159, 2001, IEEE Computer Society, 0-7695-1306-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Lingli Wang, A. E. A. Almaini |
Multilevel Logic Minimization Using Functional Don't Cares. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: 14th International Conference on VLSI Design (VLSI Design 2001), 3-7 January 2001, Bangalore, India, pp. 417-424, 2001, IEEE Computer Society, 0-7695-0831-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
17 | André Bergholz, Johann Christoph Freytag |
Managing Schemata for Semistructured Databases Using Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADBIS-DASFAA ![In: Current Issues in Databases and Information Systems, East-European Conference on Advances in Databases and Information Systems Held Jointly with International Conference on Database Systems for Advanced Applications, ADBIS-DASFAA 2000, Prague, Czech Republic, September 5-8, 2000, Proceedings, pp. 23-36, 2000, Springer, 3-540-67977-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Jean-Charles Fabre |
On the Use of COTS Microkernels for Dependable Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISADS ![In: The Fourth International Symposium on Autonomous Decentralized Systems, ISADS 1999, Tokyo, Japan, March 20-23, 1999, pp. 132-141, 1999, IEEE Computer Society, 0-7695-0137-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Elena Baralis, Giuseppe Psaila |
Incremental Refinement of Mining Queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DaWaK ![In: Data Warehousing and Knowledge Discovery, First International Conference, DaWaK '99, Florence, Italy, August 30 - September 1, 1999, Proceedings, pp. 173-182, 1999, Springer, 3-540-66458-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Kinshuk Govil, Dan Teodosiu 0002, Yongqiang Huang 0002, Mendel Rosenblum |
Cellular Disco: resource management using virtual clusters on shared-memory multiprocessors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOSP ![In: Proceedings of the 17th ACM Symposium on Operating System Principles, SOSP 1999, Kiawah Island Resort, near Charleston, South Carolina, USA, December 12-15, 1999, pp. 154-169, 1999, ACM, 1-58113-140-2. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajamani, Serdar Tasiran |
An Assume-Guarantee Rule for Checking Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, Second International Conference, FMCAD '98, Palo Alto, California, USA, November 4-6, 1998, Proceedings, pp. 421-432, 1998, Springer, 3-540-65191-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Yatin Vasant Hoskote, Jacob A. Abraham, Donald S. Fussell, John Moondanos |
Automatic verification of implementations of large circuits against HDL specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 16(3), pp. 217-228, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Orna Kupferman, Robert P. Kurshan, Mihalis Yannakakis |
Existence of Reduction Hierarchies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 11th International Workshop, CSL '97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers, pp. 327-340, 1997, Springer, 3-540-64570-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Gitanjali Swamy |
Formal Verification of Digital Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: 10th International Conference on VLSI Design (VLSI Design 1997), 4-7 January 1997, Hyderabad, India, pp. 213-217, 1997, IEEE Computer Society, 0-8186-7755-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Antonio Massari, Lorenzo Saladini |
Virgilio: a VR-based system for database visualization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVI ![In: Proceedings of the workshop on Advanced visual interfaces 1996, Gubbio, Italy, May 27-29, 1996, pp. 263-265, 1996, ACM Press, 0-89791-834-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Chandrajit L. Bajaj, Insung Ihm |
Hermite Interpolation of Rational Space Curves Using Real Algebraic Surfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCG ![In: Proceedings of the Fifth Annual Symposium on Computational Geometry, Saarbrücken, Germany, June 5-7, 1989, pp. 94-103, 1989, ACM, 0-89791-318-3. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
17 | Oded Shmueli |
Decidability and Expressiveness of Logic Queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, March 23-25, 1987, San Diego, California, USA, pp. 237-249, 1987, ACM, 0-89791-223-3. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
17 | Eitan M. Gurari, Oscar H. Ibarra |
The Complexity of Decision Problems for Finite-Turn Multicounter Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 8th Colloquium, Acre (Akko), Israel, July 13-17, 1981, Proceedings, pp. 495-505, 1981, Springer, 3-540-10843-2. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
16 | Matt Duckham, Doron Nussbaum, Jörg-Rüdiger Sack, Nicola Santoro |
Efficient, Decentralized Computation of the Topology of Spatial Regions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 60(8), pp. 1100-1113, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
decentralized spatial computing, wireless sensor networks, containment, Qualitative spatial reasoning, adjacency, geosensor networks |
16 | Sven Köhler 0001, Volker Turau |
Fault-Containing Self-Stabilization in Asynchronous Systems with Constant Fault-Gap. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: 2010 International Conference on Distributed Computing Systems, ICDCS 2010, Genova, Italy, June 21-25, 2010, pp. 418-427, 2010, IEEE Computer Society, 978-0-7695-4059-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
single transient faults, self-stabilization, fault-containment |
16 | Junhu Wang, Jeffrey Xu Yu, Chengfei Liu |
Independence of Containing Patterns Property and Its Application in Tree Pattern Query Rewriting Using Views. ![Search on Bibsonomy](Pics/bibsonomy.png) |
World Wide Web ![In: World Wide Web 12(1), pp. 87-105, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
XPath, views, rewriting, containment, tree pattern |
16 | Rebecca Robinson, Graham Farr |
Structure and Recognition of Graphs with No 6-wheel Subdivision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithmica ![In: Algorithmica 55(4), pp. 703-728, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Topological containment, Subgraph homeomorphism problem, Graph algorithms, Subdivisions |
16 | Junhu Wang, Jeffrey Xu Yu, Chaoyi Pang, Chengfei Liu |
Minimal common container of tree patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIKM ![In: Proceedings of the 18th ACM Conference on Information and Knowledge Management, CIKM 2009, Hong Kong, China, November 2-6, 2009, pp. 1409-1412, 2009, ACM, 978-1-60558-512-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
xpath, containment, tree pattern |
16 | Michael Benedikt, Wenfei Fan, Floris Geerts |
XPath satisfiability in the presence of DTDs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 55(2), pp. 8:1-8:79, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
XML, Satisfiability, XPath, Containment, DTDs |
16 | Medha Umarji, Carolyn B. Seaman |
Why do programmers avoid metrics? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEM ![In: Proceedings of the Second International Symposium on Empirical Software Engineering and Measurement, ESEM 2008, October 9-10, 2008, Kaiserslautern, Germany, pp. 129-138, 2008, ACM, 978-1-59593-971-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
in-process metrics, phase containment, static analysis, software metrics, quality, unit testing, code review |
16 | Piero A. Bonatti, Fabio Mogavero |
Comparing Rule-Based Policies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POLICY ![In: 9th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2008), 2-4 June 2008, Palisades, New York, USA, pp. 11-18, 2008, IEEE Computer Society, 978-0-7695-3133-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Rule-based policies, Policy comparison, Policy-aware service selection, Policy compliance, Datalog query containment, Policy verification |
16 | Tetz C. Huang |
An efficient fault-containing self-stabilizing algorithm for the shortest path problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Comput. ![In: Distributed Comput. 19(2), pp. 149-161, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Single-fault situation, Stabilization time, Shortest path problem, Fault-containment, Self-stabilizing algorithm |
16 | David Brumley, Li-Hao Liu, Pongsin Poosankam, Dawn Xiaodong Song |
Design space and analysis of worm defense strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AsiaCCS ![In: Proceedings of the 2006 ACM Symposium on Information, Computer and Communications Security, ASIACCS 2006, Taipei, Taiwan, March 21-24, 2006, pp. 125-137, 2006, ACM, 1-59593-272-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
defense strategy analysis, local containment, proactive protection, worm taxonomy, worms, blacklisting, antibody, worm propagation |
16 | Joffroy Beauquier, Sylvie Delaët, Sammy Haddad |
A 1-Strong Self-stabilizing Transformer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems, 8th International Symposium, SSS 2006, Dallas, TX, USA, November 17-19, 2006, Proceedings, pp. 95-109, 2006, Springer, 978-3-540-49018-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
k-strong, Transformer, Self-stabilization, Fault Containment |
16 | Kun-Lung Wu, Shyh-Kwei Chen, Philip S. Yu |
Efficient structural joins with on-the-fly indexing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW (Special interest tracks and posters) ![In: Proceedings of the 14th international conference on World Wide Web, WWW 2005, Chiba, Japan, May 10-14, 2005 - Special interest tracks and posters, pp. 1028-1029, 2005, ACM, 1-59593-051-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
containment queries, XML, structural joins |
16 | Ali Kiani, Nematollaah Shiri |
Answering queries with arithmetic expressions in heterogeneous systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IHIS ![In: Proceedings of the first international ACM workshop on Interoperability of Heterogeneous Information Systems (IHIS'05), CIKM Conference, Bremen, Germany, November 4, 2005, pp. 17-24, 2005, ACM. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
metadata, constraints, views, query rewriting, containment |
16 | Christian S. Jensen, Augustas Kligys, Torben Bach Pedersen, Igor Timko |
Multidimensional data modeling for location-based services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLDB J. ![In: VLDB J. 13(1), pp. 1-21, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Partial containment, Location-based services, Data modeling, Multidimensional data |
16 | Murat Demirbas, Anish Arora, Tina Nolte, Nancy A. Lynch |
Brief announcement: STALK: a self-stabilizing hierarchical tracking service for sensor networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the Twenty-Third Annual ACM Symposium on Principles of Distributed Computing, PODC 2004, St. John's, Newfoundland, Canada, July 25-28, 2004, pp. 378, 2004, ACM, 1-58113-802-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
sensor networks, tracking, self-stabilization, distributed data structures, fault-containment |
16 | Pierre Genevès, Jean-Yves Vion-Dury |
Logic-based XPath optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Symposium on Document Engineering ![In: Proceedings of the 2004 ACM Symposium on Document Engineering, Milwaukee, Wisconsin, USA, October 28-30, 2004, pp. 211-219, 2004, ACM, 1-58113-938-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
optimization, XML, efficiency, query, XPath, containment, axiomatization |
16 | Chan Yu, Souran Manoochehri |
Optimal packing using the multiple mating method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eng. Comput. ![In: Eng. Comput. 19(1), pp. 56-65, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Geometric Feature Mating, Containment, Packing, Nesting, Convex Decomposition |
16 | Ji-Cherng Lin, Tetz C. Huang |
An Efficient Fault-Containing Self-Stabilizing Algorithm for Finding a Maximal Independent Set. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 14(8), pp. 742-754, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Central demon, single transient fault, restrictions on guard conditions, primary variables, auxiliary secondary variables, stabilization time, contamination number, maximal independent set, fault-containment |
16 | Zohra Bellahsene |
Schema Evolution in Data Warehouses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Knowl. Inf. Syst. ![In: Knowl. Inf. Syst. 4(3), pp. 283-304, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Data warehouse evolution, Structural view maintenance, Containment, View maintenance, View adaptation |
16 | David Harel, Orna Kupferman |
On Object Systems and Behavioral Inheritance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 28(9), pp. 889-903, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
object systems, trace containment, simulation, verification, inheritance, Object-oriented analysis and design |
16 | Franky Lam, Nicole Lam, Raymond K. Wong 0001 |
Efficient synchronization for mobile XML data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIKM ![In: Proceedings of the 2002 ACM CIKM International Conference on Information and Knowledge Management, McLean, VA, USA, November 4-9, 2002, pp. 153-160, 2002, ACM. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
information subscription, path containment, XML, information dissemination |
16 | Georg Gottlob, Nicola Leone, Francesco Scarcello |
The complexity of acyclic conjunctive queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 48(3), pp. 431-498, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
LOGCFL, acyclic hypergraph, degree of cyclicity, hinge, join tree, qury-idth, algorithm, parallel algorithm, constraint, CSP, database theory, constraint satisfaction problem, conjunctive query, subsumption, query containment, bounded treewidth, tree query |
16 | Ted Herman |
Superstabilizing Mutual Exclusion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Comput. ![In: Distributed Comput. 13(1), pp. 1-17, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Self-stabilization, Mutual exclusion, Fault-containment |
16 | Ted Herman |
Phase Clocks for Transient Fault Repair. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 11(10), pp. 1048-1057, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
fault tolerance, Distributed algorithms, synchronizers, self stabilization, fault containment, time adaptive |
16 | Fernando Ferri, Elaheh Pourabbas, Maurizio Rafanelli, Fabrizio L. Ricci |
Extending Geographic Databases for a Query Language to Support Queries Involving Statistical Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSDBM ![In: Proceedings of the 12th International Conference on Scientific and Statistical Database Management, Berlin, Germany, July 26-28, 2000, pp. 220-230, 2000, IEEE Computer Society, 0-7695-0686-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Complete Containment Function, Full Contains, Functional Attributes, Statistical Database, Geographic Database |
16 | David G. Clarke, John Potter, James Noble 0001 |
Ownership Types for Flexible Alias Protection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 1998 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages & Applications, OOPSLA 1998, Vancouver, British Columbia, Canada, October 18-22, 1998., pp. 48-64, 1998, ACM, 1-58113-005-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
alias protection, representation exposure, sharing, containment, ownership, programming language design |
16 | Sukumar Ghosh, Arobinda Gupta, Sriram V. Pemmaraju |
Fault-containing network protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 1997 ACM symposium on Applied Computing, SAC'97, San Jose, CA, USA, February 28 - March 1, pp. 431-437, 1997, ACM, 0-89791-850-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
fault-containment network, fault-tolerance, self-stabilization |
16 | H. Jedidi, Béchir el Ayeb |
A distributed simulation based monitoring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTDCS ![In: 6th IEEE Workshop on Future Trends of Distributed Computer Systems (FTDCS '97), 29-31 October 1997, Tunis, Tunisia, Proceedings, pp. 72-77, 1997, IEEE Computer Society, 0-8186-8153-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
distributed simulation based monitoring, MSS, computer-based monitoring system, integrated cooperative objects, object-based framework, cooperating objects model, high performance algorithms, monitoring tasks, control assistant, hierarchical design style, complex control tools, software reuse, system design, inheritance, dynamic system, encapsulation, blackboard architecture, blackboard architecture, fault containment, object oriented methodologies |
16 | Jon M. Kleinberg, Ronitt Rubinfeld |
Short Paths in Expander Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 37th Annual Symposium on Foundations of Computer Science, FOCS '96, Burlington, Vermont, USA, 14-16 October, 1996, pp. 86-95, 1996, IEEE Computer Society, 0-8186-7594-2. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
inter-connection networks, disjoint paths problem, graph minor containment, polylogarithmic approximation, routing algorithms, greedy algorithm, network routing, multicommodity flow, expander graphs |
Displaying result #201 - #300 of 2100 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ >>] |
|