Search results for "Refinements"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Sebastián Uchitel, Marsha Chechik	Merging partial behavioural models.	SIGSOFT FSE	2004	DBLP DOI BibTeX RDF	partial behaviour models, merge, MTS
16	David Lesaint, George Papamargaritis	Aspects for Synthesizing Applications by Refinement.	ICSR	2004	DBLP DOI BibTeX RDF
16	Nenad Stojanovic, Ljiljana Stojanovic	A Logic-Based Approach for Query Refinement in Ontology-Based Information Retrieval S.	ICTAI	2004	DBLP DOI BibTeX RDF
16	Nao Hirokawa, Aart Middeldorp	Dependency Pairs Revisited.	RTA	2004	DBLP DOI BibTeX RDF
16	Karl Frauendorfer, Gido Haarbrücker	Solving Sequences of Refined Multistage Stochastic Linear Programs.	Ann. Oper. Res.	2003	DBLP DOI BibTeX RDF	discretization schemes, multistage stochastic linear programs, barycentric approximation, optimality condition, financial applications
16	Nenad Stojanovic	On the Query Refinement in the Ontology-Based Searching for Information.	CAiSE	2003	DBLP DOI BibTeX RDF
16	Michael J. Butler	On the Use of Data Refinement in the Development of Secure Communications Systems.	Formal Aspects Comput.	2002	DBLP DOI BibTeX RDF	Refinement, Security protocols, CSP, B, Action systems
16	Hans de Bruin, Hans van Vliet	Top-Down Composition of Software Architectures.	ECBS	2002	DBLP DOI BibTeX RDF
16	Doug Goldson, Greg Reeve, Steve Reeves	µ-Chart-Based Specification and Refinement.	ICFEM	2002	DBLP DOI BibTeX RDF
16	Wei Li, Dengfeng Gao, Richard T. Snodgrass	Skew handling techniques in sort-merge join.	SIGMOD Conference	2002	DBLP DOI BibTeX RDF
16	Don S. Batory, Roberto E. Lopez-Herrejon, Jean-Philippe Martin	Generating Product-Lines of Product-Families.	ASE	2002	DBLP DOI BibTeX RDF
16	Jürgen Giesl, Thomas Arts	Verification of Erlang Processes by Dependency Pairs.	Appl. Algebra Eng. Commun. Comput.	2001	DBLP DOI BibTeX RDF	Verification, Distributed processes, Termination, Rewriting
16	Victor L. Selivanov	Relating Automata-Theoretic Hierarchies to Complexity-Theoretic Hierarchies.	FCT	2001	DBLP DOI BibTeX RDF
16	M. A. Chappell, B. K. Feather	Time-Accurate Turbine Engine Simulation in a Parallel Computing Environment Part II - Software Alpha Test.	International Conference on Computational Science (1)	2001	DBLP DOI BibTeX RDF
16	Lars S. Nyland, Jan F. Prins, Allen Goldberg, Peter Mills	A Design Methodology for Data-Parallel Applications.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	high-level programming languages, software templates, multitarget tracking algorithms, parallel algorithms, prototyping, Software design
16	Charles Lakos	Composing Abstractions of Coloured Petri Nets.	ICATPN	2000	DBLP DOI BibTeX RDF	Theory of High-Level Petri Nets, Refinement, Abstraction
16	Douglas R. Smith	Software synthesis and applications (abstract only).	FMSP	2000	DBLP DOI BibTeX RDF
16	Richard Banach, Michael Poppleton	Sharp Retrenchment, Modulated Refinement and Simulation.	Formal Aspects Comput.	1999	DBLP DOI BibTeX RDF	Simulation, Refinement, B-Method, Retrenchment
16	John Derrick, Eerke A. Boiten	Non-atomic Refinement in Z.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
16	Thomas Arts, Jürgen Giesl	Applying Rewriting Techniques to the Verification of Erlang Processes.	CSL	1999	DBLP DOI BibTeX RDF
16	Reinhard Pichler	Completeness and Redundancy in Constrained Clause Logic.	FTP (LNCS Selection)	1998	DBLP DOI BibTeX RDF
16	Marcello M. Bonsangue, Joost N. Kok, Kaisa Sere	An Approach to Object-Orientation in Action Systems.	MPC	1998	DBLP DOI BibTeX RDF
16	Leo Bachmair, Harald Ganzinger, Andrei Voronkov	Elimination of Equality via Transformation with Ordering Constraints.	CADE	1998	DBLP DOI BibTeX RDF
16	Kenneth L. McMillan	A Compositional Rule for Hardware Design Refinement.	CAV	1997	DBLP DOI BibTeX RDF
16	James I. Lathrop, Jack H. Lutz	Recursive Computational Depth.	ICALP	1997	DBLP DOI BibTeX RDF
16	Roberto Giacobazzi, Francesco Ranzato	Refining and Compressing Abstract Domains.	ICALP	1997	DBLP DOI BibTeX RDF
16	Peter A. Lindsay, David Hemer	An Industrial-Strength Method For The Construction Of Formally Verified Software.	Australian Software Engineering Conference	1996	DBLP DOI BibTeX RDF	software verification refinement, formal methods, program development
16	Lars S. Nyland, Jan F. Prins, Allen Goldberg, Peter Mills, John H. Reif, Robert A. Wagner	A Refinement Methodology for Developing Data-Parallel Applications.	Euro-Par, Vol. I	1996	DBLP DOI BibTeX RDF
16	Christian G. Fermüller	Semantic Trees Revisited: Some New Completeness Results.	CADE	1996	DBLP DOI BibTeX RDF
16	Jean-Paul Bodeveix, Mamoun Filali	On the Refinement of symmetric memory protocols.	TPHOLs	1995	DBLP DOI BibTeX RDF
16	Andrew Storey, Howard P. Haughton	A Strategy for the Production of Verifiable Code Using the B Method.	FME	1994	DBLP DOI BibTeX RDF
16	Thierry Cattel	Tactical Tools for Distributing VDM Specifications.	VDM Europe (1)	1991	DBLP DOI BibTeX RDF	tactical tools, virtual node, reliability, communication, Formal specification, refinement, distributable application, module, port, programming in the large
16	Ralph-Johan Back	A Method for Refining Atomicity in Parallel Algorithms.	PARLE (2)	1989	DBLP DOI BibTeX RDF
8	Murugan Ayyappan, Yew-Kwong Woon, Wee Keong Ng	MICHO: a scalable constraint-based algorithm for learning Bayesian networks.	SAC	2010	DBLP DOI BibTeX RDF	data mining, machine learning, classification, Bayesian networks, large datasets, conditional independence
8	Richard Banach	A deidealisation semantics for KAOS.	SAC	2010	DBLP DOI BibTeX RDF	tower pattern, refinement, ASM, retrenchment, KAOS
8	Daniel Vogel 0001, Ravin Balakrishnan	Occlusion-aware interfaces.	CHI	2010	DBLP DOI BibTeX RDF	image processing, Occlusion, pen, hand
8	Huimin Qian, Ravi Kuber, Andrew Sears	Maintaining levels of activity using a haptic personal training application.	CHI Extended Abstracts	2010	DBLP DOI BibTeX RDF	haptic vocabulary, mobile devices, older adults
8	Juan Chen 0002, Ravi Chugh, Nikhil Swamy	Type-preserving compilation of end-to-end verification of security enforcement.	PLDI	2010	DBLP DOI BibTeX RDF	bytecode languages, compilers, authorization, functional programming, information flow, dependent types, security type systems, mobile code security
8	He Jiang 0001, Jifeng Xuan, Zhilei Ren	Approximate backbone based multilevel algorithm for next release problem.	GECCO	2010	DBLP DOI BibTeX RDF	approximate backbone, multilevel algorithm, next release problem (nrp), requirement engineering
8	Bas Geertsema, Slinger Jansen	Increasing software product reusability and variability using active components: a software product line infrastructure.	ECSA Companion Volume	2010	DBLP DOI BibTeX RDF	active components, components, model-driven development, software product lines, variability
8	Venceslas Biri, Adrien Herubel, Stephane Deverly	Practical morphological antialiasing on the GPU.	SIGGRAPH Talks	2010	DBLP DOI BibTeX RDF	real-time, antialiasing, gpu
8	Jon Jansen, Louis Bavoil	Fourier opacity mapping.	SI3D	2010	DBLP DOI BibTeX RDF	fog, opacity mapping, volumetric, shadows, smoke, particles, hair
8	Jun Wang, Zhouwang Yang, Liangbing Jin, Jiansong Deng, Falai Chen	Adaptive surface reconstruction based on implicit PHT-splines.	Symposium on Solid and Physical Modeling	2010	DBLP DOI BibTeX RDF	PHT-spline, T-mesh, surface reconstruction, Hermite interpolation
8	Jorge García Duque, José Juan Pazos-Arias, Martín López Nores, Yolanda Blanco-Fernández, Ana Fernández Vilas, Rebeca P. Díaz Redondo, Manuel Ramos Cabrer, Alberto Gil-Solla	Methodologies to evolve formal specifications through refinement and retrenchment in an analysis-revision cycle.	Requir. Eng.	2009	DBLP DOI BibTeX RDF	Analysis-revision, Formal requirements specifications, Refinement, Retrenchment
8	Cydney B. Nielsen, Shaun D. Jackman, Inanç Birol, Steven J. M. Jones	ABySS-Explorer: Visualizing Genome Sequence Assemblies.	IEEE Trans. Vis. Comput. Graph.	2009	DBLP DOI BibTeX RDF
8	Lindsay Groves, Robert Colvin	Trace-based derivation of a scalable lock-free stack algorithm.	Formal Aspects Comput.	2009	DBLP DOI BibTeX RDF
8	Federica Mandreoli, Riccardo Martoglia, Pavel Zezula	Principles of Holism for sequential twig pattern matching.	VLDB J.	2009	DBLP DOI BibTeX RDF	Twig query processing, Ordered and unordered pattern matching, Numbering schemes, Holistic approaches
8	Sadaf Mustafiz, Jörg Kienzle	DREP: A Requirements Engineering Process for Dependable Reactive Systems.	Methods, Models and Tools for Fault Tolerance	2009	DBLP DOI BibTeX RDF
8	Jeff Huang 0002, Efthimis N. Efthimiadis	Analyzing and evaluating query reformulation strategies in web search logs.	CIKM	2009	DBLP DOI BibTeX RDF	search effectiveness, query reformulation, query log analysis
8	Fengtao Fan, Fuhua (Frank) Cheng	GPU Supported Patch-Based Tessellation for Dual Subdivision.	CGIV	2009	DBLP DOI BibTeX RDF
8	Thomas Ruhroth, Heike Wehrheim	Refinement-Preserving Co-evolution.	ICFEM	2009	DBLP DOI BibTeX RDF
8	Renato Silva, Michael J. Butler	Supporting Reuse of Event-B Developments through Generic Instantiation.	ICFEM	2009	DBLP DOI BibTeX RDF	generic instantiation, formal methods, reusability, event-B
8	Spyros Angelopoulos 0001, Pascal Schweitzer	Paging and list update under bijective analysis.	SODA	2009	DBLP DOI BibTeX RDF
8	Soumyadeb Mitra, Marianne Winslett, Richard T. Snodgrass, Shashank Yaduvanshi, Sumedh Ambokar	An Architecture for Regulatory Compliant Database Management.	ICDE	2009	DBLP DOI BibTeX RDF
8	Tom Jewett, Wayne E. Dick	The Evolution of a Web Accessibility Testing Protocol.	HCI (7)	2009	DBLP DOI BibTeX RDF	manual evaluation, testing, Web accessibility, WCAG, Section 508
8	Yu Sun 0002, Jeff Gray 0001, Jules White	MT-scribe: a tool for recording and inferring model transformations.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	mt-scribe, model transformation, demonstration
8	Dario Fischbein, Víctor A. Braberman, Sebastián Uchitel	A Sound Observational Semantics for Modal Transition Systems.	ICTAC	2009	DBLP DOI BibTeX RDF
8	Annabelle McIver	The Secret Art of Computer Programming.	ICTAC	2009	DBLP DOI BibTeX RDF	compositional security, refinement of ignorance, program semantics, Proofs of security
8	Md. Rafiqul Islam 0001, Wanlei Zhou 0001, Morshed U. Chowdhury	MVGL Analyser for Multi-classifier Based Spam Filtering System.	ACIS-ICIS	2009	DBLP DOI BibTeX RDF
8	Sasa Tomic, Cristian Perfumo, Chinmay Eishan Kulkarni, Adrià Armejach, Adrián Cristal, Osman S. Unsal, Tim Harris 0001, Mateo Valero	EazyHTM: eager-lazy hardware transactional memory.	MICRO	2009	DBLP DOI BibTeX RDF	EazyHTM, transactional memory
8	Michael D. Powell, Arijit Biswas, Joel S. Emer, Shubhendu S. Mukherjee, Basit R. Sheikh, Shrirang M. Yardi	CAMP: A technique to estimate per-structure power at run-time using a few simple parameters.	HPCA	2009	DBLP DOI BibTeX RDF
8	Yuichi Tazaki, Jun-ichi Imura	Discrete-State Abstractions of Nonlinear Systems Using Multi-resolution Quantizer.	HSCC	2009	DBLP DOI BibTeX RDF
8	S. Farhat, Greg Simco, Frank J. Mitropoulos	Refining and reasoning about nonfunctional requirements.	ACM Southeast Regional Conference	2009	DBLP DOI BibTeX RDF	software engineering, aspect-oriented programming, nonfunctional requirements
8	Noam Zeilberger	Refinement types and computational duality.	PLPV	2009	DBLP DOI BibTeX RDF	duality, effects, intersection types, focusing, union types
8	Hyang-Sook Lee, Cheol-Min Park	Generating Pairing-Friendly Curves with the CM Equation of Degree 1.	Pairing	2009	DBLP DOI BibTeX RDF
8	Rune Melberg, Reggie Davidrajuh	Modeling Atlantic salmon fish farming industry: freshwater sub model simulation.	SpringSim	2009	DBLP BibTeX RDF	cost and timing, fish farming, performance analysis, Petri nets, MATLAB, growth
8	Alessandro Bianco, Marco Faella, Fabio Mogavero, Aniello Murano	Balanced Paths in Colored Graphs.	MFCS	2009	DBLP DOI BibTeX RDF
8	Giusi Castiglione, Antonio Restivo, Marinella Sciortino	On Extremal Cases of Hopcroft's Algorithm.	CIAA	2009	DBLP DOI BibTeX RDF
8	Sameh Sharkawi, Don DeSota, Raj Panda, Rajeev Indukuru, Stephen Stevens, Valerie E. Taylor, Xingfu Wu	Performance projection of HPC applications using SPEC CFP2006 benchmarks.	IPDPS	2009	DBLP DOI BibTeX RDF
8	Abdullatif Shikfa, Melek Önen, Refik Molva	Privacy in context-based and epidemic forwarding.	WOWMOM	2009	DBLP DOI BibTeX RDF
8	Joel Brandt, Philip J. Guo, Joel Lewenstein, Mira Dontcheva, Scott R. Klemmer	Two studies of opportunistic programming: interleaving web foraging, learning, and writing code.	CHI	2009	DBLP DOI BibTeX RDF	opportunistic programming, prototyping, copy-and-paste
8	Moshe Y. Vardi	Symbolic Techniques in Propositional Satisfiability Solving.	SAT	2009	DBLP DOI BibTeX RDF
8	Christoph Wernhard	Tableaux for Projection Computation and Knowledge Compilation.	TABLEAUX	2009	DBLP DOI BibTeX RDF
8	Michael J. Butler	Decomposition Structures for Event-B.	IFM	2009	DBLP DOI BibTeX RDF
8	Adriana Damasceno, Adalberto Farias, Alexandre Mota 0001	A Mechanized Strategy for Safe Abstraction of CSP Specifications.	SBMF	2009	DBLP DOI BibTeX RDF
8	Deirdre Lungley, Udo Kruschwitz	Automatically Maintained Domain Knowledge: Initial Findings.	ECIR	2009	DBLP DOI BibTeX RDF	Information Retrieval, Formal Concept Analysis, Domain Modelling, Query Refinement, Implicit Relevance Feedback
8	Yu Sun 0002, Jules White, Jeff Gray 0001	Model Transformation by Demonstration.	MoDELS	2009	DBLP DOI BibTeX RDF	Program inference, Refactoring, Model transformation
8	Md. Rafiqul Islam 0001, Wanlei Zhou 0001	Minimizing the Limitations of GL Analyser of Fusion Based Email Classification.	ICA3PP	2009	DBLP DOI BibTeX RDF	multi-classifier, TP, Machine learning, SVM, spam, FP
8	Alodeep Sanyal, Abhisek Pan, Sandip Kundu	A study on impact of aggressor de-rating in the context of multiple crosstalk effects in circuits.	ACM Great Lakes Symposium on VLSI	2009	DBLP DOI BibTeX RDF	capacitive cross-coupling, dynamic simulation., static analysis
8	Imam Machdi, Toshiyuki Amagasa, Hiroyuki Kitagawa	XML data partitioning strategies to improve parallelism in parallel holistic twig joins.	ICUIMC	2009	DBLP DOI BibTeX RDF	XML data partition, inter query parallelism, intra query parallelism, holistic twig joins
8	Andrea Capiluppi	Domain Drivers in the Modularization of FLOSS Systems. (PDF / PS)	OSS	2009	DBLP DOI BibTeX RDF
8	Ron van der Meyden	Architectural Refinement and Notions of Intransitive Noninterference.	ESSoS	2009	DBLP DOI BibTeX RDF
8	Rui C. Gonçalves, João Luís Sobral	Pluggable parallelisation.	HPDC	2009	DBLP DOI BibTeX RDF	non-invasive parallelisation, parallel programming, separation of concerns
8	Albert Atserias, Mark Weyer	Decidable Relationships between Consistency Notions for Constraint Satisfaction Problems.	CSL	2009	DBLP DOI BibTeX RDF
8	Jean-Sébastien Coron, David Naccache, Mehdi Tibouchi, Ralf-Philipp Weinmann	Practical Cryptanalysis of iso/iec 9796-2 and emv Signatures.	CRYPTO	2009	DBLP DOI BibTeX RDF	iso/iec 9796-2, digital signatures, rsa, public-key cryptanalysis, forgery, emv
8	Daqing Hou, Yuejiao Wang	Analyzing the evolution of user-visible features: A case study with Eclipse.	ICSM	2009	DBLP DOI BibTeX RDF
8	Takahito Aoto 0001, Toshiyuki Yamada	Argument Filterings and Usable Rules for Simply Typed Dependency Pairs.	FroCoS	2009	DBLP DOI BibTeX RDF
8	Masahiro Fujita, Yoshihisa Kojima, Amir Masoud Gharehbaghi	Debugging from high level down to gate level.	DAC	2009	DBLP DOI BibTeX RDF	post-silicon debug, dependence analysis, system level design, equivalence checking, high-level design
8	Andrei Hagiescu, Weng-Fai Wong, David F. Bacon, Rodric M. Rabbah	A computing origami: folding streams in FPGAs.	DAC	2009	DBLP DOI BibTeX RDF	FPGA, streaming, throughput, latency
8	Felix Brandt 0001, Markus Brill, Felix A. Fischer, Paul Harrenstein	Computational aspects of Shapley's saddles.	AAMAS (1)	2009	DBLP BibTeX RDF	Shapley's saddles, game theory, solution concepts
8	Michael R. Fellows, Danny Hermelin, Frances A. Rosamond	Well-Quasi-Orders in Subclasses of Bounded Treewidth Graphs.	IWPEC	2009	DBLP DOI BibTeX RDF
8	José Luis González Velarde, Salvador Garcia-Lumbreras, Alberto Garcia-Diaz	A multi-stop routing problem.	Ann. Oper. Res.	2008	DBLP DOI BibTeX RDF	Routing, Mixed integer programming, Valid inequalities
8	Pablo Moreno-Ger, Carl Blesius, Paul Currier, José Luis Sierra, Baltasar Fernández-Manjón	Online Learning and Clinical Procedures: Rapid Development and Effective Deployment of Game-Like Interactive Simulations.	Trans. Edutainment	2008	DBLP DOI BibTeX RDF	game-like simulations, development process model, development costs, clinical procedures, e-Adventure, .LRN, learning management systems, game-based learning, virtual learning environments, IMS Learning Design
8	Julia Padberg	Integration of Categorical Frameworks: Rule-Based Refinement and Hierarchical Composition for Components.	Appl. Categorical Struct.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 68Q85, 18A99, 68Q42
8	Lobna Kriaa, Aimen Bouchhima, Marius Gligor, Anne-Marie Fouillart, Frédéric Pétrot, Ahmed Amine Jerraya	Parallel Programming of Multi-processor SoC: A HW-SW Interface Perspective.	Int. J. Parallel Program.	2008	DBLP DOI BibTeX RDF	HW/SW interfaces, Programming models, heterogeneous MPSoC
8	Jieyi Long, Hai Zhou 0001, Seda Ogrenci Memik	EBOARST: An Efficient Edge-Based Obstacle-Avoiding Rectilinear Steiner Tree Construction Algorithm.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2008	DBLP DOI BibTeX RDF
8	Yufang Xi, Edmund M. Yeh	Node-Based Optimal Power Control, Routing, and Congestion Control in Wireless Networks.	IEEE Trans. Inf. Theory	2008	DBLP DOI BibTeX RDF
8	Ienkaran Arasaratnam, Simon Haykin 0001	Square-Root Quadrature Kalman Filtering.	IEEE Trans. Signal Process.	2008	DBLP DOI BibTeX RDF
8	Nick Moffat, Michael Goldsmith	Assumption-Commitment Support for CSP Model Checking.	J. Autom. Reason.	2008	DBLP DOI BibTeX RDF	Assumption-commitment, Model checking, Refinement, CSP, Compositional reasoning, Assume-guarantee
8	Alec Banks, Jonathan Vincent, Chukwudi Anyakoha	A review of particle swarm optimization. Part II: hybridisation, combinatorial, multicriteria and constrained optimization, and indicative applications.	Nat. Comput.	2008	DBLP DOI BibTeX RDF	Particle swarm optimization, Natural computing