|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 910 occurrences of 589 keywords
|
|
|
Results
Found 1208 publication records. Showing 1208 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
9 | Ganesh Sundaramoorthi, Anthony J. Yezzi, Andrea Mennucci |
Coarse-to-Fine Segmentation and Tracking Using Sobolev Active Contours. |
IEEE Trans. Pattern Anal. Mach. Intell. |
2008 |
DBLP DOI BibTeX RDF |
coarse-to-fine segmentation, global flows, segmentation, tracking, Active contours, gradient flows |
9 | Masahiro Kumabe, Toshio Suzuki, Takeshi Yamazaki |
Does truth-table of linear norm reduce the one-query tautologies to a random oracle? |
Arch. Math. Log. |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 68Q15, 03D15 |
9 | Michael Möller 0002, Ernst-Rüdiger Olderog, Holger Rasch, Heike Wehrheim |
Integrating a formal method into a software engineering process with UML and Java. |
Formal Aspects Comput. |
2008 |
DBLP DOI BibTeX RDF |
Java, Modelling, Model checking, UML, Formal specification, CSP, Contracts, Object-Z, Runtime checking |
9 | Murdoch James Gabbay, Aad Mathijssen |
Capture-avoiding substitution as a nominal algebra. |
Formal Aspects Comput. |
2008 |
DBLP DOI BibTeX RDF |
Nominal techniques, Nominal algebra, Capture-avoidance, Nominal rewriting, Omega-completeness, Binding, Substitution |
9 | Jason H. Sharp, Sherry D. Ryan |
A Preliminary Conceptual Model for Exploring Global Agile Teams. |
XP |
2008 |
DBLP DOI BibTeX RDF |
Global agile teams, conceptual model, agile methods, global software development |
9 | Patrice Chalin, Perry R. James, George Karabotsos |
JML4: Towards an Industrial Grade IVE for Java and Next Generation Research Platform for JML. |
VSTTE |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Alessandro Armando, Roberto Carbone, Luca Compagna, Jorge Cuéllar, Llanos Tobarra |
Formal analysis of SAML 2.0 web browser single sign-on: breaking the SAML-based single sign-on for google apps. |
FMSE |
2008 |
DBLP DOI BibTeX RDF |
saml single sign-on, sat-based model checking, security protocols, bounded model checking |
9 | Sarvani S. Vakkalanka, Ganesh Gopalakrishnan, Robert M. Kirby |
Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations and Relaxed Orderings. |
CAV |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Peter W. O'Hearn |
Tutorial on Separation Logic (Invited Tutorial). |
CAV |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Apurva Kumar |
Integrated Security Context Management of Web Components and Services in Federated Identity Environments. |
ICSOC |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Christian Russ, Mathias Lux |
A Model of Self-organized Criticality in Emergent Web Systems. |
UNISCON |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Susumu Nishimura |
Safe Modification of Pointer Programs in Refinement Calculus. |
MPC |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Frank Rogin, Thomas Klotz, Görschwin Fey, Rolf Drechsler, Steffen Rülke |
Automatic Generation of Complex Properties for Hardware Designs. |
DATE |
2008 |
DBLP DOI BibTeX RDF |
|
9 | 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 |
|
9 | Jianfeng Du, Yi-Dong Shen |
Computing minimum cost diagnoses to repair populated DL-based ontologies. |
WWW |
2008 |
DBLP DOI BibTeX RDF |
ontologies, diagnosis, description logics, disjunctive datalog |
9 | Jesper Bengtson, Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon 0001, Sergio Maffeis |
Refinement Types for Secure Implementations. |
CSF |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Tetsuo Yokoyama, Holger Bock Axelsen, Robert Glück |
Reversible Flowchart Languages and the Structured Reversible Program Theorem. |
ICALP (2) |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Lars Birkedal, Bernhard Reus, Jan Schwinghammer, Hongseok Yang |
A Simple Model of Separation Logic for Higher-Order Store. |
ICALP (2) |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Mikhail Auguston, Mark B. Trakhtenbrot |
Synthesis of Monitors for Real-Time Analysis of Reactive Systems. |
Pillars of Computer Science |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García 0001, José F. Morales 0001, Germán Puebla |
An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy. |
Concurrency, Graphs and Models |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Alexander M. Hoole, Issa Traoré |
Contract-Based Security Monitors for Service Oriented Software Architecture. |
APSCC |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Pawel Grzegorz Dabkowski, Krzysztof Galkowski, Eric Rogers |
Strong practical stability and stabilization of 2D differential-discrete linear systems. |
CDC |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Golnaz Elahi, Zeev Lieber, Eric S. K. Yu |
Trade-off Analysis of Identity Management Systems with an Untrusted Identity Provider. |
COMPSAC |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Jonathan Gemmell, Andriy Shepitsen, Bamshad Mobasher, Robin D. Burke |
Personalizing Navigation in Folksonomies Using Hierarchical Tag Clustering. |
DaWaK |
2008 |
DBLP DOI BibTeX RDF |
personalization, hierarchical clustering, collaborative tagging |
9 | Anindya Banerjee 0001, David A. Naumann, Stan Rosenberg |
Regional Logic for Local Reasoning about Global Invariants. |
ECOOP |
2008 |
DBLP DOI BibTeX RDF |
|
9 | 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 |
9 | Andhy Koesnandar, Sebastian G. Elbaum, Gregg Rothermel, Lorin Hochstein, Christopher Scaffidi, Kathryn T. Stolee |
Using assertions to help end-user programmers create dependable web macros. |
SIGSOFT FSE |
2008 |
DBLP DOI BibTeX RDF |
web macros, dependability, programming by demonstration, assertions, end user software engineering |
9 | Sergei N. Artëmov, Elena Nogina |
Topological Semantics of Justification Logic. |
CSR |
2008 |
DBLP DOI BibTeX RDF |
Justification Logic, Logic of Proofs, topological semantics, Tarski, modal logic |
9 | Boris Motik, Ian Horrocks 0001 |
Individual Reuse in Description Logic Reasoning. |
IJCAR |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Makoto Hatakeyama, Shigeyoshi Shima |
Privilege federation between different user profiles for service federation. |
Digital Identity Management |
2008 |
DBLP DOI BibTeX RDF |
privilege management, access control, identity federation |
9 | Sharad Malik |
Hardware Verification: Techniques, Methodology and Solutions. |
TACAS |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Fred Sebastian, Anthony D. Whitehead |
It's all Greek to me: a case for the classics in game development education. |
Future Play |
2008 |
DBLP DOI BibTeX RDF |
Aristotle, Greek literature, Homer, game curriculum, game design theory, game-based education, storytelling, game design, game development, story, philosophy |
9 | Lawrence C. Paulson |
The Relative Consistency of the Axiom of Choice - Mechanized Using Isabelle/ZF. |
CiE |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Tali Kaufman, Madhu Sudan 0001 |
Algebraic property testing: the role of invariance. |
STOC |
2008 |
DBLP DOI BibTeX RDF |
error-correcting codes, locally testable codes, sublinear time algorithms |
9 | Nachiappan Nagappan, Brendan Murphy, Victor R. Basili |
The influence of organizational structure on software quality: an empirical case study. |
ICSE |
2008 |
DBLP DOI BibTeX RDF |
code churn, software mining, empirical studies, developers, failures, organizational structure |
9 | Morris Riedel, Wolfgang Frings, Sonja Habbinga, Thomas Eickermann, Daniel Mallmann, Achim Streit, Felix Wolf 0001, Thomas Lippert, Andreas Ernst, Rainer Spurzem |
Extending the collaborative online visualization and steering framework for computational Grids with attribute-based authorization. |
GRID |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Abbas Cheddad, Joan Condell, Kevin Curran, Paul McKevitt |
Combating digital document forgery using new secure information hiding algorithm. |
ICDIM |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Sudipta Kundu, Malay K. Ganai, Rajesh Gupta 0001 |
Partial order reduction for scalable testing of systemC TLM designs. |
DAC |
2008 |
DBLP DOI BibTeX RDF |
simulation, verification, testing, partial-order reduction |
9 | Wenxin Yang, Shuqin Rao, Jina Wang, Jian Yin 0001, Jian Chen 0011 |
Face Recognition Using Clustering Based Optimal Linear Discriminant Analysis. |
ADMA |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Michelle L. Crane, Jürgen Dingel |
Towards a UML virtual machine: implementing an interpreter for UML 2 actions and activities. |
CASCON |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Martin R. Stytz |
Who Are the Experts, and What Have They Done for Us Lately? |
IEEE Secur. Priv. |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Qing Xie 0003, Atif M. Memon |
Designing and comparing automated test oracles for GUI-based software applications. |
ACM Trans. Softw. Eng. Methodol. |
2007 |
DBLP DOI BibTeX RDF |
GUI state, user interfaces, graphical user interfaces, widgets, Test oracles, GUI testing |
9 | Husrev T. Sencar, Nasir D. Memon |
Combatting Ambiguity Attacks via Selective Detection of Embedded Watermarks. |
IEEE Trans. Inf. Forensics Secur. |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Anil L. Pereira, Vineela Muppavarapu, Soon M. Chung |
Managing Role-Based Access Control Policies for Grid Databases in OGSA-DAI Using CAS. |
J. Grid Comput. |
2007 |
DBLP DOI BibTeX RDF |
Open Grid Services Architecture - Data Access and Integration (OGSA-DAI), Grid databases, Community Authorization Service (CAS), role-based access control (RBAC), virtual organization (VO) |
9 | Jeremy Avigad, Kevin Donnelly |
A Decision Procedure for Linear "Big O" Equations. |
J. Autom. Reason. |
2007 |
DBLP DOI BibTeX RDF |
Asymptotic equations, Big O, Decision procedures |
9 | Nathaniel Charlton |
Program verification with interacting analysis plugins. |
Formal Aspects Comput. |
2007 |
DBLP DOI BibTeX RDF |
Open product, Abstraction, Software verification, Plugins |
9 | Gavin C. Cawley |
An Empirical Evaluation of the Fuzzy Kernel Perceptron. |
IEEE Trans. Neural Networks |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Mauro Sulfaro, Michele Marchesi, Sandro Pinna |
Agile Practices in a Large Organization: The Experience of Poste Italiane. |
XP |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Alessio Dore, Carlo S. Regazzoni, Mirko Musso |
MAP Particle Selection in Shape-Based Object Tracking. |
ICIP (5) |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Wu-Hon F. Leung |
On the Verifiability of Programs Written in the Feature Language Extensions. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Jason Reid, Juan Manuel González Nieto, Tee Tang, Bouchra Senadji |
Detecting relay attacks with timing-based protocols. |
AsiaCCS |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Dejvuth Suwimonteerabuth, Felix Berger, Stefan Schwoon, Javier Esparza |
jMoped: A Test Environment for Java Programs. |
CAV |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Anubhav Gupta 0001, Kenneth L. McMillan, Zhaohui Fu |
Automated Assumption Generation for Compositional Verification. |
CAV |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Valerio Venturi, Federico Stagni, Alberto Gianoli, Andrea Ceccanti, Vincenzo Ciaschini |
Virtual Organization Management Across Middleware Boundaries. |
eScience |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Subir K. Roy |
Top Level SOC Interconnectivity Verification Using Formal Techniques. |
MTV |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Julie Anne Cain, Peter Sanders 0001, Nicholas C. Wormald |
The random graph threshold for k-orientiability and a fast algorithm for optimal multiple-choice allocation. |
SODA |
2007 |
DBLP BibTeX RDF |
|
9 | Viorela Ila, Juan Andrade-Cetto, Rafael Valencia, Alberto Sanfeliu |
Vision-based loop closing for delayed state robot mapping. |
IROS |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Yong Zhong, Zhu Zhen, Dong-mei Lin, Xiaolin Qin |
A Method of Fair Use in Digital Rights Management. |
ICADL |
2007 |
DBLP DOI BibTeX RDF |
digital rights management, Intellectual property rights, fair use |
9 | Mark B. Josephs |
Gate-level modelling and verification of asynchronous circuits using CSPM and FDR. |
ASYNC |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Philippe Jorrand |
Quantum information processing and communication: the computer science perspective. |
ACM Southeast Regional Conference |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Olaf Chitil, Frank Huch |
Monadic, Prompt Lazy Assertions in Haskell. |
APLAS |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Carsten Keßler, Martin Raubal, Krzysztof Janowicz |
The Effect of Context on Semantic Similarity Measurement. |
OTM Workshops (2) |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Valerio Venturi, Morris Riedel, A. Shiraz Memon, M. Shahbaz Memon, Federico Stagni, Bernd Schuller, Daniel Mallmann, Bastian Tweddell, Alberto Gianoli, Sven van den Berghe, David F. Snelling, Achim Streit |
Using SAML-Based VOMS for Authorization within Web Services-Based UNICORE Grids. |
Euro-Par Workshops |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Jorge A. Navas, Edison Mera, Pedro López-García 0001, Manuel V. Hermenegildo |
User-Definable Resource Bounds Analysis for Logic Programs. |
ICLP |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Jason J. Jung, Jérôme Euzenat |
Towards Semantic Social Networks. |
ESWC |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Licia Capra |
MaLM: Machine Learning Middleware to Tackle Ontology Heterogeneity. |
PerCom Workshops |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Shoichirou Fujiwara, Takaaki Komura, Yasuo Okabe |
A Privacy Oriented Extension of Attribute Exchange in Shibboleth. |
SAINT Workshops |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Patrice Chalin, Perry R. James, George Karabotsos |
An integrated verification environment for JML: architecture and early results. |
SAVCBS |
2007 |
DBLP DOI BibTeX RDF |
JML4, integrated verification environment, Eclipse, java modeling language |
9 | Luciano Baresi, Sam Guinea, Liliana Pasquale |
Self-healing BPEL processes with Dynamo and the JBoss rule engine. |
ESSPE |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Zuoliang Chen, Shigeyoshi Watanabe |
A Case Study of Applying SNA to Analyze CSCL Social Network. |
ICALT |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Harald Obereder, Markus Pfaff |
Behavioral synthesis of property specification language (PSL) assertions. |
IEEE International Workshop on Rapid System Prototyping |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Jihyeon Jang, Stephen J. Elliott, Hakil Kim |
Implementation of BioAPI Conformance Test Suite Using BSP Testing Model. |
WISA |
2007 |
DBLP DOI BibTeX RDF |
BioAPI, Conformance Test Suite, Biometric Service Pro- vider |
9 | Aaron Tomb, Guillaume P. Brat, Willem Visser |
Variably interprocedural program analysis for runtime error detection. |
ISSTA |
2007 |
DBLP DOI BibTeX RDF |
can-test, generation, symbolic execution, defect detection |
9 | Tsuyoshi Abe, Hiroki Itoh, Kenji Takahashi |
Implementing identity provider on mobile phone. |
Digital Identity Management |
2007 |
DBLP DOI BibTeX RDF |
identity provider, authentication, mobile phone, federated identity |
9 | Marcelo F. Frias, Carlos López Pombo, Mariano M. Moscato |
Alloy Analyzer+PVS in the Analysis and Verification of Alloy Specifications. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Philippe Jorrand |
The quantum challenge to computer science. |
Conf. Computing Frontiers |
2007 |
DBLP DOI BibTeX RDF |
quantum information processing and communication |
9 | Namhee Kwon, Liang Zhou, Eduard H. Hovy, Stuart W. Shulman |
Identifying and classifying subjective claims. |
DG.O |
2007 |
DBLP BibTeX RDF |
electronic rulemaking, public comments, opinion, text annotation |
9 | Nikolaos G. Bartzoudis, Klaus D. McDonald-Maier |
Online monitoring of FPGA-based co-processing engines embedded in dependable workstations. |
IOLTS |
2007 |
DBLP DOI BibTeX RDF |
FPGAs, error detection, dependable systems, online monitoring |
9 | Sergei N. Artëmov, Eduardo Bonelli |
The Intensional Lambda Calculus. |
LFCS |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Rémi Brochenin, Stéphane Demri, Étienne Lozes |
Reasoning About Sequences of Memory States. |
LFCS |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Mark Proctor |
Relational Declarative Programming with JBoss Drools. |
SYNASC |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Reza Derakhshani, Arun Ross |
A Texture-Based Neural Network Classifier for Biometric Identification using Ocular Surface Vasculature. |
IJCNN |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Yan Chen 0001, Yujing He, Fei Xie, Jin Yang 0006 |
Automatic Abstraction Refinement for Generalized Symbolic Trajectory Evaluation. |
FMCAD |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Luciano Baresi, Sam Guinea |
Dynamo and Self-Healing BPEL Compositions. |
ICSE Companion |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Marty Humphrey, Sang-Min Park, Jun Feng, Norm Beekwilder, Glenn S. Wasson, Jason Hogg, Brian A. LaMacchia, Blair Dillaway |
Fine-grained access control for GridFTP using SecPAL. |
GRID |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Subrat Kumar Panda, Arnab Roy 0001, P. P. Chakrabarti 0001, Rajeev Kumar 0004 |
Simulation Based Verification using Temporally Attributed Boolean Logic. |
VLSI Design |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Jean-Sébastien Coron, Emmanuel Prouff, Matthieu Rivain |
Side Channel Cryptanalysis of a Higher Order Masking Scheme. |
CHES |
2007 |
DBLP DOI BibTeX RDF |
Higher Order DPA, Masking Scheme, Side Channel Attacks, Differential Power Analysis, Template Attacks |
9 | Virach Sornlertlamvanich, Thatsanee Charoenporn, Kergrit Robkop, Hitoshi Isahara |
Collaborative Platform for Multilingual Resource Development and Intercultural Communication. |
IWIC |
2007 |
DBLP DOI BibTeX RDF |
multilingual resource, WordNet, intercultural communication, collaborative translation |
9 | Flavio M. de Paula, Alan J. Hu |
An Effective Guidance Strategy for Abstraction-Guided Simulation. |
DAC |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Moshe Y. Vardi |
Formal Techniques for SystemC Verification; Position Paper. |
DAC |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Miguel A. Abánades, Jesús Escribano, Francisco Botana |
First Steps on Using OpenMath to Add Proving Capabilities to Standard Dynamic Geometry Systems. |
Calculemus/MKM |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Angelo Furfaro, Libero Nigro, Francesco Pupo |
Modular Design of Real-Time Systems Using Hierarchical Communicating Real-time State Machines. |
Real Time Syst. |
2006 |
DBLP DOI BibTeX RDF |
real-time constrains, Java, prototyping, assertions, integrated development environment, hierarchical state machines, modular modelling |
9 | Stefan Andrei, Wei-Ngan Chin, Albert Mo Kim Cheng, Mihai Lupu |
Automatic Debugging of Real-Time Systems Based on Incremental Satisfiability Counting. |
IEEE Trans. Computers |
2006 |
DBLP DOI BibTeX RDF |
system development tools, automatic debugging, counting SAT problem, Real-time system, formal methods, timing constraint, incremental computation |
9 | Robby, Edwin Rodríguez, Matthew B. Dwyer, John Hatcliff |
Checking JML specifications using an extensible software model checking framework. |
Int. J. Softw. Tools Technol. Transf. |
2006 |
DBLP DOI BibTeX RDF |
|
9 | Ann McNamara |
Exploring visual and automatic measures of perceptual fidelity in real and simulated imagery. |
ACM Trans. Appl. Percept. |
2006 |
DBLP DOI BibTeX RDF |
Psychophysics, image quality |
9 | Hannes Tschofenig, Rainer Falk, Jon Peterson, Jeff Hodges, Douglas C. Sicker, James M. Polk |
Using SAML to protect the session initiation protocol (SIP). |
IEEE Netw. |
2006 |
DBLP DOI BibTeX RDF |
|
9 | Thomas A. Roemer |
A note on the complexity of the concurrent open shop problem. |
J. Sched. |
2006 |
DBLP DOI BibTeX RDF |
Order scheduling, Internal and external performance measures, Complexity, Total completion time |
9 | Maciej Cielecki, Jedrzej Fulara, Krzysztof Jakubczyk, Lukasz Jancewicz |
Propagation of JML non-null annotations in Java programs. |
PPPJ |
2006 |
DBLP DOI BibTeX RDF |
|
9 | Olaf Chitil, Frank Huch |
A Pattern Logic for Prompt Lazy Assertions in Haskell. |
IFL |
2006 |
DBLP DOI BibTeX RDF |
|
9 | Wolfgang Ecker, Volkan Esen, Michael Hull |
Execution semantics and formalisms for multi-abstraction TLM assertions. |
MEMOCODE |
2006 |
DBLP DOI BibTeX RDF |
|
Displaying result #801 - #900 of 1208 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ >>] |
|