|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1311 occurrences of 799 keywords
|
|
|
Results
Found 1476 publication records. Showing 1476 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
8 | Tomas Kalibera, Pavel Parízek, Michal Malohlava, Martin Schoeberl |
Exhaustive testing of safety critical Java. |
JTRES |
2010 |
DBLP DOI BibTeX RDF |
SCJ, model checking, real-time Java, Java PathFinder |
8 | Massimiliano Pala |
A proposal for collaborative internet-scale trust infrastructures deployment: the public key system (PKS). |
IDtrust |
2010 |
DBLP DOI BibTeX RDF |
distributed systems, peer-to-peer, PKI, federated identities |
8 | Huiping Cao, Yan Qi 0002, K. Selçuk Candan, Maria Luisa Sapino |
Feedback-driven result ranking and query refinement for exploring semi-structured data collections. |
EDBT |
2010 |
DBLP DOI BibTeX RDF |
data-centric XML, feature cover, inter-dependent structural feature, relevance feedback |
8 | James E. Katz, Ronald E. Rice |
Technical opinion - Falling into the net: main street America playing games and making friends online. |
Commun. ACM |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Daniele Apiletti, Giulia Bruno, Elisa Ficarra, Elena Baralis |
Extraction of Constraints from Biological Data. |
Biomedical Data and Applications |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Andreas Klenk, Holger Kinkelin, Christoph Eunicke, Georg Carle |
Preventing identity theft with electronic identity cards and the trusted platform module. |
EUROSEC |
2009 |
DBLP DOI BibTeX RDF |
authentication with TPM, electronic ID, identity system |
8 | Mathias Ricken, Robert Cartwright |
ConcJUnit: unit testing for concurrent programs. |
PPPJ |
2009 |
DBLP DOI BibTeX RDF |
Java, concurrent programming, unit testing, JUnit |
8 | Mark Greaves |
The Growing Semantic Web. |
ECML/PKDD (1) |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Olivier Bouissou, Eric Goubault, Sylvie Putot, Karim Tekkal, Franck Védrine |
HybridFluctuat: A Static Analyzer of Numerical Programs within a Continuous Environment. |
CAV |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Jason B. Alonso, Catherine Havasi, Henry Lieberman |
PerspectiveSpace: Opinion Modeling with Dimensionality Reduction. |
UMAP |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Mauro Pezzè, Jochen Wuttke |
Automatic Generation of Runtime Failure Detectors from Property Templates. |
Software Engineering for Self-Adaptive Systems |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Ken Kaneiwa, Philip H. P. Nguyen |
Decidable Order-Sorted Logic Programming for Ontologies and Rules with Argument Restructuring. |
ISWC |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Jianfeng Du, Guilin Qi, Qiu Ji |
Goal-Directed Module Extraction for Explaining OWL DL Entailments. |
ISWC |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Olga Morawczynski |
Examining the Usage and Impact of Transformational M-Banking in Kenya. |
HCI (14) |
2009 |
DBLP DOI BibTeX RDF |
M-PESA, m-banking, livelihoods, transformational technologies, migration, impact |
8 | Ernie Cohen, Markus Dahlweid, Mark A. Hillebrand, Dirk Leinenbach, Michal Moskal, Thomas Santen, Wolfram Schulte, Stephan Tobies |
VCC: A Practical System for Verifying Concurrent C. |
TPHOLs |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Jesper Bengtson, Joachim Parrow |
Psi-calculi in Isabelle. |
TPHOLs |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Andrew McCreight |
Practical Tactics for Separation Logic. |
TPHOLs |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Maria Jump, Kathryn S. McKinley |
Dynamic shape analysis via degree metrics. |
ISMM |
2009 |
DBLP DOI BibTeX RDF |
degree metrics, dynamic invariants, dynamic shape analysis |
8 | Serge Autexier, Dominik Dietrich |
Atomic Metadeduction. |
KI |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Chris Hawblitzel, Erez Petrank |
Automated verification of practical garbage collectors. |
POPL |
2009 |
DBLP DOI BibTeX RDF |
verification, garbage collection |
8 | Christian Dax, Felix Klaedtke, Martin Lange |
On Regular Temporal Logics with Past, . |
ICALP (2) |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Marta Z. Kwiatkowska |
On Quantitative Software Verification. |
SPIN |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Tzilla Elrad |
Aspect Oriented Approach for Capturing and Verifying Distributed Properties. |
Languages: From Formal to Natural |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Nighat Yasmin, Murali Sitaraman |
Compositional performance prediction exemplified using generic object finalization analysis. |
ACM Southeast Regional Conference |
2009 |
DBLP DOI BibTeX RDF |
performance prediction, compositional analysis |
8 | Mohammad Raza, Cristiano Calcagno, Philippa Gardner |
Automatic Parallelization with Separation Logic. |
ESOP |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Massimiliano Masi, Rosario Pugliese, Francesco Tiezzi 0001 |
On Secure Implementation of an IHE XUA-Based Protocol for Authenticating Healthcare Professionals. |
ICISS |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Aurélie C. Lozano, Naoki Abe, Yan Liu 0002, Saharon Rosset |
Grouped graphical Granger modeling methods for temporal causal modeling. |
KDD |
2009 |
DBLP DOI BibTeX RDF |
temporal causal modeling, variable group selection, boosting, graphical modeling, Granger causality |
8 | Alek Opitz, Hartmut König |
Predicting Free Computing Capacities on Individual Machines. |
GPC |
2009 |
DBLP DOI BibTeX RDF |
grid computing, measures, prediction, desktop grids |
8 | Fred Cohen |
Analysis of Redundant Traces for Consistency: With Examples from Electronic Messaging and Graphical Images. |
COMPSAC (2) |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Jan Smans, Bart Jacobs 0002, Frank Piessens |
Implicit Dynamic Frames: Combining Dynamic Frames and Separation Logic. |
ECOOP |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Shumpei Akai, Shigeru Chiba |
Extending AspectJ for separating regions. |
GPCE |
2009 |
DBLP DOI BibTeX RDF |
synchronization, aspect-oriented programming, region, feature-oriented programming |
8 | Erik Schierboom, Alejandro Tamalet, Hendrik Tews, Marko C. J. D. van Eekelen, Sjaak Smetsers |
Preemption Abstraction. |
FMICS |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Fang Wu, Dennis M. Wilkinson, Bernardo A. Huberman |
Feedback Loops of Attention in Peer Production. |
CSE (4) |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Régis Alenda, Nicola Olivetti, Camilla Schwind |
Comparative Concept Similarity over Minspaces: Axiomatisation and Tableaux Calculus. |
TABLEAUX |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Andrei Voronkov, Iman Narasamdya |
Inter-program Properties. |
SAS |
2009 |
DBLP DOI BibTeX RDF |
assertion function, invariant, translation validation |
8 | Matthias Heizmann, Jochen Hoenicke, Andreas Podelski |
Refinement of Trace Abstraction. |
SAS |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Frédéric Prost, Chaouki Zerrari |
Reasoning about Entanglement and Separability in Quantum Higher-Order Functions. |
UC |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Nadia Polikarpova, Ilinca Ciupa, Bertrand Meyer 0001 |
A comparative study of programmer-written and automatically inferred contracts. |
ISSTA |
2009 |
DBLP DOI BibTeX RDF |
dynamic contract inference, eiffel |
8 | Tayfun Elmas, Ali Sezgin, Serdar Tasiran, Shaz Qadeer |
An annotation assistant for interactive debugging of programs with common synchronization idioms. |
PADTAD |
2009 |
DBLP DOI BibTeX RDF |
synchronization idioms, concurrent programs, atomicity |
8 | Christos Dimoulas, Riccardo Pucella, Matthias Felleisen |
Future contracts. |
PPDP |
2009 |
DBLP DOI BibTeX RDF |
software reliability, contracts, behavioral specifications, higher-order functions |
8 | Hidenori Kurokawa |
Tableaux and Hypersequents for Justification Logic. |
LFCS |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Morten Kühnrich, Uwe Nestmann |
On Process-Algebraic Proof Methods for Fault Tolerant Distributed Systems. |
FMOODS/FORTE |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Paulo Trigo, Helder Coelho |
Agent Inferencing Meets the Semantic Web. |
EPIA |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Zurab Khasidashvili, Daher Kaiss, Doron Bustan |
A compositional theory for post-reboot observational equivalence checking of hardware. |
FMCAD |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Zurab Khasidashvili, Gavriel Gavrielov, Tom Melham |
Assume-guarantee validation for STE properties within an SVA environment. |
FMCAD |
2009 |
DBLP DOI BibTeX RDF |
|
8 | David W. Chadwick |
FileSpace: an alternative to CardSpace that supports multiple token authorisation and portability between devices. |
IDtrust |
2009 |
DBLP DOI BibTeX RDF |
information cards, authorisation, federated identity management, X.509 certificates, CardSpace |
8 | Kyu Il Kim, Won Gil Choi, Eun-Ju Lee, Ung-Mo Kim |
A Secure Delegation Model Based on Multi-agent in Pervasive Environments. |
KES-AMSTA |
2009 |
DBLP DOI BibTeX RDF |
Delegation, XACML, SAML, Pervasive Environment |
8 | Zhiming Cui, Wei Fang, Xuefeng Xian, Shukui Zhang, Pengpeng Zhao |
Extension of OWL with Dynamic Fuzzy Logic. |
APWeb/WAIM Workshops |
2009 |
DBLP DOI BibTeX RDF |
dynamic fuzzy logic, ontology, semantic web, OWL |
8 | Emile H. L. Aarts, Frits Grotenhuis |
Ambient Intelligence 2.0: Towards Synergetic Prosperity. |
AmI |
2009 |
DBLP DOI BibTeX RDF |
People-Centric Design, Synergetic Prosperity, Ambient Intelligence |
8 | Guillem Rull, Carles Farré, Ernest Teniente, Toni Urpí |
MVT: a schema mapping validation tool. |
EDBT |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Yuri Gurevich, Arnab Roy 0001 |
Operational Semantics for DKAL: Application and Analysis. |
TrustBus |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Iman Narasamdya, Michaël Périn |
Certification of Smart-Card Applications in Common Criteria. |
FASE |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Kathryn E. Gray, Alan Mycroft |
Logical Testing. |
FASE |
2009 |
DBLP DOI BibTeX RDF |
|
8 | Malak T. Al-Nory, Alexander Brodsky 0001, Hadon Nash |
A Service Composition Framework for Decision Making under Uncertainty. |
ICEIS |
2009 |
DBLP DOI BibTeX RDF |
Modelling for stochastic programming, Supply chain optimization, Decision Support Systems, Object-oriented simulation |
8 | Norman Jacobson, Suzanne K. Schaefer |
Pair programming in CS1: overcoming objections to its adoption. |
ACM SIGCSE Bull. |
2008 |
DBLP DOI BibTeX RDF |
lab exams, on-computer exams, CS1, pair programming |
8 | Bhaskar Pal, Ansuman Banerjee, Arnab Sinha, Pallab Dasgupta |
Accelerating Assertion Coverage With Adaptive Testbenches. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Marc Boule, Zeljko Zilic |
Automata-based assertion-checker synthesis of PSL properties. |
ACM Trans. Design Autom. Electr. Syst. |
2008 |
DBLP DOI BibTeX RDF |
assertion checkers, emulation, hardware, automata, PSL, Assertion-Based Verification |
8 | Grant Martin |
Learning to assert yourself [review of Creating Assertion-Based IP (H.D. Foster and A.C. Krolnik; 2008)]. |
IEEE Des. Test Comput. |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Florian Luisier, Thierry Blu |
SURE-LET Multichannel Image Denoising: Interscale Orthonormal Wavelet Thresholding. |
IEEE Trans. Image Process. |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Florencio G. Asenjo |
Opposition and Circularity. |
Oppositional Concepts in Computational Intelligence |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Jonathan Lawry |
An Overview of Computing with Words using Label Semantics. |
Fuzzy Sets and Their Extensions: Representation, Aggregation and Models |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Thomas A. Henzinger, Thibaud Hottelier, Laura Kovács |
Valigator: A Verification Tool with Bound and Invariant Generation. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Andreas Podelski, Andrey Rybalchenko, Thomas Wies |
Heap Assumptions on Demand. |
CAV |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Nazareno Aguirre, Marcelo F. Frias, Pablo Ponzio, Brian J. Cardiff, Juan P. Galeotti, Germán Regis |
Towards Abstraction for DynAlloy Specifications. |
ICFEM |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Stephen H. Bach, Marcus A. Maloof |
Paired Learners for Concept Drift. |
ICDM |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Mariano Ceccato, Jasvir Nagra, Paolo Tonella |
Distributing Trust Verification to Increase Application Performance. |
PDP |
2008 |
DBLP DOI BibTeX RDF |
remote trust, smartcard, tamper resistant |
8 | Pawel Pietrzak, Jesús Correas, Germán Puebla, Manuel V. Hermenegildo |
A practical type analysis for verification of modular prolog programs. |
PEPM |
2008 |
DBLP DOI BibTeX RDF |
modular logic programs, verification, scalability, logic programming, program analysis, abstract interpretation, types |
8 | Volker Haarslev, Hsueh-Ieng Pai, Nematollaah Shiri |
Uncertainty Reasoning for Ontologies with General TBoxes in Description Logic. |
URSW (LNCS Vol.) |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Julian Dolby, Achille Fokoue, Aditya Kalyanpur, Li Ma 0002, Edith Schonberg, Kavitha Srinivas, Xingzhi Sun |
Scalable Grounded Conjunctive Query Evaluation over Large and Expressive Knowledge Bases. |
ISWC |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Matthias Nickles, Ruth Cobos |
An Approach to Description Logic with Support for Propositional Attitudes and Belief Fusion. |
URSW (LNCS Vol.) |
2008 |
DBLP DOI BibTeX RDF |
Context Logic, Provenance Annotation, Semantic Web, OWL, Voting, Knowledge Integration |
8 | Matthew Arnold, Martin T. Vechev, Eran Yahav |
QVM: an efficient runtime for detecting defects in deployed systems. |
OOPSLA |
2008 |
DBLP DOI BibTeX RDF |
algorithms, reliability, virtual machines |
8 | Klaus Havelund |
Runtime Verification of C Programs. |
TestCom/FATES |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Yann Régis-Gianas, François Pottier |
A Hoare Logic for Call-by-Value Functional Programs. |
MPC |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Henrique Rebêlo, Sérgio Soares, Ricardo Massa Ferreira Lima, Leopoldo Ferreira, Márcio Cornélio |
Implementing Java modeling language contracts with AspectJ. |
SAC |
2008 |
DBLP DOI BibTeX RDF |
JML compiler, aspect-oriented programming, AspectJ, design by contract, JML language |
8 | Rudolf Schlatte, Bernhard K. Aichernig, Frank S. de Boer, Andreas Griesmayer, Einar Broch Johnsen |
Testing Concurrent Objects with Application-Specific Schedulers. |
ICTAC |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Heekyong Park, Jinwook Choi |
Modeling korean clinical records as a simple temporal constraint satisfaction problem. |
JCDL |
2008 |
DBLP DOI BibTeX RDF |
clinical records, discharge summaries, simple constraint satisfaction problem, stp, temporal information |
8 | Ramtilak Vemu, Abhijit Jas, Jacob A. Abraham, Srinivas Patil, Rajesh Galivanche |
A low-cost concurrent error detection technique for processor control logic. |
DATE |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Djones Lettnin, Pradeep Kumar Nalla, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel, Tobias Kirsten, Volker Schönknecht, Stephan Reitemeyer |
Verification of Temporal Properties in Automotive Embedded Software. |
DATE |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Luís Soares Barbosa, José Nuno Oliveira, Alexandra Silva 0001 |
Calculating Invariants as Coreflexive Bisimulations. |
AMAST |
2008 |
DBLP DOI BibTeX RDF |
coalgebraic reasoning, pointfree transform, proof obligations, program calculation |
8 | Chenguang Luo, Guanhua He, Shengchao Qin |
A Heap Model for Java Bytecode to Support Separation Logic. |
APSEC |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Du Zhang, Hong Zhu 0002 |
When Is Inconsistency Considered Harmful: Temporal Characterization of Knowledge Base Inconsistency. |
IDEAL |
2008 |
DBLP DOI BibTeX RDF |
KB inconsistency, temporal inconsistency, conflicting intervals, interval temporal logic |
8 | Adrian Lienhard, Tudor Gîrba, Orla Greevy, Oscar Nierstrasz |
Test Blueprint - Exposing Side Effects in Execution Traces to Support Writing Unit Tests. |
CSMR |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Ansuman Banerjee, Kausik Datta, Pallab Dasgupta |
CheckSpec: A Tool for Consistency and Coverage Analysis of Assertion Specifications. |
ATVA |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Jaroslaw Domaszewicz, Michal Koziuk, Radoslaw Olgierd Schoeneich |
Context-Addressable Messaging Service with Ontology-Driven Addresses. |
OTM Conferences (2) |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Kazunori Iwasa, Masahiko Narita, Makiko Shimamura |
Realizing Interoperable Infrastructure for Electronic Business Systems and Local Government Systems. |
II3E |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Bogdan Alexe, Laura Chiticariu, Renée J. Miller, Daniel Pepper, Wang Chiew Tan |
Muse: a system for understanding and designing mappings. |
SIGMOD Conference |
2008 |
DBLP DOI BibTeX RDF |
data examples, design, refinement, data exchange, schema mappings, data translation |
8 | Hüseyin Aysan, Sasikumar Punnekkat, Radu Dobrin |
Error Modeling in Dependable Component-Based Systems. |
COMPSAC |
2008 |
DBLP DOI BibTeX RDF |
error classification, dependability, component-based systems, error propagation, error modeling |
8 | Hakim Belhaouari, Frédéric Peschanski |
A Lightweight Container Architecture for Runtime Verification. |
RV |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Wladimir Araujo, Lionel C. Briand, Yvan Labiche |
Concurrent Contracts for Java in JML. |
ISSRE |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Vicenç Beltran 0001, Jordi Torres, Eduard Ayguadé |
Understanding tuning complexity in multithreaded and hybrid web servers. |
IPDPS |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Limin Jia 0001, Jeffrey A. Vaughan, Karl Mazurak, Jianzhou Zhao, Luke Zarko, Joseph Schorr, Steve Zdancewic |
AURA: a programming language for authorization and audit. |
ICFP |
2008 |
DBLP DOI BibTeX RDF |
access control, type systems, audit, authorization logic |
8 | Karsten Loesing, Werner Sandmann, Christian Wilms, Guido Wirtz |
Performance Measurements and Statistics of Tor Hidden Services. |
SAINT |
2008 |
DBLP DOI BibTeX RDF |
Performance, Privacy, Anonymity, Statistical Analysis, Empirical Measurements |
8 | Roman Kuznets |
Self-referentiality of Justified Knowledge. |
CSR |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Jonathan de Halleux, Nikolai Tillmann |
Parameterized Unit Testing with Pex. |
TAP |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Linda M. Seiter |
Balancing Quantification and Obliviousness in the Design of Aspect-Oriented Frameworks. |
ICSR |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Tetsuo Yokoyama, Holger Bock Axelsen, Robert Glück |
Principles of a reversible programming language. |
Conf. Computing Frontiers |
2008 |
DBLP DOI BibTeX RDF |
backward determinism, inverse semantics, fast fourier transform, reversible computing, turing completeness |
8 | Keshav Pingali |
Data-parallel abstractions for irregular programs. |
Conf. Computing Frontiers |
2008 |
DBLP DOI BibTeX RDF |
set iterators, multicore programming, optimistic parallelism, irregular programs |
8 | Claudia d'Amato, Nicola Fanizzi, Floriana Esposito |
Non-parametric Statistical Learning Methods for Inductive Classifiers in Semantic Knowledge Bases. |
ICSC |
2008 |
DBLP DOI BibTeX RDF |
Non-parametric statistical learning methods, Semantic Web, Description Logics, Dissimilarity Measures |
8 | Rafael Caballero 0001, Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz |
Similarity-based reasoning in qualified logic programming. |
PPDP |
2008 |
DBLP DOI BibTeX RDF |
qualification domains, similarity relations |
8 | Alexander Brodsky 0001, Malak T. Al-Nory, Hadon Nash |
Service Composition Language to Unify Simulation and Optimization of Supply Chains. |
HICSS |
2008 |
DBLP DOI BibTeX RDF |
|
Displaying result #901 - #1000 of 1476 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ >>] |
|