Query Results - Web Services, Formal Methods, and Behavioral Types Workshop Chairs (3rd to 11th Workshop)

xtitleyearvalue
http://dblp.org/rec/books/ph/Hoare85Communicating Sequential Processes1985119.9210058040489
http://dblp.org/rec/journals/cacm/Hoare69An Axiomatic Basis for Computer Programming.196994.49971345589222
http://dblp.org/rec/journals/cacm/Hoare78Communicating Sequential Processes.197882.42231475189047
http://dblp.org/rec/journals/cacm/EllisGR91Groupware: Some Issues and Experiences.199152.26132116788549
http://dblp.org/rec/journals/pami/HaritaogluHD00W4: Real-Time Surveillance of People and Their Activities.200043.32466890730444
http://dblp.org/rec/journals/cacm/Hoare74Monitors: An Operating System Structuring Concept.197440.131225518755585
http://dblp.org/rec/journals/pami/YangZFY04Two-Dimensional PCA: A New Approach to Appearance-Based Face Representation and Recognition.200438.261989456780036
http://dblp.org/rec/conf/sosp/RowstronD01Storage Management and Caching in PAST, A Large-scale, Persistent Peer-to-peer Storage Utility.200130.6257293748214
http://dblp.org/rec/books/mk/BunemanSA99Data on the Web: From Relations to Semistructured Data and XML199930.595958691310685
http://dblp.org/rec/journals/jsac/CastroDKR02Scribe: a large-scale and decentralized application-level multicast infrastructure.200227.43828459390648
http://dblp.org/rec/journals/tse/BasiliBM96A Validation of Object-Oriented Design Metrics as Quality Indicators.199626.85137612537508
http://dblp.org/rec/books/daglib/0098888Principles of program analysis.199926.438062192785747
http://dblp.org/rec/conf/icdm/YanH02gSpan: Graph-Based Substructure Pattern Mining.200225.823046628611248
http://dblp.org/rec/journals/tocs/CarzanigaRW01Design and evaluation of a wide-area event notification service.200125.262050372137402
http://dblp.org/rec/journals/tse/ZengBNDKC04QoS-Aware Middleware for Web Services Composition.200424.773594258581433
http://dblp.org/rec/books/sp/Reisig85aPetri Nets: An Introduction198524.267097411070992
http://dblp.org/rec/conf/vldb/AgrawalLSS95Fast Similarity Search in the Presence of Noise, Scaling, and Translation in Time-Series Databases.199523.814205425652318
http://dblp.org/rec/conf/mobicom/RatnasamyKYYEGS02GHT: a geographic hash table for data-centric storage.200223.773000264053437
http://dblp.org/rec/journals/csur/CardelliW85On Understanding Types, Data Abstraction, and Polymorphism.198523.219367330121944
http://dblp.org/rec/conf/wads/Pugh89Skip Lists: A Probabilistic Alternative to Balanced Trees.198923.097475900432553
http://dblp.org/rec/journals/cacm/Pugh92A Practical Algorithm for Exact Array Dependence Analysis.199222.221145501554624
http://dblp.org/rec/reference/db/Aalst09jWorkflow Patterns.200922.0870013777733
http://dblp.org/rec/journals/iandc/MilnerPW92aA Calculus of Mobile Processes, I199221.647044026544506
http://dblp.org/rec/journals/jacm/IbarraK75Fast Approximation Algorithms for the Knapsack and Sum of Subset Problems.197521.3352154958356
http://dblp.org/rec/journals/ijahuc/BaldaufDR07A survey on context-aware systems.200720.976610363409375
http://dblp.org/rec/journals/iandc/Moggi91Notions of Computation and Monads199120.72187491316264
http://dblp.org/rec/conf/cav/CimattiCGGPRST02NuSMV 2: An OpenSource Tool for Symbolic Model Checking.200220.28143414477465
http://dblp.org/rec/books/daglib/0068834Implementing mathematics with the Nuprl proof development system.198618.918833101926207
http://dblp.org/rec/journals/sigmod/McHughAGQW97Lore: A Database Management System for Semistructured Data.199718.862214976506294
http://dblp.org/rec/journals/cacm/Dijkstra7518.639924872271557
http://dblp.org/rec/books/sp/dcsa/Alonso04Web Services - Concepts, Architectures and Applications200418.47800618314885
http://dblp.org/rec/conf/fossacs/CardelliG98Mobile Ambients.199818.46717478521406
http://dblp.org/rec/conf/os/CampbellH7418.267591792210624
http://dblp.org/rec/conf/mobisys/ZhouHKS04Impact of Radio Irregularity on Wireless Sensor Networks.200418.20119432240191
http://dblp.org/rec/journals/cacm/BackusBGKMPRSVWWW6018.154679832795853
http://dblp.org/rec/journals/cacm/Conway6318.12761521991159
http://dblp.org/rec/journals/pami/YangFYZJ05KPCA Plus LDA: A Complete Kernel Fisher Discriminant Framework for Feature Extraction and Recognition.200517.98076585461556
http://dblp.org/rec/conf/kdd/DongL99Efficient Mining of Emerging Patterns: Discovering Trends and Differences.199917.300210952419025
http://dblp.org/rec/conf/icde/VlachosGK02Discovering Similar Multidimensional Trajectories.200217.12940143098731
http://dblp.org/rec/books/daglib/0070910The formal semantics of programming languages - an introduction.199316.728556282118138
http://dblp.org/rec/journals/jacm/IbarraK77Heuristic Algorithms for Scheduling Independent Tasks on Nonidentical Processors.197716.524894855129673
http://dblp.org/rec/books/mit/Aalst2002Workflow Management: Models, Methods, and Systems200216.416760513626393
http://dblp.org/rec/conf/agents/WurmanWW98The Michigan Internet AcutionBot: A Configuarable Auction Server for Human and Software Agents.199816.284982644452064
http://dblp.org/rec/books/daglib/0084624A Theory of Objects.199615.96616289073686
http://dblp.org/rec/conf/osdi/CastroDGRW02Secure Routing for Structured Peer-to-Peer Overlay Networks.200215.889588273229243
http://dblp.org/rec/conf/cikm/AbererD01Managing Trust in a Peer-2-Peer Information System.200115.830487861147352
http://dblp.org/rec/journals/internet/CurberaDKNMW02Unraveling the Web Services Web: An Introduction to SOAP, WSDL, and UDDI.200215.5405243777441
http://dblp.org/rec/conf/crypto/AbadiBLP91A Calculus for Access Control in Distributed Systems.199115.220608773218746
http://dblp.org/rec/conf/popl/MansonPA05The Java memory model.200515.117482907478507
http://dblp.org/rec/conf/icde/ChaudhuriKPS95Optimizing Queries with Materialized Views.199515.032662788527787
http://dblp.org/rec/conf/lics/HarperHP87A Framework for Defining Logics198714.90628647787396
http://dblp.org/rec/conf/icde/BayardoAG99Constraint-Based Rule Mining in Large, Dense Databases.199914.765668310515148
http://dblp.org/rec/journals/toplas/MartelliM82An Efficient Unification Algorithm.198214.708581864793072
http://dblp.org/rec/journals/tissec/DamianiVPS02A fine-grained access control system for XML documents.200214.374831101591973
http://dblp.org/rec/conf/pods/ArenasBC99Consistent Query Answers in Inconsistent Databases.199914.217635178763034
http://dblp.org/rec/journals/cacm/BasiliP84Software Errors and Complexity: An Empirical Investigation.198414.039753973401341
http://dblp.org/rec/conf/popl/BerryB90The Chemical Abstract Machine.199013.955110743882871
http://dblp.org/rec/journals/datamine/HanCXY07Frequent pattern mining: current status and future directions.200713.679799087373215
http://dblp.org/rec/journals/tse/MensT04A Survey of Software Refactoring.200413.54994567878615
http://dblp.org/rec/conf/cscw/SunE98Operational Transformation in Real-Time Group Editors: Issues, Algorithms, and Achievements.199813.3466497431658
http://dblp.org/rec/conf/icde/HanDY99Efficient Mining of Partial Periodic Patterns in Time Series Database.199913.213307381893536
http://dblp.org/rec/journals/jacm/BistarelliMR97Semiring-based constraint satisfaction and optimization.199713.201768615215352
http://dblp.org/rec/journals/jar/CalvaneseGLLR07Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family.200712.689088456175352
http://dblp.org/rec/conf/sosp/CostaCCRZZB05Vigilante: end-to-end containment of internet worms.200512.527414594781156
http://dblp.org/rec/journals/tse/BasiliSL99Building Knowledge through Families of Experiments.199912.481120409099994
http://dblp.org/rec/books/daglib/0005815Production workflow - concepts and techniques.200012.397018341538107
http://dblp.org/rec/journals/tcs/Meseguer92Conditioned Rewriting Logic as a United Model of Concurrency.199212.201066851825903
http://dblp.org/rec/journals/tse/IlgunKP95State Transition Analysis: A Rule-Based Intrusion Detection Approach.199512.019300297973736
http://dblp.org/rec/journals/computer/Fidge91Logical Time in Distributed Computing Systems.199111.951631110946403
http://dblp.org/rec/journals/csur/EllisN80Office Information Systems and Computer Science.198011.876739398340815
http://dblp.org/rec/conf/pods/AbiteboulD98Complexity of Answering Queries Using Materialized Views.199811.861147566256223
http://dblp.org/rec/journals/is/PasquierBTL99Efficient Mining of Association Rules Using Closed Itemset Lattices.199911.850752582042603
http://dblp.org/rec/conf/www/ZengBDKS03Quality driven web services composition.200311.765302333025948
http://dblp.org/rec/journals/tocs/JelasityMB05Gossip-based aggregation in large dynamic networks.200511.724166678162085
http://dblp.org/rec/conf/stoc/GuhaKS01Data-streams and histograms.200111.711888184986721
http://dblp.org/rec/conf/ancs/YuCDLK06Fast and memory-efficient regular expression matching for deep packet inspection.200611.353527626364304
http://dblp.org/rec/conf/fgr/HaritaogluHD98W4: Who? When? Where? What? A Real Time System for Detecting and Tracking People.199811.207995014287029
http://dblp.org/rec/journals/computer/PapazoglouTDL07Service-Oriented Computing: State of the Art and Research Challenges.200711.167330699415304
http://dblp.org/rec/conf/concur/BouajjaniEM97Reachability Analysis of Pushdown Automata: Application to Model-Checking.199711.043410708984565
http://dblp.org/rec/conf/hotos/DruschelR01PAST: A large-scale, persistent peer-to-peer storage utility.200110.979105304989783
http://dblp.org/rec/journals/ai/GiacomoLL00ConGolog, a concurrent programming language based on the situation calculus.200010.932662452280518
http://dblp.org/rec/conf/bda/CobenaAM01Detecting Changes in XML documents.200110.8674834428038
http://dblp.org/rec/conf/lics/Moggi89Computational Lambda-Calculus and Monads198910.867444729157798
http://dblp.org/rec/conf/fast/NarayananDR08Write Off-Loading: Practical Power Management for Enterprise Storage.200810.681161673283695
http://dblp.org/rec/conf/popl/MitchellP85Abstract Types Have Existential Type.198510.584322882847722
http://dblp.org/rec/journals/computer/BoehmB01Software Defect Reduction Top 10 List.200110.564528325129944
http://dblp.org/rec/conf/ccs/YinSEKK07Panorama: capturing system-wide information flow for malware detection and analysis.200710.39648650871705
http://dblp.org/rec/journals/ai/LevyR98aCombining Horn Rules and Description Logics in CARIN.199810.34113845296923
http://dblp.org/rec/journals/tse/BriandMB96Property-Based Software Engineering Measurement.199610.214595571399586
http://dblp.org/rec/conf/sc/Pught91The Omega test: a fast and practical integer programming algorithm for dependence analysis.199110.161876295648465
http://dblp.org/rec/conf/dagstuhl/ChengLGIMABBBCSDFGGGKKKLMMMPSTTWW09Software Engineering for Self-Adaptive Systems: A Research Roadmap.200910.08351845580864
http://dblp.org/rec/conf/vldb/GarofalakisRS99SPIRIT: Sequential Pattern Mining with Regular Expression Constraints.199910.083203487476606
http://dblp.org/rec/conf/pods/KolaitisV98Conjunctive-Query Containment and Constraint Satisfaction.19989.982427473122335
http://dblp.org/rec/conf/www/LiuNZ04QoS computation and policing in dynamic web service selection.20049.643367166242152
http://dblp.org/rec/journals/monet/RatnasamyKSEGYY03Data-Centric Storage in Sensornets with GHT, a Geographic Hash Table.20039.59839138507747
http://dblp.org/rec/conf/ngc/RowstronKCD01SCRIBE: The Design of a Large-Scale Event Notification Infrastructure.20019.59318082697994
http://dblp.org/rec/journals/taas/DobsonDFGGMNSSZ06A survey of autonomic communications.20069.415642781627575
http://dblp.org/rec/conf/kdd/YanH03CloseGraph: mining closed frequent graph patterns.20039.38852219347584
http://dblp.org/rec/journals/tosem/HeitmeyerJL96Automated Consistency Checking of Requirements Specifications.19969.382672491889661
http://dblp.org/rec/journals/toplas/CleavelandPS93The Concurrency Workbench: A Semantics-Based Tool for the Verification of Concurrent Systems.19939.35287917941746
http://dblp.org/rec/conf/kr/GiunchigliaG98Local Models Semantics, or Contextual Reasoning = Locality + Compatibility.19989.320852066483598
http://dblp.org/rec/conf/sdt/Cardelli84A Semantics of Multiple Inheritance.19849.299946983571267
http://dblp.org/rec/journals/tse/PorterVB95Comparing Detection Methods for Software Requirements Inspections: A Replicated Experiment.19959.256528933475517
http://dblp.org/rec/conf/ccs/DamianiVPSV02A reputation-based approach for choosing reliable resources in peer-to-peer networks.20029.138008732106266
http://dblp.org/rec/conf/sigmod/VlachosMV04Identifying Similarities, Periodicities and Bursts for Online Search Queries.20049.117810945079901
http://dblp.org/rec/conf/icdcs/BabaogluMM02Anthill: A Framework for the Development of Agent-Based Peer-to-Peer Systems.20029.050906564808788
http://dblp.org/rec/conf/icdt/PasquierBTL99Discovering Frequent Closed Itemsets for Association Rules.19998.915431166525611
http://dblp.org/rec/conf/sensys/ShrivastavaBAS04Medians and beyond: new aggregation techniques for sensor networks.20048.861097694175413
http://dblp.org/rec/conf/mobisys/WangLAJHKS09A framework of energy efficient mobile sensing for automatic user state recognition.20098.844766836131948
http://dblp.org/rec/conf/sigmod/GhinitaKKST08Private queries in location based services: anonymizers are not necessary.20088.840327739507133
http://dblp.org/rec/journals/tse/Mens02A State-of-the-Art Survey on Software Merging.20028.719952000994423
http://dblp.org/rec/journals/tse/BaierHHK03Model-Checking Algorithms for Continuous-Time Markov Chains.20038.702014895588881
http://dblp.org/rec/conf/sigcomm/StoicaMKKB018.684298408877535
http://dblp.org/rec/conf/ecp/KoehlerNHD97Extending Planning Graphs to an ADL Subset.19978.66896945694749
http://dblp.org/rec/journals/tods/JagadishOTYZ05iDistance: An adaptive B+-tree based indexing method for nearest neighbor search.20058.54958254889473
http://dblp.org/rec/journals/jcss/CourcelleER93Handle-Rewriting Hypergraph Grammars.19938.50615018733898
http://dblp.org/rec/conf/sigmod/NatsevRS99WALRUS: A Similarity Retrieval Algorithm for Image Databases.19998.45234207464074
http://dblp.org/rec/conf/vldb/AgrawalS948.404133148590299
http://dblp.org/rec/journals/aamas/HindriksBHM99Agent Programming in 3APL.19998.38615647899399
http://dblp.org/rec/journals/ml/GestelSBVVDMV04Benchmarking Least Squares Support Vector Machine Classifiers.20048.364944968051224
http://dblp.org/rec/journals/dss/WurmanWW98Flexible double auctions for electronic commerce: theory and implementation.19988.323803934743744
http://dblp.org/rec/conf/vldb/ChenHWW02Multi-Dimensional Regression Analysis of Time-Series Data Streams.20028.310080449412068
http://dblp.org/rec/journals/tosn/HeKLYGSZCVSAHK06VigilNet: An integrated sensor network system for energy-efficient surveillance.20068.302969204578492
http://dblp.org/rec/conf/sigmod/LiOFWZ08EASE: an effective 3-in-1 keyword search method for unstructured, semi-structured and structured data.20088.230209836271674
http://dblp.org/rec/conf/sigmod/KanthAS98Dimensionality Reduction for Similarity Searching in Dynamic Databases.19988.188108959571093
http://dblp.org/rec/conf/vldb/YangKL97Algorithms for Materialized View Design in Data Warehousing Environment.19978.185704589224041
http://dblp.org/rec/journals/computer/LarmanB03Iterative and Incremental Development: A Brief History.20038.149303261341254
http://dblp.org/rec/journals/tc/PrabhakarXKAH02Query Indexing and Velocity Constrained Indexing: Scalable Techniques for Continuous Queries on Moving Objects.20028.134218865418093
http://dblp.org/rec/journals/tse/BasiliS87Comparing the Effectiveness of Software Testing Strategies.19878.019666758211487
http://dblp.org/rec/journals/pami/DomeniconiPG02Locally Adaptive Metric Nearest-Neighbor Classification.20027.95027380102072
http://dblp.org/rec/conf/popl/JonesGF96Concurrent Haskell.19967.923229714747428
http://dblp.org/rec/conf/sigcomm/RatnasamyFHKS017.913085755999968
http://dblp.org/rec/conf/podc/CarzanigaRW00Achieving scalability and expressiveness in an Internet-scale event notification service.20007.9082569143187555
http://dblp.org/rec/conf/vldb/GalhardasFSSS01Declarative Data Cleaning: Language, Model, and Algorithms.20017.892821286215108
http://dblp.org/rec/conf/icde/ChengPK03Querying Imprecise Data in Moving Object Environments.20037.8348227897889675
http://dblp.org/rec/conf/sacmat/YaoMB01A model of OASIS role-based access control and its support for active security.20017.779775403694028
http://dblp.org/rec/journals/tsp/EngelMM04The kernel recursive least-squares algorithm.20047.632227800324684
http://dblp.org/rec/journals/is/AalstH05YAWL: yet another workflow language.20057.628371436115924
http://dblp.org/rec/journals/tosem/CookW98Discovering Models of Software Processes from Event-Based Data.19987.597582098796615
http://dblp.org/rec/journals/dke/StummeTBPL02Computing iceberg concept lattices with T.20027.593751253340022
http://dblp.org/rec/conf/pods/Hull97Managing Semantic Heterogeneity in Databases: A Theoretical Perspective.19977.585753371702157
http://dblp.org/rec/conf/pods/CalvaneseGL98On the Decidability of Query Containment under Constraints.19987.512873484728265
http://dblp.org/rec/journals/constraints/BistarelliMRSVF99Semiring-Based CSPs and Valued CSPs: Frameworks, Properties, and Comparison.19997.485737961161982
http://dblp.org/rec/conf/cikm/KalogerakiGZ02A local search mechanism for peer-to-peer networks.20027.48215316544675
http://dblp.org/rec/conf/pods/AbiteboulH84IFO: A Formal Semantic Database Model.19847.408743851597983
http://dblp.org/rec/journals/tkde/RoddickS02A Survey of Temporal Knowledge Discovery Paradigms and Methods.20027.40140077823519
http://dblp.org/rec/conf/ccs/AbadiG97A Calculus for Cryptographic Protocols: The Spi Calculus.19977.327440528967774
http://dblp.org/rec/conf/icdcs/CostaCRK04PIC: Practical Internet Coordinates for Distance Estimation.20047.308717892545918
http://dblp.org/rec/journals/pami/EspositoMS97A Comparative Analysis of Methods for Pruning Decision Trees.19977.260081754808938
http://dblp.org/rec/conf/java/Lea00A Java fork/join framework.20007.251696179474191
http://dblp.org/rec/conf/sp/KrugelVVK02Stateful Intrusion Detection for High-Speed Networks.20027.224340323396247
http://dblp.org/rec/journals/jacm/BrookesHR84A Theory of Communicating Sequential Processes.19847.211450266052138
http://dblp.org/rec/conf/p2p/BuragohainAS03A Game Theoretic Framework for Incentives in P2P Systems.20037.191175569997015
http://dblp.org/rec/journals/jcs/ThayerHG99Strand Spaces: Proving Security Protocols Correct.19997.155756523277646
http://dblp.org/rec/conf/icse/ChenRV94TestTube: A System for Selective Regression Testing.19947.140536787746016
http://dblp.org/rec/conf/icml/MorikBJ99Combining Statistical Learning with a Knowledge-Based Approach - A Case Study in Intensive Care Monitoring.19997.116343192455907
http://dblp.org/rec/conf/www/PautassoZL08Restful web services vs. "big"' web services: making the right architectural decision.20087.073237062699975
http://dblp.org/rec/conf/www/HuangYHTLK04Securing web application code by static analysis and runtime protection.20047.0542399880798206
http://dblp.org/rec/journals/tcs/ClavelDELMMQ02Maude: specification and programming in rewriting logic.20027.016994763291849
http://dblp.org/rec/conf/sensys/LinZZGSH06ATPC: adaptive transmission power control for wireless sensor networks.20067.008479962186844
http://dblp.org/rec/conf/eurosys/NarayananTDER09Migrating server storage to SSDs: analysis of tradeoffs.20096.961324856852385
http://dblp.org/rec/conf/esec/GargantiniH99Using Model Checking to Generate Tests from Requirements Specifications.19996.861789984031845
http://dblp.org/rec/journals/tse/HutchensB85System Structure Analysis: Clustering with Data Bindings.19856.836682127611297
http://dblp.org/rec/conf/pods/FaginPKT04Composing Schema Mappings: Second-Order Dependencies to the Rescue.20046.812566936674399
http://dblp.org/rec/conf/icse/WangZXAS08An approach to detecting duplicate bug reports using natural language and execution information.20086.801529377899767
http://dblp.org/rec/journals/siamcomp/AbiteboulAKMR06Compact Labeling Scheme for Ancestor Queries.20066.799418582561093
http://dblp.org/rec/conf/pods/FaginKP03Data exchange: getting to the core.20036.7582039337702025
http://dblp.org/rec/conf/www/AbiteboulPC03Adaptive on-line page importance computation.20036.728887963582248
http://dblp.org/rec/books/daglib/0092230Concurrent programming in Java - design principles and patterns.19976.72462964342224
http://dblp.org/rec/journals/ijwgs/DustdarS05A survey on web services composition.20056.711451435216145
http://dblp.org/rec/journals/toplas/AbadiCPP91Dynamic Typing in a Statically Typed Language.19916.710315584698842
http://dblp.org/rec/conf/sigmod/JainCW04Adaptive Stream Resource Management Using Kalman Filters.20046.6994723539470105
http://dblp.org/rec/conf/kdd/VlachosHGK03Indexing multi-dimensional time-series with support for multiple distance measures.20036.6591787106374944
http://dblp.org/rec/conf/vldb/KorthLS90A Formal Approach to Recovery by Compensating Transactions.19906.653124541240133
http://dblp.org/rec/conf/icml/XuHFPJ10Detecting Large-Scale System Problems by Mining Console Logs.20106.640155118940401
http://dblp.org/rec/conf/aaai/CalvaneseGLLR05DL-Lite: Tractable Description Logics for Ontologies.20056.63827341176919
http://dblp.org/rec/conf/vldb/ChengYC07EntityRank: Searching Entities Directly and Holistically.20076.561900961786364
http://dblp.org/rec/conf/www/CornelliDVPS02Choosing reputable servents in a P2P network.20026.548584599223223
http://dblp.org/rec/journals/cacm/BerendtGS05Privacy in e-commerce: stated preferences vs. actual behavior.20056.539967391304354
http://dblp.org/rec/journals/tosn/ZhouHKS06Models and solutions for radio irregularity in wireless sensor networks.20066.534317265930507
http://dblp.org/rec/conf/cscw/BegemanCEGRS86Project Nick: meetings augmentation and analysis.19866.505094285218591
http://dblp.org/rec/journals/ai/BerardiCG05Reasoning on UML class diagrams.20056.494256587760156
http://dblp.org/rec/conf/uss/XuBS06Taint-Enhanced Policy Enforcement: A Practical Approach to Defeat a Wide Range of Attacks.20066.473130153147729
http://dblp.org/rec/conf/cav/EsparzaHRS00Efficient Algorithms for Model Checking Pushdown Systems.20006.455488409110871
http://dblp.org/rec/journals/tocs/AgrawalA91An Efficient and Fault-Tolerant Solution for Distributed Mutual Exclusion.19916.422742643483336
http://dblp.org/rec/journals/computer/ColletHS91Resource Integration Using a Large Knowledge Base in Carnot.19916.412913452415163
http://dblp.org/rec/journals/itm/VermaSSPOM05METEOR-S WSDI: A Scalable P2P Infrastructure of Registries for Semantic Publication and Discovery of Web Services.20056.285852983697823
http://dblp.org/rec/conf/semweb/HaaseHHSS05A Framework for Handling Inconsistency in Changing Ontologies.20056.280373046700981
http://dblp.org/rec/journals/tse/BriandBT92A Pattern Recognition Approach for Software Engineering Data Analysis.19926.255871514011524
http://dblp.org/rec/conf/sigmod/AbiteboulK89Object Identity as a Query Language Primitive.19896.253624676875102
http://dblp.org/rec/journals/ibmrd/RochwergerBLGNLMWECBEG09The Reservoir model and architecture for open federated cloud computing.20096.240782028026538
http://dblp.org/rec/conf/icse/FislerKMT05Verification and change-impact analysis of access-control policies.20056.233503106512548
http://dblp.org/rec/conf/pods/BenediktFG05XPath satisfiability in the presence of DTDs.20056.222470307212291
http://dblp.org/rec/journals/tnn/FrasconiGS98A general framework for adaptive processing of data structures.19986.187320355110296
http://dblp.org/rec/journals/fgcs/AlfieriCCDFLS05From gridmap-file to VOMS: managing authorization in a Grid environment.20056.158554042641635
http://dblp.org/rec/journals/tse/KrishnamurthyR95Yeast: A General Purpose Event-Action System.19956.08926982171612
http://dblp.org/rec/conf/vldb/OoiYTJ01Indexing the Distance: An Efficient Method to KNN Processing.20016.073747004509565
http://dblp.org/rec/conf/vldb/SubramaniamPPKG06Online Outlier Detection in Sensor Data Using Non-Parametric Models.20066.046969743366977
http://dblp.org/rec/journals/cacm/BasiliBM96How Reuse Influences Productivity in Object-Oriented Systems.19966.034345378736054
http://dblp.org/rec/conf/apn/Aalst97Verification of Workflow Nets.19976.029470724545655
http://dblp.org/rec/journals/internet/WellmanWOBLRW01Designing the Market Game for a Trading Agent Competition.20016.023167735978159
http://dblp.org/rec/conf/icse/NagappanMB08The influence of organizational structure on software quality: an empirical case study.20086.02073414151072
http://dblp.org/rec/journals/ec/BlickleT96A Comparison of Selection Schemes used in Evolutionary Algorithms.19966.014392857142863
http://dblp.org/rec/conf/vldb/ChenLTHAC06Twig2Stack: Bottom-up Processing of Generalized-Tree-Pattern Queries over XML Documents.20066.0016847129964
http://dblp.org/rec/journals/computer/CaldieraB91Identifying and Qualifying Reusable Software Components.19915.970302237024942
http://dblp.org/rec/books/fm/GareyJ795.9674735007481035
http://dblp.org/rec/conf/bda/MarianAM00Chance-centric Management of Versions in an XML Warehouse.20005.941482832361465
http://dblp.org/rec/conf/aosd/PopoviciGA02Dynamic weaving for aspect-oriented programming.20025.9271554392119015
http://dblp.org/rec/conf/re/FuxmanMPT01Model Checking Early Requirements Specifications in Tropos.20015.9054246456101005
http://dblp.org/rec/journals/dke/AalstDHMSW03Workflow mining: A survey of issues and approaches.20035.899386581955897
http://dblp.org/rec/journals/sigmod/AbererCDDHPS03P-Grid: a self-organizing structured P2P system.20035.89909823220321
http://dblp.org/rec/journals/cacm/WirthH66A contribution to the development of ALGOL.19665.8925380456437635
http://dblp.org/rec/journals/iandc/MacQueenPS86An Ideal Model for Recursive Polymorphic Types19865.8843023469013405
http://dblp.org/rec/journals/computer/ZelkowitzW98Experimental Models for Validating Technology.19985.883774781399469
http://dblp.org/rec/books/daglib/0067731Semantics with applications - a formal introduction.19925.875112423812624
http://dblp.org/rec/conf/eccv/HaritaogluHD98W4S: A real-time system detecting and tracking people in 2 1/2D.19985.7835119052640085
http://dblp.org/rec/conf/chi/NigayC93A design space for multimodal systems: concurrent processing and data fusion.19935.77845197303598
http://dblp.org/rec/journals/cacm/Hoare61aAlgorithm 65: find.19615.765747139738906
http://dblp.org/rec/conf/java/Pugh99Fixing the Java Memory Model.19995.755910065585465
http://dblp.org/rec/conf/sigmod/ChanJTTZ06Finding k-dominant skylines in high dimensional space.20065.718653566124275
http://dblp.org/rec/conf/icse/BaileyB81A Meta-Model for Software Development Resource Expenditures.19815.71519736786367
http://dblp.org/rec/journals/software/RusL02Guest Editors' Introduction: Knowledge Management in Software Engineering.20025.715079604702711
http://dblp.org/rec/journals/mscs/Arbab04Reo: a channel-based coordination model for component composition.20045.710624095951358
http://dblp.org/rec/journals/jacm/Montanari68A Method for Obtaining Skeletons Using a Quasi-Euclidean Distance.19685.706512661182983
http://dblp.org/rec/journals/csur/LevyS90Distributed File Systems: Concepts and Examples.19905.704046829410036
http://dblp.org/rec/conf/kbse/ThummalapentaX07Parseweb: a programmer assistant for reusing open source code on the web.20075.7002870967542325
http://dblp.org/rec/conf/sigcomm/BallaniCKR11Towards predictable datacenter networks.20115.698918764501005
http://dblp.org/rec/conf/ccs/Stone-GrossCCGSKKV09Your botnet is my botnet: analysis of a botnet takeover.20095.692010078766028
http://dblp.org/rec/journals/csi/BordegoniFFMRRTW97A standard reference model for intelligent multimedia presentation systems.19975.688696314952534
http://dblp.org/rec/journals/pami/YangZYN07Globally Maximizing, Locally Minimizing: Unsupervised Discriminant Projection with Applications to Face and Palm Biometrics.20075.682425419561793
http://dblp.org/rec/journals/pervasive/CahillGSJCSDTBEWTNSBCKN03Using Trust for Secure Collaboration in Uncertain Environments.20035.6814886133932205
http://dblp.org/rec/journals/jsac/CostaMMP08Socially-aware routing for publish-subscribe in delay-tolerant mobile ad hoc networks.20085.668003048780491
http://dblp.org/rec/journals/iandc/Cardelli88A Semantics of Multiple Inheritance19885.661129966235638
http://dblp.org/rec/conf/icdt/MetwallyAA05Efficient Computation of Frequent and Top-k Elements in Data Streams.20055.64747498295211
http://dblp.org/rec/conf/sigmod/BeckmannKSS905.642792648267461
http://dblp.org/rec/conf/ccs/DamianiVJPS03Balancing confidentiality and efficiency in untrusted relational DBMSs.20035.631916316040977
http://dblp.org/rec/conf/cc/Hoare03The Verifying Compiler: A Grand Challenge for Computing Research.20035.624438091171304
http://dblp.org/rec/journals/tse/Rosenblum95A Practical Approach to Programming With Assertions.19955.622555367452654
http://dblp.org/rec/conf/icfp/BenzakenCF03CDuce: an XML-centric general-purpose language.20035.6106681095467446
http://dblp.org/rec/journals/tcs/PaunR02A guide to membrane computing.20025.59860968048714
http://dblp.org/rec/conf/icde/PietzuchLSRWS06Network-Aware Operator Placement for Stream-Processing Systems.20065.587018681314902
http://dblp.org/rec/conf/icdcs/AbdelzaherBCCEGGGHKLSSSW04EnviroTrack: Towards an Environmental Computing Paradigm for Distributed Sensor Networks.20045.550822234844307
http://dblp.org/rec/journals/tse/LiHH07Search Algorithms for Regression Test Case Prioritization.20075.546204297898219
http://dblp.org/rec/conf/cade/PfenningS99System Description: Twelf - A Meta-Logical Framework for Deductive Systems.19995.54483963943084
http://dblp.org/rec/journals/ibmsj/LeymannRS02Web services and business process management.20025.516971569123456
http://dblp.org/rec/conf/kdd/MonrealePTG09WhereNext: a location predictor on trajectory pattern mining.20095.491544047828522
http://dblp.org/rec/conf/podc/IyerRD02Squirrel: a decentralized peer-to-peer web cache.20025.484372462278879
http://dblp.org/rec/conf/bpm/AalstHW03Business Process Management: A Survey.20035.476112810525627
http://dblp.org/rec/journals/cacm/Hoare71Proof of a Program: FIND.19715.451657275320885
http://dblp.org/rec/conf/civr/Law-ToCJLBGBS07Video copy detection: a comparative study.20075.45010812191612
http://dblp.org/rec/journals/taas/BabaogluCDCDGGJMMU06Design patterns from biology for distributed computing.20065.445350633809515
http://dblp.org/rec/conf/ijcai/ParkesKE01Achieving Budget-Balance with Vickrey-Based Payment Schemes in Exchanges.20015.445182595896588
http://dblp.org/rec/conf/icdt/GunopoulosMS97Discovering All Most Specific Sentences by Randomized Algorithms.19975.44390060203033
http://dblp.org/rec/conf/crypto/MatsumotoKI88Speeding Up Secret Computations with Insecure Auxiliary Devices.19885.431407077584804
http://dblp.org/rec/conf/icde/BenatallahSND02Declarative Composition and Peer-to-Peer Provisioning of Dynamic Web Services.20025.423078378545177
http://dblp.org/rec/journals/jcs/VignaK99NetSTAT: A Network-based Intrusion Detection System.19995.392293225218913
http://dblp.org/rec/conf/ecp/DimopoulosNK97Encoding Planning Problems in Nonmonotonic Logic Programs.19975.382716973637243
http://dblp.org/rec/conf/icwe/BaezCM11Knowledge Spaces.20115.379079570018799
http://dblp.org/rec/journals/sttt/JensenKW07Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems.20075.368605113555461
http://dblp.org/rec/conf/vldb/RastogiS98PUBLIC: A Decision Tree Classifier that Integrates Building and Pruning.19985.357194989588004
http://dblp.org/rec/conf/esorics/FarmerGS96Security for Mobile Agents: Authentication and State Appraisal.19965.3512328319329745
http://dblp.org/rec/conf/csfw/BartheDR04Secure Information Flow by Self-Composition.20045.343279453720372
http://dblp.org/rec/books/daglib/0025244Java Concurrency in Practice.20065.342963065751398
http://dblp.org/rec/conf/icalp/JiangR91Minimal NFA Problems Are Hard.19915.336921334122043
http://dblp.org/rec/journals/cacm/HoareHJMRSSSS87Laws of Programming.19875.3330724720588405
http://dblp.org/rec/conf/pods/Hull84Relative Information Capacity of Simple Relational Database Schemata.19845.327981455782294
http://dblp.org/rec/conf/pkdd/DasGM97Finding Similar Time Series.19975.301926994620616
http://dblp.org/rec/conf/vldb/JagadishOV05BATON: A Balanced Tree Structure for Peer-to-Peer Networks.20055.301464791227246
http://dblp.org/rec/journals/tits/ZhaoT00Stereo- and neural network-based pedestrian detection.20005.294666987861068
http://dblp.org/rec/conf/tacas/EsparzaRV96An Improvement of McMillan's Unfolding Algorithm.19965.292249201068351
http://dblp.org/rec/conf/mos/BharatC96Migratory Applications.19965.289895127262327
http://dblp.org/rec/journals/tec/MartensBHVSB07Classification With Ant Colony Optimization.20075.25184795072341
http://dblp.org/rec/conf/sebd/CeriCFPTD99XML-GL: A Graphical Language for Querying and Restructuring XML Documents.19995.238982477930935
http://dblp.org/rec/conf/www/AbererCH03The chatty web: emergent semantics through gossiping.20035.213826014869814
http://dblp.org/rec/conf/pods/AbbadiSC85An Efficient, Fault-Tolerant Protocol for Replicated Data Management.19855.208240679214415
http://dblp.org/rec/conf/pet/ChengZBP06Preserving User Location Privacy in Mobile Data Management Infrastructures.20065.194914984314587
http://dblp.org/rec/journals/ws/BouquetGHSS04Contextualizing ontologies.20045.186842410079487
http://dblp.org/rec/conf/edbt/AgrawalGL98Mining Process Models from Workflow Logs.19985.184772832439385
http://dblp.org/rec/conf/mos/Cardelli96Mobile Computation.19965.162662645870866
http://dblp.org/rec/journals/tdsc/ValeurVKK04A Comprehensive Approach to Intrusion Detection Alert Correlation.20045.157684985854004
http://dblp.org/rec/journals/tpds/CatalyurekA99Hypergraph-Partitioning-Based Decomposition for Parallel Sparse-Matrix Vector Multiplication.19995.156162368817254
http://dblp.org/rec/conf/sigir/ZhuJXG05Multi-labelled classification using maximum entropy method.20055.108243118556477
http://dblp.org/rec/journals/tkde/AalstWM04Workflow Mining: Discovering Process Models from Event Logs.20045.108191418551775
http://dblp.org/rec/journals/cacm/CouroisHP715.0962373724585985
http://dblp.org/rec/conf/concur/FournetGLMR96A Calculus of Mobile Agents.19965.08912941265668
http://dblp.org/rec/journals/tods/GunopulosKMSTS03Discovering all most specific sentences.20035.0824311736163015
http://dblp.org/rec/conf/pods/Kolaitis05Schema mappings, data exchange, and metadata management.20055.078797899216798
http://dblp.org/rec/conf/sigmod/AbiteboulKG87On the Representation and Querying of Sets of Possible Worlds.19875.071557305594236
http://dblp.org/rec/books/sp/Weske2007Business Process Management: Concepts, Languages, Architectures20075.065233630401386
http://dblp.org/rec/conf/icmi/KaiserOMBCLCF03Mutual disambiguation of 3D multimodal interaction in augmented and virtual reality.20035.060841368177672
http://dblp.org/rec/journals/fuin/ChiMNK05Frequent Subtree Mining - An Overview.20055.057016918418918
http://dblp.org/rec/journals/cacm/Hansen725.042173247304585
http://dblp.org/rec/conf/group/EllisKR95Dynamic change within workflow systems.19955.036218295461501
http://dblp.org/rec/conf/www/FuBS04Analysis of interacting BPEL web services.20045.033596293839406
http://dblp.org/rec/conf/sigcomm/CarzanigaW03Forwarding in a content-based network.20035.016215629337862
http://dblp.org/rec/conf/oopsla/HarroldJLLOPSSG01Regression Test Selection for Java Software.20014.985538226716969
http://dblp.org/rec/conf/icdcs/WalshWWM98Some Economics of Market-Based Distributed Scheduling.19984.964897060263775
http://dblp.org/rec/journals/tecs/IraniSG03Online strategies for dynamic power management in systems with multiple power-saving states.20034.948465736887933
http://dblp.org/rec/conf/dagstuhl/CalvaneseLN98Description Logics for Conceptual Data Modeling.19984.941474041151817
http://dblp.org/rec/conf/vldb/JensenLO04Query and Update Efficient B+-Tree Based Indexing of Moving Objects.20044.919951014608452
http://dblp.org/rec/conf/osdi/ShenTYC02Integrated Resource Management for Cluster-based Internet Services.20024.919395537260686
http://dblp.org/rec/conf/sigmod/HullZ96A Framework for Supporting Data Integration Using the Materialized and Virtual Approaches.19964.891822880856799
http://dblp.org/rec/conf/hpdc/FosterGG04The Grid2003 Production Grid: Principles and Practice.20044.880176276350895
http://dblp.org/rec/journals/jfp/FindlerCFFKSF02DrScheme: a programming environment for Scheme.20024.846359727778474
http://dblp.org/rec/conf/icde/AlonsoAAKGM96Advanced Transaction Models in Workflow Contexts.19964.838964489297009
http://dblp.org/rec/conf/fmoods/JouaultB06KM3: A DSL for Metamodel Specification.20064.82825223545133
http://dblp.org/rec/conf/vldb/ChenGK05Stack-based Algorithms for Pattern Matching on DAGs.20054.81495839529496
http://dblp.org/rec/conf/percom/SailhanI05Scalable Service Discovery for MANET.20054.81030911710035
http://dblp.org/rec/conf/fase/LaraV02AToM3: A Tool for Multi-formalism and Meta-modelling.20024.800593782391738
http://dblp.org/rec/journals/cacm/Montanari71On the Optimal Detection of Curves in Noisy Pictures.19714.800167145647324
http://dblp.org/rec/journals/corr/cs-LO-0003082Representation results for defeasible logic20004.793877812761341
http://dblp.org/rec/conf/lcpc/PughW93An Exact Method for Analysis of Value-based Array Data Dependences.19934.792213174422116
http://dblp.org/rec/conf/pldi/Pugh94Counting Solutions to Presburger Formulas: How and Why.19944.790964344673401
http://dblp.org/rec/conf/tacas/XieMSN05Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution.20054.7890775180238
http://dblp.org/rec/conf/icdcs/PedoneWSKA00Understanding Replication in Databases and Distributed Systems.20004.7761935466745795
http://dblp.org/rec/journals/cacm/CurberaKMTW03The next step in Web services.20034.77403197398809
http://dblp.org/rec/conf/vldb/TaoCXNKP05Indexing Multi-Dimensional Uncertain Data with Arbitrary Probability Density Functions.20054.76926082836825
http://dblp.org/rec/conf/kdd/XiangYZCZYS10Temporal recommendation on graphs via long- and short-term preference fusion.20104.766786310541488
http://dblp.org/rec/books/ws/phaunRS01/BackGKK01Theory of Genetic Algorithms.20014.762455834009741
http://dblp.org/rec/conf/esop/HeHS86Data Refinement Refined.19864.733334567247099
http://dblp.org/rec/conf/iui/PuC06Trust building with explanation interfaces.20064.727303819225443
http://dblp.org/rec/conf/sigir/JiX06Document clustering with prior knowledge.20064.719470134586308
http://dblp.org/rec/conf/acsd/GhamarianGSBTMMB06Throughput Analysis of Synchronous Data Flow Graphs.20064.717444296319348
http://dblp.org/rec/journals/jods/PoggiLCGLR08Linking Data to Ontologies.20084.7151025157604485
http://dblp.org/rec/journals/sigkdd/BastideTPSL00Mining Frequent Patterns with Counting Inference.20004.690107477605439
http://dblp.org/rec/journals/aiedam/SoininenTMS98Towards a general ontology of configuration.19984.648696193373121
http://dblp.org/rec/conf/fast/Zeinalipour-YaztiLKGN05MicroHash: An Efficient Index Structure for Flash-Based Sensor Devices.20054.645562070321429
http://dblp.org/rec/conf/tagt/FischerNTZ98Story Diagrams: A New Graph Rewrite Language Based on the Unified Modeling Language and Java.19984.631370087186263
http://dblp.org/rec/conf/popl/CardelliG00Anytime, Anywhere: Modal Logics for Mobile Ambients.20004.629389240382698
http://dblp.org/rec/conf/icdm/TermierRS02TreeFinder: a First Step towards XML Data Mining.20024.619401617531215
http://dblp.org/rec/journals/scp/JouaultABK08ATL: A model transformation tool.20084.615382464548161
http://dblp.org/rec/conf/percom/BiegelC04A Framework for Developing Mobile, Context-aware Applications.20044.599365507437761
http://dblp.org/rec/journals/tcs/RegevPSCS04BioAmbients: an abstraction for biological compartments.20044.564216996378231
http://dblp.org/rec/conf/IEEEscc/AggarwalVMM04Constraint Driven Web Service Composition in METEOR-S.20044.564207492721736
http://dblp.org/rec/journals/tse/AtleeG93State-Based Model Checking of Event-Driven System Requirements.19934.553282970989248
http://dblp.org/rec/conf/issta/ClauseLO07Dytan: a generic dynamic taint analysis framework.20074.542496713786054
http://dblp.org/rec/books/aw/HopcroftU794.532761612700345
http://dblp.org/rec/conf/coopis/HuckFAN98Jedi: Extracting and Synthesizing Information from the Web.19984.528433801054882
http://dblp.org/rec/conf/icga/BlickleT95A Mathematical Analysis of Tournament Selection.19954.5135741623307215
http://dblp.org/rec/conf/icde/RastogiS98Mining Optimized Association Rules with Categorical and Numeric Attributes.19984.513102170432479
http://dblp.org/rec/conf/popl/AmadioC91Subtyping Recursive Types.19914.513017700886282
http://dblp.org/rec/journals/tse/InverardiW95Formal Specification and Analysis of Software Architectures Using the Chemical Abstract Machine Model.19954.508745035174477
http://dblp.org/rec/conf/spin/EdelkampLL01Directed Explicit Model Checking with HSF-SPIN.20014.499643171452914
http://dblp.org/rec/journals/cacm/Hoare61bAlgorithm 64: Quicksort.19614.491188344456588
http://dblp.org/rec/conf/popl/Cardelli95A Language with Distributed Scope.19954.47335373747563
http://dblp.org/rec/conf/hci/KleinbergerBRHM07Ambient Intelligence in Assisted Living: Enable Elderly People to Handle Future Interfaces.20074.463750000000001
http://dblp.org/rec/conf/vldb/YagoubFIV00Caching Strategies for Data-Intensive Web Sites.20004.450444016479705
http://dblp.org/rec/conf/dac/GanaiAGZM02Combining strengths of circuit-based and CNF-based algorithms for a high-performance SAT solver.20024.450276727639904
http://dblp.org/rec/conf/gg/CorradiniMREHL97Algebraic Approaches to Graph Transformation - Part I: Basic Concepts and Double Pushout Approach.19974.4478999453904295
http://dblp.org/rec/conf/icdcsw/PietzuchB02Hermes: A Distributed Event-Based Middleware Architecture.20024.444578880164908
http://dblp.org/rec/journals/logcom/GovernatoriMAB04Argumentation Semantics for Defeasible Logic.20044.444499454951142
http://dblp.org/rec/journals/ai/CimattiPRT03Weak, strong, and strong cyclic planning via symbolic model checking.20034.440638301884329
http://dblp.org/rec/journals/entcs/MensG06A Taxonomy of Model Transformation.20064.440133964792225
http://dblp.org/rec/conf/www/CovaKV10Detection and analysis of drive-by-download attacks and malicious JavaScript code.20104.439507851833315
http://dblp.org/rec/conf/gpce/JouaultBK06TCS: a DSL for the specification of textual concrete syntaxes in model engineering.20064.404379921098561
http://dblp.org/rec/conf/lics/FiorePT99Abstract Syntax and Variable Binding.19994.394148954828026
http://dblp.org/rec/conf/dis/DongZWL98CAEP: Classification by Aggregating Emerging Patterns.19994.379560305070849
http://dblp.org/rec/conf/pods/CohenNS99Rewriting Aggregate Queries Using Views.19994.362450491085155
http://dblp.org/rec/conf/sigmod/HalevyABCDPRS05Enterprise information integration: successes, challenges and controversies.20054.351225027301492
http://dblp.org/rec/journals/tse/LiuFYHM06Statistical Debugging: A Hypothesis Testing-Based Approach.20064.333990442581496
http://dblp.org/rec/conf/sigcomm/WilsonBKR11Better never than late: meeting deadlines in datacenter networks.20114.33338544489265
http://dblp.org/rec/journals/internet/BenatallahSD03The Self-Serv Environment for Web Services Composition.20034.327430788170379
http://dblp.org/rec/journals/jacm/Ibarra78Reversal-Bounded Multicounter Machines and Their Decision Problems.19784.324266364771311
http://dblp.org/rec/books/cu/RoeverBH2001Concurrency Verification: Introduction to Compositional and Noncompositional Methods20014.3166670708727315
http://dblp.org/rec/journals/cn/AnupamFKL00Automating Web navigation with the WebVCR.20004.2749829163860165
http://dblp.org/rec/journals/cacm/Lamport784.262013380571884
http://dblp.org/rec/journals/corr/cs-DB-0310006The Lowell Database Research Self Assessment20034.261774538734219
http://dblp.org/rec/conf/pods/AgrawalAS97Epidemic Algorithms in Replicated Databases (Extended Abstract).19974.2578648408445625
http://dblp.org/rec/conf/popl/Cardelli97Program Fragments, Linking, and Modularization.19974.255138578652372
http://dblp.org/rec/journals/tcs/Martin-VidePPR03Tissue P systems.20034.24225644333859
http://dblp.org/rec/books/daglib/00982674.2410715921986455
http://dblp.org/rec/conf/icpr/HaritaogluHD98Ghost: a human body part labeling system using silhouettes.19984.223020145475536
http://dblp.org/rec/conf/vldb/IoannidisNSS92Parametric Query Optimization.19924.219628835293234
http://dblp.org/rec/journals/ml/KietzM94A Polynomial Approach to the Constructive Induction of Structural Knowledge.19944.2158087003331035
http://dblp.org/rec/journals/datamine/DomeniconiGMYAP07Locally adaptive metrics for clustering high dimensional data.20074.19522171875
http://dblp.org/rec/conf/wsdm/GallandAMS10Corroborating information from disagreeing views.20104.193123946911297
http://dblp.org/rec/journals/toplas/Henglein93Type Inference with Polymorphic Recursion.19934.187872441086847
http://dblp.org/rec/conf/icse/MedvidovicRT99A Language and Environment for Architecture-Based Software Development and Evolution.19994.185697243938523
http://dblp.org/rec/journals/jcs/EckmannVK02STATL: An Attack Language for State-Based Intrusion Detection.20024.169686102585436
http://dblp.org/rec/conf/rta/ClavelDELMMT03The Maude 2.0 System.20034.1655676284969125
http://dblp.org/rec/books/wi/Dumas2005Process-Aware Information Systems: Bridging People and Software Through Process Technology20054.159876570392027
http://dblp.org/rec/journals/mansci/BaesensSMV03Using Neural Network Rule Extraction and Decision Tables for Credit - Risk Evaluation.20034.155849890667168
http://dblp.org/rec/conf/icse/KastnerAK08Granularity in software product lines.20084.146266201380128
http://dblp.org/rec/conf/coopis/CalvaneseGLNR98Information Integration: Conceptual Modeling and Reasoning Support.19984.14597059458626
http://dblp.org/rec/journals/jacm/Robinson654.13443148081668
http://dblp.org/rec/journals/hhci/WrightFH00Analyzing Human-Computer Interaction as Distributed Cognition: The Resources Model.20004.124036994366898
http://dblp.org/rec/conf/recsys/PuCH11A user-centric evaluation framework for recommender systems.20114.123541372649531
http://dblp.org/rec/conf/lics/BluteDEP97Bisimulation for Labelled Markov Processes.19974.118987642178734
http://dblp.org/rec/conf/vldb/DasGKT06Answering Top-k Queries Using Views.20064.101276500793971
http://dblp.org/rec/conf/chi/NigayC95A Generic Platform for Addressing the Multimodal Challenge.19954.0827659945826875
http://dblp.org/rec/conf/vldb/LeeHJT03Supporting Frequent Updates in R-Trees: A Bottom-Up Approach.20034.064572825899786
http://dblp.org/rec/conf/kdd/WangPSGB11Human mobility, social ties, and link prediction.20114.048314920339255
http://dblp.org/rec/conf/kdd/VlachosDGKK02Non-linear dimensionality reduction techniques for classification and visualization.20024.043503606688244
http://dblp.org/rec/series/wsscs/Ehrig93Algebraic Specification.19934.041987075433522
http://dblp.org/rec/journals/vldb/PucheralBVB01PicoDBMS: Scaling down database techniques for the smartcard.20014.036606326804333
http://dblp.org/rec/conf/icse/BasiliR87Tailoring the Software Process to Project Goals and Environments.19874.031319327938269
http://dblp.org/rec/conf/caise/CaliCGL02Data Integration under Integrity Constraints.20024.018487478019461
http://dblp.org/rec/journals/tosem/MedvidovicRRR02Modeling software architectures in the Unified Modeling Language.20023.9957171521638686
http://dblp.org/rec/conf/vldb/ChaudhuriS93Query Optimization in the Presence of Foreign Functions.19933.9947161346059636
http://dblp.org/rec/conf/csfw/BeckerFG07Design and Semantics of a Decentralized Authorization Language.20073.9934423632613676
http://dblp.org/rec/conf/apn/EllisN93Modeling and Enactment of Workflow Systems.19933.9921429695146196
http://dblp.org/rec/journals/amai/HornsbyE02Modeling Moving Objects over Multiple Granularities.20023.987485611762856
http://dblp.org/rec/conf/lics/JonesP89A Probabilistic Powerdomain of Evaluations19893.9835067248512357
http://dblp.org/rec/conf/icde/20023.9800796343172906
http://dblp.org/rec/conf/icdm/WangSP07Local Probabilistic Models for Link Prediction.20073.9691097541176896
http://dblp.org/rec/conf/sp/WondracekHKK10A Practical Attack to De-anonymize Social Network Users.20103.9623721730218846
http://dblp.org/rec/journals/cacm/WalkerKP80Specification and Verification of the UCLA Unix Security Kernel.19803.9623558445355793
http://dblp.org/rec/journals/internet/YuBCD08Understanding Mashup Development.20083.9603231195527733
http://dblp.org/rec/books/aw/GoslingJS963.9519310666312992
http://dblp.org/rec/conf/soda/SubramanianR95The P-range Tree: A New Data Structure for Range Searching in Secondary Memory.19953.9501737576174274
http://dblp.org/rec/journals/computer/MorinBJFS09Models@ Run.time to Support Dynamic Adaptation.20093.9486311469316955
http://dblp.org/rec/journals/iandc/AptP93Reasoning about Termination of Pure Prolog Programs19933.9450896382844007
http://dblp.org/rec/conf/sp/BalzarottiCFJKKV08Saner: Composing Static and Dynamic Analysis to Validate Sanitization in Web Applications.20083.9441599744092577
http://dblp.org/rec/journals/pvldb/JiangOSW10The Performance of MapReduce: An In-depth Study.20103.939167026520965
http://dblp.org/rec/conf/acsac/VignaK98NetSTAT: A Network-Based Intrusion Detection Approach.19983.9367860060709425
http://dblp.org/rec/conf/cikm/WuAA00aA Comparison of DFT and DWT based Similarity Search in Time-Series Databases.20003.9284325635902064
http://dblp.org/rec/journals/tnn/SperdutiS97Supervised neural networks for the classification of structures.19973.926301815468291
http://dblp.org/rec/journals/sttt/EdelkampLL04Directed explicit-state model checking in the validation of communication protocols.20043.9212026740793444
http://dblp.org/rec/conf/ics/Pugh91Uniform techniques for loop optimization.19913.9157499921299705
http://dblp.org/rec/conf/ac/Esparza96Decidability and Complexity of Petri Net Problems - An Introduction.19963.9136651192052203
http://dblp.org/rec/journals/tnn/HagenbuchnerST03A self-organizing map for adaptive processing of structured data.20033.9130383902982993
http://dblp.org/rec/journals/ipm/TanWL02The use of bigrams to enhance text categorization.20023.9112499999999986
http://dblp.org/rec/conf/pakdd/DongL98Interestingness of Discovered Association Rules in Terms of Neighborhood-Based Unexpectedness.19983.9063115486168214
http://dblp.org/rec/books/daglib/0069192Categories, types and structures - an introduction to category theory for the working computer scientist.19913.9029983882462247
http://dblp.org/rec/conf/icml/EngelMM05Reinforcement learning with Gaussian processes.20053.9007215909090904
http://dblp.org/rec/journals/csur/CeglarR06Association mining.20063.8952676416558214
http://dblp.org/rec/conf/uss/KirdaK06Behavior-based Spyware Detection.20063.8886778225288974
http://dblp.org/rec/journals/cacm/KariR08The many facets of natural computing.20083.877721683247308
http://dblp.org/rec/conf/aosd/PopoviciAG03Just-in-time aspects: efficient dynamic weaving for Java.20033.871860264375962
http://dblp.org/rec/conf/pods/AbiteboulB84Non First Normal Form Relations to Represent Hierarchical Organized Data.19843.861214446422447
http://dblp.org/rec/conf/cav/JobstmannGB05Program Repair as a Game.20053.8599830473990875
http://dblp.org/rec/journals/tcs/SpringintveldVD01Testing timed automata.20013.8573070997051744
http://dblp.org/rec/conf/ssd/FerhatosmanogluSAA01Constrained Nearest Neighbor Queries.20013.8472986008872843
http://dblp.org/rec/conf/edbt/ChanJTTZ06On High Dimensional Skylines.20063.8435048715667004
http://dblp.org/rec/journals/questa/MandelbaumMR98Strong approximations for Markovian service networks.19983.8389869787361666
http://dblp.org/rec/journals/cacm/MartelliM78Optimizing Decision Trees Through Heuristically Guided Search.19783.82423519668463
http://dblp.org/rec/journals/cn/DamianiVPS00Design and implementation of an access control processor for XML documents.20003.822697852280341
http://dblp.org/rec/conf/www/ChenCLBWC09Collaborative filtering for orkut communities: discovery of user latent behavior.20093.821416593368188
http://dblp.org/rec/journals/ipl/NourineR99A Fast Algorithm for Building Lattices.19993.8158003622732686
http://dblp.org/rec/journals/internet/AbererPHS02Improving Data Access in P2P Systems.20023.805556701537561
http://dblp.org/rec/conf/kbse/HalfondO05AMNESIA: analysis and monitoring for NEutralizing SQL-injection attacks.20053.7916634534128995
http://dblp.org/rec/conf/icml/KellerMP06Automatic basis function construction for approximate dynamic programming and reinforcement learning.20063.779354423701298
http://dblp.org/rec/journals/tcs/GoguenM92Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations.19923.777224358984318
http://dblp.org/rec/conf/ipps/AndresenYHI96SWEB: Towards a Scalable World Wide Web Server on Multicomputers.19963.7689745405236006
http://dblp.org/rec/conf/cp/DalmauKV02Constraint Satisfaction, Bounded Treewidth, and Finite-Variable Logics.20023.765565355466261
http://dblp.org/rec/journals/wias/JosangGK06Simplification and analysis of transitive trust networks.20063.7648987125838707
http://dblp.org/rec/conf/icde/HeS06Closure-Tree: An Index Structure for Graph Queries.20063.7567636820793715
http://dblp.org/rec/conf/sp/Guttman97Filtering Postures: Local Enforcement for Global Policies.19973.7504259519061174
http://dblp.org/rec/conf/coordination/Arbab96The IWIM Model for Coordination of Concurrent Activities.19963.7501266203180705
http://dblp.org/rec/journals/tpds/TanCO01An Evaluation of Cache Invalidation Strategies in Wireless Environments.20013.7306250000000007
http://dblp.org/rec/journals/tse/HeitmeyerKLAB98Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications.19983.7279071831574377
http://dblp.org/rec/conf/adc/HamadiB03A Petri Net-based Model for Web Service Composition.20033.727026131182433
http://dblp.org/rec/conf/sigir/XuG04Document clustering by concept factorization.20043.7216841243976186
http://dblp.org/rec/conf/cav/Delzanno00Automatic Verification of Parameterized Cache Coherence Protocols.20003.7209197030574037
http://dblp.org/rec/journals/isf/KlausRG00What is ERP?20003.720707741524136
http://dblp.org/rec/journals/ipm/GrumbachT94A New Challenge for Compression Algorithms: Genetic Sequences.19943.719999999999999
http://dblp.org/rec/conf/sigir/LiuGXZ02Document clustering with cluster refinement and model selection capabilities.20023.7108513639156233
http://dblp.org/rec/books/mk/Quinlan933.71061893776877
http://dblp.org/rec/conf/sacmat/DimmockBEBM04Using trust and risk in role-based access control policies.20043.706986932192195
http://dblp.org/rec/journals/tse/NicolaFP98KLAIM: A Kernel Language for Agents Interaction and Mobility.19983.7062891475572077
http://dblp.org/rec/journals/jacm/Montanari69Continuous Skeletons from Digitized Images.19693.6965897523103997
http://dblp.org/rec/journals/is/CasatiS01Dynamic and adaptive composition of e-services.20013.682397903739146
http://dblp.org/rec/conf/vldb/KahveciS01Efficient Index Structures for String Databases.20013.678340798138028
http://dblp.org/rec/journals/cii/AalstW04Process mining: a research agenda.20043.6740589469081937
http://dblp.org/rec/journals/tkde/GregersenJ99Temporal Entity-Relationship Models - A Survey.19993.672411993495988
http://dblp.org/rec/journals/tkde/KolliosGKB03Efficient Biased Sampling for Approximate Clustering and Outlier Detection in Large Data Sets.20033.67120581721319
http://dblp.org/rec/journals/vldb/MedjahedBBNE03Business-to-business interactions: issues and enabling technologies.20033.6655409641067935
http://dblp.org/rec/journals/jiis/CardosoS03Semantic E-Workflow Composition.20033.6573127172003144
http://dblp.org/rec/journals/tse/BriandBH93Developing Interpretable Models with Optimized Set Reduction for Identifying High-Risk Software Components.19933.6434382076797642
http://dblp.org/rec/conf/uml/DumasH01UML Activity Diagrams as a Workflow Specification Language.20013.6336377227372934
http://dblp.org/rec/conf/asiacrypt/BoydF98Off-Line Fair Payment Protocols Using Convertible Signatures.19983.626168378571428
http://dblp.org/rec/conf/sigmod/KanthRA02Quadtree and R-tree indexes in oracle spatial: a comparison using GIS data.20023.615120585413107
http://dblp.org/rec/conf/icde/FerhatosmanogluTAA01Approximate Nearest Neighbor Searching in Multimedia Databases.20013.607461194446975
http://dblp.org/rec/conf/kdd/NijssenK04A quickstart in frequent structure mining can make a difference.20043.592337940484269
http://dblp.org/rec/conf/ecoop/LauderK98Precise Visual Specification of Design Patterns.19983.574788661185983
http://dblp.org/rec/journals/tse/BasiliR88The TAME Project: Towards Improvement-Oriented Software Environments.19883.564669832896033
http://dblp.org/rec/conf/sebd/FlescaMMPP02Fast Detection of XML Structural Similarity.20023.5597614321444655
http://dblp.org/rec/journals/tse/HagenA00Exception Handling in Workflow Management Systems.20003.559537554462912
http://dblp.org/rec/conf/gg/Ehrig78Introduction to the Algebraic Theory of Graph Grammars (A Survey).19783.55909209808123
http://dblp.org/rec/books/sp/Reisig98Elements of distributed algorithms: modeling and analysis with Petri nets19983.5513927174307676
http://dblp.org/rec/conf/pods/HullY82The Format Model: A Theory of Database Organization.19823.5170589698650025
http://dblp.org/rec/journals/ior/MandelbaumS04Scheduling Flexible Servers with Convex Delay Costs: Heavy-Traffic Optimality of the Generalized cµ-Rule.20043.5161945981082185
http://dblp.org/rec/conf/lics/EsparzaFM99On the Verification of Broadcast Protocols.19993.5151353664818927
http://dblp.org/rec/conf/rtas/HeVYLGZSCSA06Achieving Real-Time Target Tracking UsingWireless Sensor Networks.20063.508983727479001
http://dblp.org/rec/conf/middleware/GuptaSAA04Meghdoot: Content-Based Publish/Subscribe over P2P Networks.20043.5059689286578632
http://dblp.org/rec/conf/vldb/StanoiRAA01Discovery of Influence Sets in Frequently Updated Databases.20013.505169393831676
http://dblp.org/rec/conf/icdm/20023.5019906379927686
http://dblp.org/rec/conf/icdcs/DattaHA03Updates in Highly Unreliable, Replicated Peer-to-Peer Systems.20033.4913689195541853
http://dblp.org/rec/conf/kdd/YanCHX05Summarizing itemset patterns: a profile-based approach.20053.490730387475905
http://dblp.org/rec/journals/tosem/SnookB06UML-B: Formal modeling and design aided by UML.20063.4904852606073806
http://dblp.org/rec/journals/tc/Kumar91Hierarchical Quorum Consensus: A New Algorithm for Managing Replicated Data.19913.486602965957461
http://dblp.org/rec/journals/pe/ChiolaFGR95GreatSPN 1.7: Graphical Editor and Analyzer for Timed and Stochastic Petri Nets.19953.4765262799257757
http://dblp.org/rec/journals/dc/ChoyS94Adaptive Solutions to the Mutual Exclusion Problem.19943.4751965540540533
http://dblp.org/rec/conf/vldb/AbiteboulCM93Querying and Updating the File.19933.460218370207998
http://dblp.org/rec/conf/cav/BultanGP97Symbolic Model Checking of Infinite State Systems Using Presburger Arithmetic.19973.455124244072549
http://dblp.org/rec/conf/ecoop/HondaT91An Object Calculus for Asynchronous Communication.19913.445092651124968
http://dblp.org/rec/conf/wosn/GalubaA0DK10Outtweeting the Twitterers - Predicting Information Cascades in Microblogs.20103.4401411394163834
http://dblp.org/rec/conf/sigmod/AbiteboulBCMM03Dynamic XML documents with distribution and replication.20033.4384409554576965
http://dblp.org/rec/conf/semweb/AmannBFS02Ontology-Based Integration of XML Web Resources.20023.429448734265731
http://dblp.org/rec/conf/wadt/Meseguer97Membership algebra as a logical framework for equational specification.19973.425449878760092
http://dblp.org/rec/journals/mansci/ParkesK05Models for Iterative Multiattribute Procurement Auctions.20053.424997733483795
http://dblp.org/rec/journals/eswa/ZhaoY09PSO-based single multiplicative neuron model for time series prediction.20093.423562499999999
http://dblp.org/rec/journals/tse/CiancariniTVRK98Coordinating Multiagent Aplications on the WWW: A Reference Architecture.19983.420912796238195
http://dblp.org/rec/conf/wcre/MemonBN03GUI Ripping: Reverse Engineering of Graphical User Interfaces for Testing.20033.4154249021969947
http://dblp.org/rec/books/daglib/0016438Distributed event-based systems.20063.4112169539555186
http://dblp.org/rec/journals/kais/FenselMHBCDGGGMPSSW03The Unified Problem-Solving Method Development Language UPML.20033.404665271526265
http://dblp.org/rec/books/sp/Milner803.404365737833525
http://dblp.org/rec/journals/dpd/GeorgakopoulosHS953.381221259453903
http://dblp.org/rec/conf/icde/PalpanasVKGT04Online Amnesic Approximation of Streaming Time Series.20043.375975214666746
http://dblp.org/rec/conf/edbt/ChaudhuriS96Optimizing Queries with Aggregate Views.19963.374448834212437
http://dblp.org/rec/journals/internet/CeriFM02Conceptual Modeling of Data-Intensive Web Applications.20023.3734871443680725
http://dblp.org/rec/books/daglib/0021581Delay- and disruption-tolerant networking.20063.3705463414634136
http://dblp.org/rec/journals/toplas/TofteB98A Region Inference Algorithm.19983.3684181474717767
http://dblp.org/rec/journals/ai/NebelK95Plan Reuse Versus Plan Generation: A Theoretical and Empirical Analysis.19953.3664980345509163
http://dblp.org/rec/conf/fct/Esparza95Petri Nets, Commutative Context-Free Grammars, and Basic Parallel Processes.19953.36475543578593
http://dblp.org/rec/journals/ior/BorstMR04Dimensioning Large Call Centers.20043.359625002447718
http://dblp.org/rec/conf/dagstuhl/BrunSGGKLMPS09Engineering Self-Adaptive Systems through Feedback Loops.20093.3566757205832296
http://dblp.org/rec/conf/splc/CzarneckiW07Feature Diagrams and Logics: There and Back Again.20073.351655716527676
http://dblp.org/rec/conf/ijcai/BravoB03Logic Programs for Consistently Querying Data Integration Systems.20033.3487656153056045
http://dblp.org/rec/conf/sigecom/WurmanW00AkBA: a progressive, anonymous-price combinatorial auction.20003.3467869167885205
http://dblp.org/rec/conf/soda/IraniSG03Algorithms for power savings.20033.3430692708333325
http://dblp.org/rec/conf/ismb/HuYHHZ05Mining coherent dense subgraphs across massive biological networks for functional discovery.20053.3403302998112947
http://dblp.org/rec/journals/jacm/IbarraM83Probabilistic Algorithms for Deciding Equivalence of Straight-Line Programs19833.3374999999999995
http://dblp.org/rec/conf/icdt/BenediktFK03Structural Properties of XPath Fragments.20033.33681126500676
http://dblp.org/rec/conf/eccv/BelhumeurHK963.335495131842567
http://dblp.org/rec/conf/sigmod/FaloutsosRM943.331541845997877
http://dblp.org/rec/conf/vldb/KemmeA00Don't Be Lazy, Be Consistent: Postgres-R, A New Way to Implement Database Replication.20003.331009489727263
http://dblp.org/rec/conf/ijcai/KhatibMMR01Temporal Constraint Reasoning With Preferences.20013.330243541442119
http://dblp.org/rec/conf/apn/BillingtonCHKKPPSW03The Petri Net Markup Language: Concepts, Technology, and Tools.20033.3242983042107714
http://dblp.org/rec/journals/ibmsj/LeymannA94Managing Business Processes an an Information Resource.19943.3185445042590307
http://dblp.org/rec/conf/pods/HullBCS03E-services: a look behind the curtain.20033.317694253635439
http://dblp.org/rec/journals/tocs/Kemmerer83Shared Resource Matrix Methodology: An Approach to Identifying Storage and Timing Channels19833.3089697059260477
http://dblp.org/rec/conf/www/BudakAA11Limiting the spread of misinformation in social networks.20113.3043596236100776
http://dblp.org/rec/journals/tkde/GarofalakisRS02Mining Sequential Patterns with Regular Expression Constraints.20023.2995386571812344
http://dblp.org/rec/conf/p2p/Montresor04A Robust Protocol for Building Superpeer Overlay Topologies.20043.263700489134108
http://dblp.org/rec/journals/cacm/AgrawalABBCCDFFGGGHHHIKKMMOORSSSW09The Claremont report on database research.20093.2622578933556845
http://dblp.org/rec/journals/pami/WangHP07A Fingerprint Orientation Model Based on 2D Fourier Expansion (FOMFE) and Its Application to Singular-Point Detection and Fingerprint Indexing.20073.2615312500000004
http://dblp.org/rec/journals/jcss/AbiteboulV91Datalog Extensions for Database Queries and Updates.19913.2513055276950977
http://dblp.org/rec/conf/sigmod/HeS08Graphs-at-a-time: query language and access methods for graph databases.20083.247815608176582
http://dblp.org/rec/journals/ieeesp/Rosenblum07What Anyone Can Know: The Privacy Risks of Social Networking Sites.20073.2449410536037573
http://dblp.org/rec/conf/icdcs/JelasityM04Epidemic-Style Proactive Aggregation in Large Overlay Networks.20043.2447465946902083
http://dblp.org/rec/conf/stoc/Vardi823.236692516904472
http://dblp.org/rec/conf/sigmod/CaoCJO11Collective spatial keyword querying.20113.2312683391226287
http://dblp.org/rec/conf/icdcsw/MeierC02aSTEAM: Event-Based Middleware for Wireless Ad Hoc Network.20023.229151265320456
http://dblp.org/rec/journals/isci/ChuRP04Ant colony system with communication strategies.20043.22814423076923
http://dblp.org/rec/conf/sigmod/PangJRT05Verifying Completeness of Relational Query Results in Data Publishing.20053.2271174563623437
http://dblp.org/rec/journals/tcs/AalstB02Inheritance of workflows: an approach to tackling problems related to change.20023.224921303702109
http://dblp.org/rec/conf/sigmod/LiOTW06DADA: a data cube for dominant relationship analysis.20063.2240025891520325
http://dblp.org/rec/journals/tse/SelbyB91Analyzing Error-Prone System Structure.19913.2228153873379695
http://dblp.org/rec/journals/computer/Smith96A Digital Library for Geographically Referenced Material.19963.2190179984344236
http://dblp.org/rec/conf/cav/HeitmeyerKLB98SCR*: A Toolset for Specifying and Analyzing Software Requirements.19983.2115101714146195
http://dblp.org/rec/conf/edbt/HadjieleftheriouKTG02Efficient Indexing of Spatiotemporal Objects.20023.2114785309141647
http://dblp.org/rec/journals/geoinformatica/AbrahamR99Survey of Spatio-Temporal Databases.19993.2074727363402427
http://dblp.org/rec/conf/uss/KruegelKMRV05Automating Mimicry Attacks Using Static Binary Analysis.20053.201809934549073
http://dblp.org/rec/conf/middleware/PlattnerA04Ganymed: Scalable Replication for Transactional Web Applications.20043.196737598175017
http://dblp.org/rec/journals/ker/SerugendoGK05Self-organization in multi-agent systems.20053.1948446551598724
http://dblp.org/rec/journals/datamine/BoulicautBR03Free-Sets: A Condensed Representation of Boolean Data for the Approximation of Frequency Queries.20033.193673443267864
http://dblp.org/rec/journals/toit/CeriDMF07Model-driven development of context-aware Web applications.20073.192149091735933
http://dblp.org/rec/conf/recsys/LiWZZC08Pfp: parallel fp-growth for query recommendation.20083.1883630107113468
http://dblp.org/rec/conf/cav/BloemCHJ09Better Quality in Synthesis through Quantitative Objectives.20093.187446992603116
http://dblp.org/rec/conf/dlog/2003handbook3.187391696933444
http://dblp.org/rec/books/daglib/0072385Object-oriented system development.19933.182678198851311
http://dblp.org/rec/journals/cacm/Hoare81The Emperor's Old Clothes.19813.1826281290596343
http://dblp.org/rec/series/aikp/StuckenschmidtH05Information Sharing on the Semantic Web.20053.1823445469192735
http://dblp.org/rec/journals/expert/Cardoso07The Semantic Web Vision: Where Are We?20073.179804661943319
http://dblp.org/rec/conf/qosa/KruchtenLV06Building Up and Reasoning About Architectural Knowledge.20063.174579598158303
http://dblp.org/rec/conf/www/BultanFHS03Conversation specification: a new approach to design and analysis of e-service composition.20033.1637580367306146
http://dblp.org/rec/conf/vldb/XinHYC05Mining Compressed Frequent-Pattern Sets.20053.160137678768396
http://dblp.org/rec/journals/tse/CaporuscioCW03Design and Evaluation of a Support Service for Mobile, Wireless Publish/Subscribe Applications.20033.159536968481597
http://dblp.org/rec/journals/tcs/Chabrier-RivierCDFS04Modeling and querying biomolecular interaction networks.20043.157898758843441
http://dblp.org/rec/journals/toplas/MorganMS96Probabilistic Predicate Transformers.19963.155198015762301
http://dblp.org/rec/conf/mdm/AbererHS07Infrastructure for Data Processing in Large-Scale Interconnected Sensor Networks.20073.1498372271365565
http://dblp.org/rec/conf/icdm/DomeniconiG01Incremental Support Vector Machine Construction.20013.149179054054054
http://dblp.org/rec/conf/icdt/AbiteboulCM97Correspondence and Translation for Heterogeneous Data.19973.1483346501269662
http://dblp.org/rec/books/aw/BernsteinHG873.1440994203160995
http://dblp.org/rec/journals/datamine/MannilaTV973.143215619930831
http://dblp.org/rec/conf/icse/LorenzoliMP08Automatic generation of software behavioral models.20083.142903547386488
http://dblp.org/rec/books/mit/papazoglouST2000/CasatiCPP00Conceptual Modeling of Workflows.20003.1349053487341703
http://dblp.org/rec/conf/sosp/Ellis77Consistency and Correctness of Duplicate Database Systems.19773.133303547520819
http://dblp.org/rec/conf/sigmod/ChanET05Stratified Computation of Skylines with Partially-Ordered Domains.20053.131844636214084
http://dblp.org/rec/conf/mobicom/TaitLAC95Intelligent File Hoarding for Mobile Computers.19953.130409137036496
http://dblp.org/rec/conf/pods/CalvaneseGLR04Logical Foundations of Peer-To-Peer Data Integration.20043.124253001674152
http://dblp.org/rec/journals/sigmetrics/MarsanBCDF98Modelling with Generalized Stochastic Petri Nets.19983.1168440133781212
http://dblp.org/rec/conf/www/ChristophidesPST03On labeling schemes for the semantic web.20033.110024241858481
http://dblp.org/rec/journals/misq/RosemannV06Toward Improving the Relevance of Information Systems Research to Practice: The Role of Applicability Checks.20063.103709734293619
http://dblp.org/rec/books/daglib/0000497Introduction to Process Algebra.20003.100657651370482
http://dblp.org/rec/journals/tcs/DanosL04Formal molecular biology.20043.0997486321375782
http://dblp.org/rec/conf/vldb/RamaswamyMS98On the Discovery of Interesting Patterns in Association Rules.19983.0979113301352816
http://dblp.org/rec/reference/algo/PrakashA08a3.088258663869596
http://dblp.org/rec/conf/pods/BeeriLR97Rewriting Queries Using Views in Description Logics.19973.0812534131905767
http://dblp.org/rec/journals/tods/MetwallyAA06An integrated efficient solution for computing frequent and top-k elements in data streams.20063.078286379087827
http://dblp.org/rec/journals/nn/HammerMSS04Recursive self-organizing network models.20043.0698674651385165
http://dblp.org/rec/books/daglib/0023756Coloured Petri Nets - Modelling and Validation of Concurrent Systems.20093.058134200265176
http://dblp.org/rec/journals/tse/HarmanHHWSBR04Testability Transformation.20043.057431361795734
http://dblp.org/rec/conf/middleware/RellermeyerAR07R-OSGi: Distributed Applications Through Software Modularization.20073.052700780435745
http://dblp.org/rec/conf/icse/HallHW99A Cooperative Approach to Support Software Deployment Using the Software Dock.19993.0478246546105265
http://dblp.org/rec/journals/jsc/AlbertHHOV05Operational semantics for declarative multi-paradigm languages.20053.047216798948998
http://dblp.org/rec/conf/icde/GeffnerAAS99Relative Prefix Sums: An Efficient Approach for Querying Dynamic OLAP Data Cubes.19993.0444899700465404
http://dblp.org/rec/journals/fuin/PaunRS00Membrane Computing with External Output.20003.042888084139562
http://dblp.org/rec/conf/esec/SchurrWZ95Graph Grammar Engineering with PROGRES.19953.0393925372172603
http://dblp.org/rec/journals/tcs/MateescuRS98Shuffle on Trajectories: Syntactic Constraints.19983.0372705334148953
http://dblp.org/rec/conf/sigmod/GuhaRS98CURE: An Efficient Clustering Algorithm for Large Databases.19983.0357039746543775
http://dblp.org/rec/journals/cacm/FayadTF96Transition To Object-Oriented Software Development.19963.0351617612966515
http://dblp.org/rec/conf/IEEEpact/HumMTTTGCEHJKMM95A design study of the EARTH multiprocessor.19953.025124999999999
http://dblp.org/rec/journals/computer/FranceGDS06Model-Driven Development Using UML 2.0: Promises and Pitfalls.20063.0220902725034207
http://dblp.org/rec/conf/fmcad/GuptaYAG00SAT-Based Image Computation with Application in Reachability Analysis.20003.021198951613751
http://dblp.org/rec/conf/dac/ZhuKKS06SAT sweeping with local observability don't-cares.20063.0187499999999994
http://dblp.org/rec/journals/pami/AlferezW99Geometric and Illumination Invariants for Object Recognition.19993.017930186641973
http://dblp.org/rec/journals/jacm/NicolaV95Three Logics for Branching Bisimulation.19953.0146104788727417
http://dblp.org/rec/conf/sigmod/CongTTX05Mining Top-k Covering Rule Groups for Gene Expression Data.20053.0125939503576604
http://dblp.org/rec/journals/fgcs/SchwiegelshohnBBDDGGHKLPRRRRRSTUY10Perspectives on grid computing.20102.9974999999999996
http://dblp.org/rec/conf/ecml/MenacheMS02Q-Cut - Dynamic Discovery of Sub-goals in Reinforcement Learning.20022.995712431318682
http://dblp.org/rec/conf/kbse/ApiwattanapongOH04A Differencing Algorithm for Object-Oriented Programs.20042.9921641821120373
http://dblp.org/rec/conf/ap2pc/MontresorMB02Messor: Load-Balancing through a Swarm of Autonomous Agents.20022.982819059715378
http://dblp.org/rec/conf/pods/Lenzerini022.9815248864632755
http://dblp.org/rec/conf/vldb/HullY90ILOG: Declarative Creation and Manipulation of Object Identifiers.19902.979348491590725
http://dblp.org/rec/journals/pami/KirbyS902.973688515330907
http://dblp.org/rec/conf/semweb/TheoharisCK05Benchmarking Database Representations of RDF/S Stores.20052.971714836332103
http://dblp.org/rec/journals/tog/WangTLPWBGS06Appearance manifolds for modeling time-variant appearance of materials.20062.966793749999999
http://dblp.org/rec/conf/ecoop/RedmondC02Supporting Unanticipated Dynamic Adaptation of Application Behaviour.20022.962996226413599
http://dblp.org/rec/conf/tacs/BruceCP97Comparing Object Encodings.19972.9626491447706638
http://dblp.org/rec/conf/percom/CostaCGLMMPSWZ07The RUNES Middleware for Networked Embedded Systems and its Application in a Disaster Management Scenario.20072.962564542329595
http://dblp.org/rec/conf/icde/ChawatheAW98Representing and Querying Changes in Semistructured Data.19982.956960164402647
http://dblp.org/rec/journals/isci/ZengG08Normalized distance, similarity measure, inclusion measure and entropy of interval-valued fuzzy sets and their relationship.20082.954999999999999
http://dblp.org/rec/conf/aaim/WangBSCC09PLDA: Parallel Latent Dirichlet Allocation for Large-Scale Applications.20092.9523572531377176
http://dblp.org/rec/conf/hicss/BaresiGP01Extending UML for Modeling Web Applications.20012.951163022602635
http://dblp.org/rec/conf/vldb/GuhaSW04REHIST: Relative Error Histogram Construction Algorithms.20042.945594641192135
http://dblp.org/rec/conf/pods/KolaitisP88Why Not Negation by Fixpoint?19882.9420506667854975
http://dblp.org/rec/conf/msr/XieP06MAPO: mining API usages from open source repositories.20062.939276785843291
http://dblp.org/rec/journals/tc/Bryant862.9392696297918772
http://dblp.org/rec/conf/percom/GuWTPL09epSICAR: An Emerging Patterns based Approach to Sequential, Interleaved and Concurrent Activity Recognition.20092.937863816530075
http://dblp.org/rec/journals/acta/Nicola87Extensional Equivalences for Transition Systems.19872.9370755077344133
http://dblp.org/rec/journals/prl/FanZBH05Seeded region growing: an extensive and comparative study.20052.9337499999999994
http://dblp.org/rec/journals/cacm/Hoare61Algorithm 63: partition.19612.9337499999999994
http://dblp.org/rec/journals/tse/SeamanB98Communication and Organization: An Empirical Study of Discussion in Inspection Meetings.19982.9328688569227133
http://dblp.org/rec/conf/wcre/StoreyWM97How Do Program Understanding Tools Affect How Programmers Understand Programs?19972.932850540711231
http://dblp.org/rec/conf/sigmod/LiVCAHMWBCHIKSS99PowerBookmarks: A System for Personalizable Web Information Organization, Sharing, and Management.19992.9317338827544153
http://dblp.org/rec/conf/parle/BaetenBK87Decidability of Bisimulation Equivalence for Processes Generating Context-Free Languages.19872.9313696243251255
http://dblp.org/rec/journals/scp/Harel872.931056989418603
http://dblp.org/rec/journals/tse/BriandMB99Defining and Validating Measures for Object-Based High-Level Design.19992.930778440174755
http://dblp.org/rec/conf/icde/ShimSA97High-Dimensional Similarity Joins.19972.927770204482879
http://dblp.org/rec/conf/pods/AbiteboulVFY98Relational Transducers for Electronic Commerce.19982.926539175244585
http://dblp.org/rec/conf/icde/BryceH86SNAP: A Graphics-based Schema Manager.19862.924994605424389
http://dblp.org/rec/journals/is/AalstH00Verification Of Workflow Task Structures: A Petri-net-baset Approach.20002.920542413937593
http://dblp.org/rec/journals/cacm/Montanari70A Note on Minimal Length Polygongal Approximation to a Digitized Contour.19702.9194663591869214
http://dblp.org/rec/conf/coopis/Aberer01P-Grid: A Self-Organizing Access Structure for P2P Information Systems.20012.9185790126600057
http://dblp.org/rec/conf/pods/Abiteboul99On Views and XML.19992.918256863897563
http://dblp.org/rec/conf/icse/NickelNZ00The FUJABA environment.20002.9177801824926473
http://dblp.org/rec/journals/tissec/KochMP02A graph-based formalism for RBAC.20022.9169417996104707
http://dblp.org/rec/conf/sosp/Adjie-WinotoSBL992.913011118701447
http://dblp.org/rec/journals/jcss/Paun002.912900357298087
http://dblp.org/rec/books/mg/CormenLR892.9114791412561947
http://dblp.org/rec/conf/kdd/CaiSHYH05Mining hidden community in heterogeneous social networks.20052.911265004373393
http://dblp.org/rec/conf/fodo/AgrawalFS932.911024634447062
http://dblp.org/rec/journals/ker/YeCDN07Ontology-based models in pervasive computing systems.20072.909629948162111
http://dblp.org/rec/conf/tpcd/BoultonGGHHT92Experience with Embedding Hardware Description Languages in HOL.19922.9017629162052905
http://dblp.org/rec/journals/tse/FocardiG97The Compositional Security Checker: A Tool for the Verification of Information Flow Security Properties.19972.9005626784922995
http://dblp.org/rec/conf/kdd/ChengYH04IncSpan: incremental mining of sequential patterns in large database.20042.8993303965771067
http://dblp.org/rec/journals/spe/PurtiloA91Module Reuse by Interface Adaptation.19912.8911563349523526
http://dblp.org/rec/conf/cp/BistarelliFMRSV95Semiring-Based CSPs and Valued CSPs: Basic Properties and Comparison.19952.88764327425399
http://dblp.org/rec/conf/aaai/RossiVW04mCP Nets: Representing and Reasoning with Preferences of Multiple Agents.20042.885097398797364
http://dblp.org/rec/conf/reflection/DowlingC01The K-Component Architecture Meta-model for Self-Adaptive Software.20012.8823345591378833
http://dblp.org/rec/journals/jpdc/UcarAKI06Task assignment in heterogeneous computing systems.20062.878684841981769
http://dblp.org/rec/journals/tcad/ChenD01Software-based self-testing methodology for processor cores.20012.8786147051772835
http://dblp.org/rec/conf/caise/AalstW01The P2P Approach to Interorganizational Workflows.20012.878414873472131
http://dblp.org/rec/conf/widm/GarofalakisRSS99Data Mining and the Web: Past, Present and Future.19992.875659430895984
http://dblp.org/rec/conf/icsm/StoreyM95Manipulating and documenting software structures using SHriMP views.19952.875575434328648
http://dblp.org/rec/journals/toplas/ClarkeES862.874945525831427
http://dblp.org/rec/conf/ds/DumansOHEH01Towards A Semantic Framework for Service Description.20012.8719246503915903
http://dblp.org/rec/conf/ics/TangY01Optimizing threaded MPI execution on SMP clusters.20012.869999999999999
http://dblp.org/rec/conf/fpca/GunterRR95A Generalization of Exceptions and Control in ML-like Languages.19952.8689706571648212
http://dblp.org/rec/conf/fgr/Yang022.8651836339899908
http://dblp.org/rec/conf/icde/PangT04Authenticating Query Results in Edge Computing.20042.865113683350645
http://dblp.org/rec/journals/internet/DanielYBCMS07Understanding UI Integration: A Survey of Problems, Technologies, and Opportunities.20072.859893718217007
http://dblp.org/rec/conf/lics/TuriP97Towards a Mathematical Operational Semantics.19972.8591946351717716
http://dblp.org/rec/conf/metrics/ShullBBBCLPRTZ02What We Have Learned About Fighting Defects.20022.856621109543953
http://dblp.org/rec/conf/p2p/AbererAGGHH05The Essence of P2P: A Reference Architecture for Overlay Networks.20052.8565290892919113
http://dblp.org/rec/conf/pods/AbbadiT86Availability in Partitioned Replicated Databases.19862.8553408408949803
http://dblp.org/rec/conf/nsdi/ZhaoXYKYCG09BotGraph: Large Scale Spamming Botnet Detection.20092.8525913493927533
http://dblp.org/rec/journals/tapos/BruceCCESTLP95On Binary Methods.19952.8509284899476914
http://dblp.org/rec/conf/pods/Gross-Amblard03Query-preserving watermarking of relational databases and XML documents.20032.8505298259578935
http://dblp.org/rec/journals/jair/ArtaleCKZ09The DL-Lite Family and Relations.20092.847619319119045
http://dblp.org/rec/journals/sigmod/SnodgrassAABCDEGJKKKLLRSSS94TSQL2 Language Specification.19942.8431506868561343
http://dblp.org/rec/journals/scp/VarroVP02Designing the automatic transformation of visual languages.20022.842770374110791
http://dblp.org/rec/conf/otm/VuHA05QoS-Based Service Selection and Ranking with Trust and Reputation Management.20052.8386291741198075
http://dblp.org/rec/journals/toplas/PughW98Constraint-Based Array Dependence Analysis.19982.8347770990541337
http://dblp.org/rec/journals/tnn/BohtePK02Unsupervised clustering with spiking neurons by sparse temporal coding and multilayer RBF networks.20022.8274999999999992
http://dblp.org/rec/conf/acl/VersleyPPEJSYM08BART: A Modular Toolkit for Coreference Resolution.20082.8274999999999992
http://dblp.org/rec/conf/lics/AbramskyHM98A Fully Abstract Game Semantics for General References.19982.823156079520364
http://dblp.org/rec/journals/tosem/CookW99Software Process Validation: Quantitatively Measuring the Correspondence of a Process to a Model.19992.8191532894900613
http://dblp.org/rec/journals/ieeecc/ShethAA99Processes Driving the Networked Economy.19992.814714813355697
http://dblp.org/rec/conf/icde/992.813086965591056
http://dblp.org/rec/conf/iccad/GanaiGA04Efficient SAT-based unbounded symbolic model checking using circuit cofactoring.20042.8115829403300077
http://dblp.org/rec/journals/cacm/GuntherS05RFID and the perception of control: the consumer's view.20052.8106931818181815
http://dblp.org/rec/conf/ma/BryceV99The JavaSeal Mobile Agent Kernel.19992.8074352612737816
http://dblp.org/rec/journals/jcss/AbiteboulB86Non First Normal Form Relations: An Algebra Allowing Data Restructuring.19862.804033515189443
http://dblp.org/rec/conf/sigmod/HeinisA08Efficient lineage tracking for scientific workflows.20082.8018585914435334
http://dblp.org/rec/books/mit/shriverW87/GoguenM87Unifying Functional, Object-Oriented and Relational Programming with Logical Semantics.19872.7999956960808476
http://dblp.org/rec/journals/dke/AalstWG05Case handling: a new paradigm for business process support.20052.7951074326892633
http://dblp.org/rec/conf/uss/KolbitschCKKZW09Effective and Efficient Malware Detection at the End Host.20092.795076746032424
http://dblp.org/rec/conf/dsom/SahaiMSMC02Automated SLA Monitoring for Web Services.20022.7828720839789103
http://dblp.org/rec/conf/cikm/SebastianiSV00An Improved Boosting Algorithm and its Application to Text Categorization.20002.7717313782247435
http://dblp.org/rec/conf/esorics/BanatreBM94Compile-Time Detection of Information Flow in Sequential Programs.19942.7712488605258283
http://dblp.org/rec/conf/sigmod/YanYH05Substructure Similarity Search in Graph Databases.20052.7695320701235184
http://dblp.org/rec/conf/www/StuckenschmidtVHB04Index structures and algorithms for querying distributed RDF repositories.20042.764417109352262
http://dblp.org/rec/conf/tapsoft/Esparza93Model Checking Using Net Unfoldings.19932.763048232591223
http://dblp.org/rec/conf/apn/RatzerWLLQSWCJ03CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets.20032.762125516465788
http://dblp.org/rec/conf/srds/WiesmannSPKA00Database Replication Techniques: A Three Parameter Classification.20002.755636016401582
http://dblp.org/rec/journals/cacm/YangP00Interoperation Support for Electronic Business.20002.7533693059454225
http://dblp.org/rec/conf/qest/Hillston05Fluid Flow Approximation of PEPA models.20052.75264612593593
http://dblp.org/rec/journals/toplas/Castagna95Covariance and Contravariance: Conflict without a Cause.19952.752221385464005
http://dblp.org/rec/conf/aaai/AcciarriCGLLPR05QuOnto: Querying Ontologies.20052.749867727712999
http://dblp.org/rec/conf/icde/DecleirHK99A Database Approach for Modeling and Querying Video Data.19992.74596298151875
http://dblp.org/rec/conf/vldb/ShekitaYT93Multi-Join Optimization for Symmetric Multiprocessors.19932.7429819291354707
http://dblp.org/rec/journals/cviu/DraperBBB032.740937796445218
http://dblp.org/rec/journals/csur/Zelkowitz78Perspectives in Software Engineering.19782.7405798786213706
http://dblp.org/rec/journals/corr/abs-1106-0243On Reasonable and Forced Goal Orderings and their Use in an Agenda-Driven Planning Algorithm20112.73221466528182
http://dblp.org/rec/conf/icde/CalvaneseGLV00Answering Regular Path Queries Using Views.20002.7321124660719116
http://dblp.org/rec/conf/fpca/Henglein91Efficient Type Inference for Higher-Order Binding-Time Analysis.19912.7254579522482576
http://dblp.org/rec/conf/lics/Asperti98Light Affine Logic.19982.724304175147779
http://dblp.org/rec/conf/www/LuCDZ11Automatic construction of a context-aware sentiment lexicon: an optimization approach.20112.723000489130434
http://dblp.org/rec/journals/computer/RamamoorthyPTU84Software Engineering: Problems and Perspectives.19842.7229572723678563
http://dblp.org/rec/conf/mobicom/KarpK002.7198226872777695
http://dblp.org/rec/journals/vldb/BenatallahHLRT05On automating Web services discovery.20052.7181511081885925
http://dblp.org/rec/journals/tkde/DamianiVPS03Managing and Sharing Servents' Reputations in P2P Systems.20032.7180921253236656
http://dblp.org/rec/journals/pvldb/KraskaHAK09Consistency Rationing in the Cloud: Pay only when it matters.20092.7115077208068756
http://dblp.org/rec/series/lncs/HoggLWCH13The Geneva Convention on the Treatment of Object Aliasing.20132.7054968580641803
http://dblp.org/rec/conf/dac/ChenRRD03A scalable software-based self-test methodology for programmable processors.20032.702577752637987
http://dblp.org/rec/conf/esop/CooperK06Embedding Dynamic Dataflow in a Call-by-Value Language.20062.7018961975069646
http://dblp.org/rec/conf/splc/ChenBA09Variability management in software product lines: a systematic review.20092.701656850305261
http://dblp.org/rec/journals/cor/WangZZ06An effective hybrid genetic algorithm for flow shop scheduling with limited buffers.20062.6999999999999993
http://dblp.org/rec/journals/datamine/AgrawalGGR05Automatic Subspace Clustering of High Dimensional Data.20052.69647128367543
http://dblp.org/rec/journals/jiis/NanniP06Time-focused clustering of trajectories of moving objects.20062.695293855045462
http://dblp.org/rec/conf/icdt/AbiteboulV97Queries and Computation on the Web.19972.6948284276535164
http://dblp.org/rec/conf/popl/EsparzaP00Efficient Algorithms for pre* and post* on Interprocedural Parallel Flow Graphs.20002.694459948271288
http://dblp.org/rec/journals/computer/BasiliM91The Future Engineering of Software: A Management Perspective.19912.6906852254915736
http://dblp.org/rec/conf/lics/19892.6899724394073345
http://dblp.org/rec/conf/oopsla/KurtevBJV06Model-based DSL frameworks.20062.6879936961067177
http://dblp.org/rec/journals/tods/GuhaKS06Approximation and streaming algorithms for histogram construction problems.20062.6696684116100737
http://dblp.org/rec/conf/pg/LiuZ04Segmentation of 3D Meshes through Spectral Clustering.20042.669447088068181
http://dblp.org/rec/conf/sigcomm/LiuDMJSSZ12A case for a coordinated internet video control plane.20122.6657998325892853
http://dblp.org/rec/conf/mm/HanHXG02An integrated baseball digest system using maximum entropy method.20022.663150223214285
http://dblp.org/rec/conf/sc/WangMES08Proactive process-level live migration in HPC environments.20082.6626607142857135
http://dblp.org/rec/journals/dke/DaviesGRIG06How do practitioners use conceptual modeling in practice?20062.6617898103775777
http://dblp.org/rec/conf/metrics/CarverJMS03Issues in Using Students in Empirical Studies in Software Engineering Education.20032.6592643047109745
http://dblp.org/rec/journals/cacm/OnomaTPS98Regression Testing in an Industrial Environment.19982.657310202247368
http://dblp.org/rec/conf/fmoods/LatellaMM99Towards a Formal Operational Semantics of UML Statechart Diagrams.19992.651693080140546
http://dblp.org/rec/conf/ifip8-1/HarmsenBO94Situational method engineering for informational system project approaches.19942.651284818154469
http://dblp.org/rec/journals/kbs/PuC07Trust-inspiring explanation interfaces for recommender systems.20072.6500465664430797
http://dblp.org/rec/conf/popl/NielsonN97Infinitary Control Flow Analysis: a Collecting Semantics for Closure Analysis.19972.6485760410867125
http://dblp.org/rec/conf/www/YuBSCDM07A framework for rapid integration of presentation components.20072.6403273912861147
http://dblp.org/rec/conf/icse/Basili96The Role of Experimentation in Software Engineering: Past, Current, and Future.19962.6396034362207543
http://dblp.org/rec/conf/icse/BasiliBCKMV96Understanding and Predicting the Process of Software Maintenance Release.19962.6370667626642272
http://dblp.org/rec/conf/icde/HuangJLO06Skyline Queries Against Mobile Lightweight Devices in MANETs.20062.6367011357266206
http://dblp.org/rec/journals/tcs/AbadiP93A Logical View of Composition.19932.635440912760398
http://dblp.org/rec/conf/re/CarlshamreSLRD01An Industrial Survey of Requirements Interdependencies in Software Product Release Plannin.20012.630397590172931
http://dblp.org/rec/journals/tc/TsaiRTN89An Adaptive Hierarchical Routing Protocol.19892.6291887895044064
http://dblp.org/rec/conf/vldb/PereiraFJLS01WebFilter: A High-throughput XML-based Publish and Subscribe System.20012.6272219846176075
http://dblp.org/rec/conf/sigmod/ShenZH05Towards Effective Indexing for Very Large Video Sequence Database.20052.6202502415399174
http://dblp.org/rec/conf/sac/HanXZG05A hierarchical naive Bayes mixture model for name disambiguation in author citations.20052.6199261363636355
http://dblp.org/rec/journals/is/GreenR00Integrated Process Modeling: An Ontological Evaluation.20002.619907352111294
http://dblp.org/rec/journals/entcs/StolzB06Temporal Assertions using AspectJ.20062.619053197421311
http://dblp.org/rec/conf/icde/SahinGAA04A Peer-to-peer Framework for Caching Range Queries.20042.619044530076284
http://dblp.org/rec/conf/cade/FarmerGT90IMPS: An Interactive Mathematical Proof System.19902.618621806914142
http://dblp.org/rec/conf/tools/Eddy912.618356763838751
http://dblp.org/rec/conf/icde/JefferyAFHW06A Pipelined Framework for Online Cleaning of Sensor Data Streams.20062.6141126131005548
http://dblp.org/rec/journals/sttt/AbrialBHHMV10Rodin: an open toolset for modelling and reasoning in Event-B.20102.6075547906636185
http://dblp.org/rec/conf/www/FreireKL01WebViews: accessing personalized web content and services.20012.6071567548419554
http://dblp.org/rec/conf/cds/BidanISZ98A dynamic reconfiguration service for CORBA.19982.6036287850317286
http://dblp.org/rec/conf/icse/HoekHW96A Generic, Peer-to-Peer Repository for Distributed Configuration Management.19962.597932062318378
http://dblp.org/rec/conf/lfp/Cardelli84Compiling a Functional Language.19842.597714452664864
http://dblp.org/rec/conf/date/IraniGS02Competitive Analysis of Dynamic Power Management Strategies for Systems with Multiple Power Savings States.20022.5941185879731457
http://dblp.org/rec/conf/icse/BasiliCMPPW92The Software Engineering Laboratory: An Operational Software Experience Factory.19922.593205726593738
http://dblp.org/rec/conf/rex/Winskel88An introduction to event structures.19882.5929125065180965
http://dblp.org/rec/conf/ccs/ArdagnaCDVS06Supporting location-based conditions in access control policies.20062.5910697337053565
http://dblp.org/rec/conf/lics/AlurPP95Model-Checking of Causality Properties19952.5908797920175157
http://dblp.org/rec/journals/tods/Wijsen99Temporal FDs on Complex Objects.19992.5878670959325256
http://dblp.org/rec/journals/fmsd/Gupta92Formal Hardware Verification Methods: A Survey.19922.5841013513513507
http://dblp.org/rec/conf/xpu/LindvallBBCDSTWZ02Empirical Findings in Agile Methods.20022.582786271500561
http://dblp.org/rec/conf/icml/MannorMHK04Dynamic abstraction in reinforcement learning via clustering.20042.5808365384615386
http://dblp.org/rec/conf/stoc/ChandraM772.579876928926207
http://dblp.org/rec/conf/softvis/StoreyCG05On the use of visualization to support awareness of human activities in software development: a survey and a framework.20052.5796110015547264
http://dblp.org/rec/conf/sigmod/YanCHY08Mining significant graph patterns by leap search.20082.578316519962877
http://dblp.org/rec/conf/colt/Even-DarMM02PAC Bounds for Multi-armed Bandit and Markov Decision Processes.20022.57495467169484
http://dblp.org/rec/journals/transci/YangJM04Real-Time Multivehicle Truckload Pickup and Delivery Problems.20042.5724999999999993
http://dblp.org/rec/journals/tc/IbarraS75Polynomially Complete Fault Detection Problems.19752.5724999999999993
http://dblp.org/rec/books/sp/Gunther88Efficient Structures for Geometric Data Management19882.5716427540095026
http://dblp.org/rec/journals/ml/MierswaM05Automatic Feature Extraction for Classifying Audio Data.20052.5698684629826456
http://dblp.org/rec/conf/vldb/AbererHS06A Middleware for Fast and Flexible Sensor Network Deployment.20062.5691036853105795
http://dblp.org/rec/conf/icse/OrsoALRH04An Empirical Comparison of Dynamic Impact Analysis Algorithms.20042.5627109083400135
http://dblp.org/rec/journals/scp/MullerPL06Modular invariants for layered object structures.20062.5586080823874715
http://dblp.org/rec/journals/tcs/DesharnaisGJP04Metrics for labelled Markov processes.20042.553486350064887
http://dblp.org/rec/conf/pods/AbiteboulSV01Representing and Querying XML with Incomplete Information.20012.5505559206664494
http://dblp.org/rec/conf/vldb/SellisRF872.5471279702385052
http://dblp.org/rec/conf/caise/CasatiIJKS00Adaptive and Dynamic Service Composition in eFlow.20002.546799177425551
http://dblp.org/rec/conf/kbse/XieMN04Rostra: A Framework for Detecting Redundant Object-Oriented Unit Tests.20042.546360600453536
http://dblp.org/rec/conf/splc/KastnerAB07A Case Study Implementing Features Using AspectJ.20072.5440687701609237
http://dblp.org/rec/conf/icse/BasiliMPZ02Lessons learned from 25 years of process improvement: the rise and fall of the NASA software engineering laboratory.20022.541819977822421
http://dblp.org/rec/conf/splc/MendoncaWC09SAT-based analysis of feature models is easy.20092.5379228669211815
http://dblp.org/rec/journals/sigsoft/OrsoK05Selective capture and replay of program executions.20052.5374980251790027
http://dblp.org/rec/journals/software/WongTMS95Structural Redocumentation: A Case Study.19952.5353515446880452
http://dblp.org/rec/conf/dimva/EgeleWKK09Defending Browsers against Drive-by Downloads: Mitigating Heap-Spraying Code Injection Attacks.20092.5301864084528543
http://dblp.org/rec/journals/cacm/NeedhamS782.5291601407597804
http://dblp.org/rec/journals/vldb/AtzoriBGP08Anonymity preserving pattern discovery.20082.5289781381375054
http://dblp.org/rec/conf/ecoop/ZhongXZPM09MAPO: Mining and Recommending API Usage Patterns.20092.5270764078046306
http://dblp.org/rec/conf/litp/NicolaV90Action versus State based Logics for Transition Systems.19902.526616902782248
http://dblp.org/rec/conf/pods/GottlobMS07Generalized hypertree decompositions: np-hardness and tractable variants.20072.5242880111064037
http://dblp.org/rec/conf/iciap/HaritaogluHD99Hydra: Multiple People Detection and Tracking Using Silhouettes.19992.523625
http://dblp.org/rec/conf/kbse/CsertanHMPPV02VIATRA - Visual Automated Transformations for Formal Verification and Validation of UML Models.20022.523566432250429
http://dblp.org/rec/conf/ijcai/PistoreT01Planning as Model Checking for Extended Goals in Non-deterministic Domains.20012.522681304995469
http://dblp.org/rec/books/aw/Samet902.5205627530650374
http://dblp.org/rec/reference/db/20092.5185047303478676
http://dblp.org/rec/conf/sigecom/PuC05Integrating tradeoff support in product search tools for e-commerce sites.20052.5173126643416297
http://dblp.org/rec/journals/jss/BatiniTT84Computer aided layout of entity relationship diagrams.19842.5142655133928566
http://dblp.org/rec/journals/cn/JelasityMB09T-Man: Gossip-based fast overlay topology construction.20092.5119926948051945
http://dblp.org/rec/journals/iandc/MeseguerM90Petri Nets Are Monoids19902.51097406895795
http://dblp.org/rec/conf/popl/CardelliG99Types for Mobile Ambients.19992.508702177967757
http://dblp.org/rec/journals/tse/BasiliW84A Methodology for Collecting Valid Software Engineering Data.19842.508278728939316
http://dblp.org/rec/conf/ah/KochW02The Munich Reference Model for Adaptive Hypermedia Applications.20022.5061219088275437
http://dblp.org/rec/conf/ac/Winskel86Event Structures.19862.50187437619999
http://dblp.org/rec/journals/computer/LindvallMDWSKMK04Agile Software Development in Large Organizations.20042.5008793728921446
http://dblp.org/rec/conf/sosp/DabekKKMS012.498178130908639
http://dblp.org/rec/journals/cacm/CarrieroG892.4976427905830367
http://dblp.org/rec/conf/iwmm/SomanKB04Dynamic selection of application-specific garbage collectors.20042.487638801995341
http://dblp.org/rec/journals/tc/GerberPS95Parametric Dispatching of Hard Real-Time Tasks.19952.4874999999999994
http://dblp.org/rec/conf/ijcai/GiacomoLL97Reasoning about Concurrent Execution Prioritized Interrupts, and Exogenous Actions in the Situation Calculus.19972.4853838016776013
http://dblp.org/rec/books/kl/Bertino97Indexing Techniques for Advanced Database Systems19972.4816632280587783
http://dblp.org/rec/conf/icse/BasiliW81Evaluation of a Software Requirements Document by Analysis of Change Data.19812.481657142483727
http://dblp.org/rec/conf/icsm/OrsoRH02A Technique for Dynamic Updating of Java Software.20022.4743905608101953
http://dblp.org/rec/conf/tools/Bezivin01aFrom Object Composition to Model Transformation with the MDA.20012.4740827006124495
http://dblp.org/rec/conf/popl/BirkedalTV96From Region Inference to von Neumann Machines via Region Representation Inference.19962.4712013517622204
http://dblp.org/rec/conf/pods/ZhangMTGS01Efficient Computation of Temporal Aggregates with Range Predicates.20012.4694247026211795
http://dblp.org/rec/journals/tse/MemonPS01Hierarchical GUI Test Case Generation Using Automated Planning.20012.46799711487063
http://dblp.org/rec/journals/tosem/HarelN962.457701092446952
http://dblp.org/rec/conf/atal/DastaniBDM03Programming agent deliberation: an approach illustrated using the 3APL language.20032.4500984833174835
http://dblp.org/rec/journals/pami/EspositoMS92Classification in Noisy Environments Using a Distance Measure Between Structural Symbolic Descriptions.19922.4493820125706325
http://dblp.org/rec/journals/tc/ChiolaDFH93Stochastic Well-Formed Colored Nets and Symmetric Modeling Applications.19932.4452427502341916
http://dblp.org/rec/journals/cacm/BorrielloCLN05Delivering real-world ubiquitous location systems.20052.4449999999999994
http://dblp.org/rec/books/daglib/0027363Process Mining - Discovery, Conformance and Enhancement of Business Processes.20112.4445169545573826
http://dblp.org/rec/conf/vldb/PacittMS99Fast Algorithms for Maintaining Replica Consistency in Lazy Master Replicated Databases.19992.4424060827995846
http://dblp.org/rec/journals/ai/MontanariR91Constraint Relaxation may be Perfect.19912.4401929188506557
http://dblp.org/rec/conf/dsl/CardelliD97Service Combinators for Web Computing.19972.4385692554370904
http://dblp.org/rec/journals/network/PietzuchSB04Composite Event Detection as a Generic Middleware Extension.20042.4334451864838638
http://dblp.org/rec/conf/edbt/AbiteboulS06Querying and Updating Probabilistic Information in XML.20062.4291437596548704
http://dblp.org/rec/books/mit/fayyadPSU96/AgrawalMSTV962.4288951651297674
http://dblp.org/rec/conf/group/AalstB01Beyond workflow management: product-driven case handling.20012.4241180998034118
http://dblp.org/rec/conf/icse/KohlerNNZ00Integrating UML diagrams for production control systems.20002.4232065503089486
http://dblp.org/rec/journals/ibmsj/LeymannR97Workflow-Based Applications.19972.422314305199699
http://dblp.org/rec/conf/icse/MorisioSPBKC00Investigating and improving a COTS-based software development.20002.421999048162565
http://dblp.org/rec/conf/dolap/TheodoratosB00A General Framework for the View Selection Problem for Data Warehouse Design and Evolution.20002.42035794150641
http://dblp.org/rec/journals/jacm/Sahni752.4168666464325326
http://dblp.org/rec/journals/jacm/HorowitzS742.4168666464325326
http://dblp.org/rec/conf/ijcai/StuckenschmidtK03Integrity and Change in Modular Ontologies.20032.4152592374283377
http://dblp.org/rec/conf/sigmod/SchnaitterAMP06COLT: continuous on-line tuning.20062.4149356183687
http://dblp.org/rec/books/daglib/00673382.412642038004199
http://dblp.org/rec/journals/tsmc/MateraCGP02SUE inspection: an effective method for systematic usability evaluation of hypermedia.20022.4124629768941754
http://dblp.org/rec/conf/litp/Cardelli85Amber.19852.4119947541179942
http://dblp.org/rec/journals/toit/ManolescuBCCF05Model-driven design and deployment of service-enabled web applications.20052.4105703304296924
http://dblp.org/rec/reference/db/Tan09aDistributed Database Systems.20092.4085027703850233
http://dblp.org/rec/conf/cikm/FerhatosmanogluTAA00Vector Approximation based Indexing for Non-uniform High Dimensional Data Sets.20002.4064699643065937
http://dblp.org/rec/conf/oopsla/SpaccoP06Helping students appreciate test-driven development (TDD).20062.403495394736842
http://dblp.org/rec/conf/sensys/LiZS08Accurate, fast fall detection using posture and context information.20082.403264042521439
http://dblp.org/rec/conf/chi/CalvaryCN97From Single-User Architectural Design to PAC*: a Generic Software Architecture Model for CSCW.19972.402288962647872
http://dblp.org/rec/conf/icse/Rosenblum92Towards a Method of Programming With Assertions.19922.4008510050249683
http://dblp.org/rec/journals/jlp/LloydST87Integrity Constraint Checking in Stratified Databases.19872.393268490321591
http://dblp.org/rec/journals/tocl/ArtikisSP09Specifying norm-governed computational societies.20092.392080685770472
http://dblp.org/rec/journals/csur/HieronsBBCDDGHKKLSVWZ09Using formal specifications to support testing.20092.389490545922781
http://dblp.org/rec/conf/icsm/SingerES05NavTracks: Supporting Navigation in Software Maintenance.20052.386146724301016
http://dblp.org/rec/journals/dpd/HanCDPWWC05Stream Cube: An Architecture for Multi-Dimensional Analysis of Data Streams.20052.381865531066089
http://dblp.org/rec/conf/icsm/MahdaviHH03A Multiple Hill Climbing Approach to Software Module Clustering.20032.381468151601383
http://dblp.org/rec/conf/tlca/DespeyrouxPS97Primitive Recursion for Higher-Order Abstract Syntax.19972.38118555204782
http://dblp.org/rec/conf/concur/Rutten98Automata and Coinduction (An Exercise in Coalgebra).19982.377975950246097
http://dblp.org/rec/conf/aose/AmorFV04Bridging the Gap Between Agent-Oriented Design and Implementation Using MDA.20042.3751267070693327
http://dblp.org/rec/conf/dsn/CastroCR04Performance and Dependability of Structured Peer-to-Peer Overlays.20042.3721398531363542
http://dblp.org/rec/journals/tkde/KolliosTGDH01Indexing Animated Objects Using Spatiotemporal Access Methods.20012.3702146610216075
http://dblp.org/rec/conf/re/HeitmeyerLK95Consistency checking of SCR-style requirements specifications.19952.36925802070082
http://dblp.org/rec/journals/computer/WenbanOB93Codesign of Communication Protocols.19932.3653609369559
http://dblp.org/rec/conf/tacs/EsparzaKS01Model-Checking LTL with Regular Valuations for Pushdown Systems.20012.362869499499481
http://dblp.org/rec/conf/vldb/LuST91Optimization of Multi-Way Join Queries for Parallel Execution.19912.3617185176648308
http://dblp.org/rec/conf/osdi/DeanG042.3594668273066666
http://dblp.org/rec/conf/icse/AntoniuSKNF04Validating the Unit Correctness of Spreadsheet Programs.20042.3588413353747133
http://dblp.org/rec/journals/tcs/NielsenRT92Elementary Transition Systems.19922.35800706484721
http://dblp.org/rec/conf/ssdbm/GuntherOPSS98Benchmarking Spatial Joins À La Carte.19982.3572802341291217
http://dblp.org/rec/conf/istcs/GerthKPP95A Partial Order Approach to Branching Time Logic Model Checking.19952.354444052921066
http://dblp.org/rec/conf/avi/BaillyLN08Flower menus: a new type of marking menu with large menu breadth, within groups and efficient expert mode memorization.20082.3536572544642858
http://dblp.org/rec/journals/jwe/EscalonaK04Requirements Engineering for Web Applications - A Comparative Study.20042.344524189208773
http://dblp.org/rec/conf/aaai/ConitzerDK06Improved Bounds for Computing Kemeny Rankings.20062.3410843932307586
http://dblp.org/rec/conf/hpdc/BaudeCHMV02Interactive and Descriptor-Based Deployment of Object-Oriented Grid Applications.20022.338749999999999
http://dblp.org/rec/journals/toplas/AllenK872.3382648066417255
http://dblp.org/rec/journals/jacm/Ibarra72A Note Concerning Nondeterministic Tape Complexities.19722.338221258465309
http://dblp.org/rec/journals/isr/BasuK02Research Commentary: Workflow Management Issues in e-Business.20022.3372275927353217
http://dblp.org/rec/conf/dbsec/ArdagnaCDVS07Location Privacy Protection Through Obfuscation-Based Techniques.20072.336934910714285
http://dblp.org/rec/conf/ride/KlingemannWA99Deriving Service Models in Cross-Organizational Workflows.19992.331951982642493
http://dblp.org/rec/conf/icdcs/KemmeA98A Suite of Database Replication Protocols based on Group Communication Primitives.19982.326433466470424
http://dblp.org/rec/conf/mobicom/PriyanthaCB002.3242581216245095
http://dblp.org/rec/conf/ismar/GibsonCHHO02Accurate Camera Calibration for Off-line, Video-Based Augmented Reality.20022.3174999999999994
http://dblp.org/rec/conf/pldi/KrintzC01Using Annotation to Reduce Dynamic Optimization Time.20012.3160024543152846
http://dblp.org/rec/journals/tcs/EtalleG96Transformations of CLP Modules.19962.3159822132990344
http://dblp.org/rec/journals/jacm/SleatorT852.315485100728775
http://dblp.org/rec/conf/aiia/GiacomoL95PDL-based framework for reasoning about actions.19952.314046774745428
http://dblp.org/rec/conf/ics/LiYZ892.3127225974414065
http://dblp.org/rec/conf/vldb/ShengBDM02SELF-SERV: A Platform for Rapid Composition of Web Services in a Peer-to-Peer Environment.20022.3053703810251416
http://dblp.org/rec/conf/nsf/CarzanigaW01Content-Based Networking: A New Communication Infrastructure.20012.302703040038107
http://dblp.org/rec/conf/patat/YangP04A Novel Similarity Measure for Heuristic Selection in Examination Timetabling.20042.299165468218518
http://dblp.org/rec/journals/tits/CucchiaraPM00Image analysis and rule-based reasoning for a traffic monitoring system.20002.2962499999999992
http://dblp.org/rec/journals/tse/ApelLS08Aspectual Feature Modules.20082.295303053546331
http://dblp.org/rec/journals/sigkdd/RoddickS99A Bibliography of Temporal, Spatial and Spatio-Temporal Data Mining Research.19992.2932007656099773
http://dblp.org/rec/journals/is/Aalst99Process-oriented architectures for electronic commerce and interorganizational workflow.19992.292450758383877
http://dblp.org/rec/conf/esop/BenediktRS99A Decidable Logic for Describing Linked Data Structures.19992.2914009228294154
http://dblp.org/rec/journals/sttt/LeuschelB08ProB: an automated analysis toolset for the B method.20082.2893772033172106
http://dblp.org/rec/journals/tods/KemmeA00A new approach to developing and implementing eager database replication protocols.20002.287574755512089
http://dblp.org/rec/conf/icde/SinghMSPHNC08Database Support for Probabilistic Attributes and Tuples.20082.2871609749436534
http://dblp.org/rec/conf/pods/CalvaneseGLV99Rewriting of Regular Expressions and Regular Path Queries.19992.286932877952176
http://dblp.org/rec/conf/cikm/CaoCCJZ09The use of categorization information in language models for question retrieval.20092.285543560468951
http://dblp.org/rec/conf/pods/KolaitisV90On the Expressive Power of Datalog: Tools and a Case Study.19902.2855408392344216
http://dblp.org/rec/journals/software/AyewahHMPP08Using Static Analysis to Find Bugs.20082.285107973575496
http://dblp.org/rec/journals/tkde/Kumar94G-Tree: A New Data Structure for Organizing Multidimensional Data.19942.2849042006708884
http://dblp.org/rec/conf/oopsla/ChampeauxLF92The Process of Object-Oriented Design.19922.2847719303106593
http://dblp.org/rec/conf/icde/EgeE87Design and Implementation of GORDION, an Object Base Management System.19872.2834766270050952
http://dblp.org/rec/conf/popl/PredaCJD07A semantics-based approach to malware detection.20072.2826332001688523
http://dblp.org/rec/conf/vldb/TsurAADKW01Are Web Services the Next Revolution in e-Commerce? (Panel).20012.281706691618512
http://dblp.org/rec/conf/adc/WangT05Removing XML Data Redundancies Using Functional and Equality-Generating Dependencies.20052.2792499999999993
http://dblp.org/rec/journals/cacm/CasatiSDS03Business-oriented management of Web services.20032.2739375174130156
http://dblp.org/rec/conf/apn/DongenMVWA05The ProM Framework: A New Era in Process Mining Tool Support.20052.2739108585680556
http://dblp.org/rec/conf/icse/TreudeS10Awareness 2.0: staying aware of projects, developers and tasks using dashboards and feeds.20102.2732962322183745
http://dblp.org/rec/journals/iandc/BarbaneraDL95Intersection and Union Types: Syntax and Semantics19952.271394219264356
http://dblp.org/rec/conf/vldb/ChengSP05U-DBMS: A Database System for Managing Constantly-Evolving Data.20052.2640407655768766
http://dblp.org/rec/conf/icdcs/BanavarCMNSS992.2639418726351055
http://dblp.org/rec/conf/popl/DamasM822.263215423590747
http://dblp.org/rec/conf/gis/GrumbachRS98Spatio-Temporal Data Handling with Constraints.19982.262369026391191
http://dblp.org/rec/conf/icsoc/BaresiG05Towards Dynamic Monitoring of WS-BPEL Processes.20052.2618537910092087
http://dblp.org/rec/conf/aswec/BabarZJ04A Framework for Classifying and Comparing Software Architecture Evaluation Methods.20042.2590828220630614
http://dblp.org/rec/conf/gd/StoreyM95Graph Layout Adjustment Strategies.19952.258602044598008
http://dblp.org/rec/conf/cade/FarmerGT92Little Theories.19922.257060361376144
http://dblp.org/rec/conf/ac/RozenbergE96Elementary Net Systems.19962.2537164413947326
http://dblp.org/rec/reference/wiley/OliveiraPP082.252022196098232
http://dblp.org/rec/journals/tcs/Rutten96Elements of Generalized Ultrametric Domain Theory.19962.2472783938678926
http://dblp.org/rec/conf/sigsoft/AcharyaXPX07Mining API patterns as partial orders from source code: from usage scenarios to specifications.20072.2452829509058323
http://dblp.org/rec/journals/vldb/AbiteboulB95The Power of Languages for the Manipulation of Complex Values19952.245058003738916
http://dblp.org/rec/journals/jacm/AptP86Countable nondeterminism and random assignment.19862.244643477371195
http://dblp.org/rec/books/aw/AhoHU742.2412067435402365
http://dblp.org/rec/conf/gg/EhrigHKLRWC97Algebraic Approaches to Graph Transformation - Part II: Single Pushout Approach and Comparison with Double Pushout Approach.19972.2397700348469747
http://dblp.org/rec/conf/tlca/PlotkinA93A Logic for Parametric Polymorphism.19932.239565162602808
http://dblp.org/rec/conf/issta/ParninO11Are automated debugging techniques actually helping programmers?20112.2369128563079825
http://dblp.org/rec/conf/tcs/Park812.236744556783395
http://dblp.org/rec/journals/tplp/ArenasBC03Answer sets for consistent query answering in inconsistent databases.20032.2366855468992264
http://dblp.org/rec/journals/computer/RochwergerBEHLNTRVCLMMMT11Reservoir - When One Cloud Is Not Enough.20112.2362073455598455
http://dblp.org/rec/journals/aim/WurmanWW02Specifying Rules for Electronic Auctions.20022.234963068181818
http://dblp.org/rec/journals/software/Basili90Viewing Maintenance as Reuse-Oriented Software Development.19902.2308459812942703
http://dblp.org/rec/conf/esop/HondaVK98Language Primitives and Type Discipline for Structured Communication-Based Programming.19982.229824225197671
http://dblp.org/rec/journals/sigmod/Bertossi06Consistent query answering in databases.20062.2292909371962457
http://dblp.org/rec/conf/dalt/ArtikisKPS04A Protocol for Resource Sharing in Norm-Governed Ad Hoc Networks.20042.2277719041482182
http://dblp.org/rec/conf/pods/AbiteboulV97Regular Path Queries with Constraints.19972.2271626773271707
http://dblp.org/rec/journals/tapos/RemyV98Objective ML: An Effective Object-Oriented Extension to ML.19982.226102444460887
http://dblp.org/rec/books/aw/GoldbergR832.225534696745711
http://dblp.org/rec/conf/caise/RussellAHE05Workflow Resource Patterns: Identification, Representation and Tool Support.20052.225220577596863
http://dblp.org/rec/conf/sigmod/KalnisNOPT02An adaptive peer-to-peer network for distributed caching of OLAP results.20022.2249619878653464
http://dblp.org/rec/journals/computer/BasiliB01COTS-Based Systems Top 10 List.20012.2231986782348567
http://dblp.org/rec/conf/icpp/CongKKLSW08Solving Large, Irregular Graph Problems Using Adaptive Work-Stealing.20082.222802669359936
http://dblp.org/rec/conf/ijcai/DomshlakRVW03Reasoning about soft constraints and conditional preferences: complexity results and approximation techniques.20032.2225099670985085
http://dblp.org/rec/journals/tods/SchuldtABS02Atomicity and isolation for transactional processes.20022.222239552704138
http://dblp.org/rec/conf/iqis/BouzeghoubP04A Framework for Analysis of Data Freshness.20042.2216647084001213
http://dblp.org/rec/conf/tapsoft/BouhoulaJM97Specification and Proof in Membership Equational Logic.19972.2210312845598703
http://dblp.org/rec/conf/lics/EsparzaKM04Model Checking Probabilistic Pushdown Automata.20042.218087541464758
http://dblp.org/rec/journals/tnn/BartlettMS022.2169402667455063
http://dblp.org/rec/conf/icip/WiskottFKM972.2157007931280464
http://dblp.org/rec/conf/sigmod/TungXO05CURLER: Finding and Visualizing Nonlinear Correlated Clusters.20052.214745967741935
http://dblp.org/rec/journals/computer/BaconMBHMMSS00Generic Support for Distributed Applications.20002.21122412907874
http://dblp.org/rec/conf/fosad/FocardiG00Classification of Security Properties (Part I: Information Flow).20002.2101704557013715
http://dblp.org/rec/reference/db/DadamR092.208283831481297
http://dblp.org/rec/conf/popl/BouajjaniET03A generic approach to the static analysis of concurrent programs with procedures.20032.207281054111865
http://dblp.org/rec/conf/tacas/DArgenioKRT97The Bounded Retransmission Protocol Must Be on Time!19972.2043375139759553
http://dblp.org/rec/conf/icmi/BouchetNG04ICARE software components for rapidly developing multimodal interfaces.20042.2033198383343446
http://dblp.org/rec/conf/coopis/PereiraFLS00Efficient Matching for Web-Based Publish/Subscribe Systems.20002.202977960588292
http://dblp.org/rec/conf/icse/MemonPYNSN04Skoll: Distributed Continuous Quality Assurance.20042.20174771108675
http://dblp.org/rec/conf/csfw/BengtsonBFGM08Refinement Types for Secure Implementations.20082.2012499644461387
http://dblp.org/rec/journals/tocl/AspertiR02Intuitionistic Light Affine Logic.20022.1968563224727395
http://dblp.org/rec/conf/ecoop/BentonCF02Modern Concurrency Abstractions for C#.20022.193570878777496
http://dblp.org/rec/conf/semweb/HuangS05Reasoning with Multi-version Ontologies: A Temporal Logic Approach.20052.193338226722758
http://dblp.org/rec/journals/jsac/XueCT03Quality-of-service and quality-of-protection issues in preplanned recovery schemes using redundant trees.20032.1899999999999995
http://dblp.org/rec/conf/icalp/VinkR97Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach.19972.1892645441862424
http://dblp.org/rec/conf/codes/TeichBT97An evolutionary approach to system-level synthesis.19972.1881532738095233
http://dblp.org/rec/conf/focs/EhrigPS73Graph-Grammars: An Algebraic Approach19732.1874177986811087
http://dblp.org/rec/conf/dimva/LudlMKK07On the Effectiveness of Techniques to Detect Phishing Sites.20072.1871451202745456
http://dblp.org/rec/journals/cacm/Parnas72a2.1861072407981026
http://dblp.org/rec/conf/cade/DoughertyFK06Specifying and Reasoning About Dynamic Access-Control Policies.20062.183608829492288
http://dblp.org/rec/journals/pami/Pentland002.182668189891439
http://dblp.org/rec/conf/fgr/PenevS002.182668189891439
http://dblp.org/rec/conf/gttse/Bezivin06Model Driven Engineering: An Emerging Technical Space.20052.18216108945519
http://dblp.org/rec/journals/tcs/BidoitF91Negation by Default and Unstratifiable Logic Programs.19912.175226709490577
http://dblp.org/rec/journals/ivs/RinzivilloPNGAA08Visually driven analysis of movement data by progressive clustering.20082.175159406388245
http://dblp.org/rec/conf/icde/QinXPT09A Rule-Based Classification Algorithm for Uncertain Data.20092.174973214285714
http://dblp.org/rec/conf/vldb/BerchtoldKK962.173194914663655
http://dblp.org/rec/conf/osdi/NarayananDTER08Everest: Scaling Down Peak Loads Through I/O Off-Loading.20082.172184465705502
http://dblp.org/rec/journals/tcs/FreundMP04From regulated rewriting to computing with membranes: collapsing hierarchies.20042.170113448519811
http://dblp.org/rec/conf/vldb/20012.1681552914588638
http://dblp.org/rec/journals/tocs/DeeringC902.1670592623447265
http://dblp.org/rec/conf/lcpc/KellyPRS95Transitive Closure of Infinite Graphs and Its Applications.19952.1668208361805137
http://dblp.org/rec/journals/pvldb/Amer-YahiaBLS08Efficient network aware search in collaborative tagging sites.20082.166298093313765
http://dblp.org/rec/conf/sc/YouseffWGK06Evaluating the Performance Impact of Xen on MPI and Process Execution For HPC Systems.20062.166249134303228