Search results for "assertion"

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