Search results for "CWB"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
138	Akiyo Nadamoto, Katsumi Tanaka	A comparative web browser (CWB) for browsing and comparing web pages.	WWW	2003	DBLP DOI BibTeX RDF	content synchronization, web browser, comparison, passage retrieval
82	Akiyo Nadamoto, Qiang Ma 0001, Katsumi Tanaka	Concurrent Browsing of Bilingual Web Sites by Content-Synchronization and Difference-Detection.	WISE	2003	DBLP DOI BibTeX RDF
77	Akiyo Nadamoto, Qiang Ma 0001, Katsumi Tanaka	B-CWB: Bilingual Comparative Web Browser Based on Content-Synchronization and Viewpoint Retrieval.	World Wide Web	2005	DBLP DOI BibTeX RDF	content synchronization, viewpoint retrievat, difference-detection, Web browser, comparison, similarity-detection
77	Dezhuang Zhang, Rance Cleaveland, Eugene W. Stark	The Integrated CWB-NC/PIOATool for Functional Verification and Performance Analysis of Concurrent Systems.	TACAS	2003	DBLP DOI BibTeX RDF
61	Mariya Koshkina, Franck van Breugel	Modelling and verifying web service orchestration by means of the concurrency workbench.	ACM SIGSOFT Softw. Eng. Notes	2004	DBLP DOI BibTeX RDF	concurrency workbench of the new century, process algebra compiler, web service, modelling, verification, business process, BPEL4WS
58	Gregory Butler, Peter Grogono, Rajjan Shinghal, Indra A. Tjandra	Analyzing the logical structure of data flow diagrams in software documents.	ICDAR	1995	DBLP DOI BibTeX RDF	logical structure analysis, Calculus of Communicating Systems, Edinburgh Concurrency Workbench, CWB, deep understanding, equivalence, CCS, document understanding, software documents, flowcharting, formal description, data flow diagrams, data flow diagram
41	Lan Tien Nguyen, Razvan Beuran, Yoichi Shinoda	A load-aware routing metric for wireless mesh networks.	ISCC	2008	DBLP DOI BibTeX RDF
41	Martin Leucker, Thomas Noll 0001, Perdita Stevens, Michael Weber 0002	Functional programming languages for verification tools: a comparison of Standard ML and Haskell.	Int. J. Softw. Tools Technol. Transf.	2005	DBLP DOI BibTeX RDF	Language adequacy, Haskell, ML, Verification tools, Functional programming languages
36	Arindam Bhattacharjee, Anita Sarkar	Abusive supervision and cyberloafing: an investigation based on Stressor-Emotion-CWB theory.	Inf. Technol. People	2024	DBLP DOI BibTeX RDF
36	Muhammad Faisal Malik, Qurat-ul-Ain Burhan, Shazia Akhtar, Muhammad Shafiq	Human-centric BPM: employee exploitation effects on knowledge-sharing behavior and CWB: a dual-path model and its consequences.	Bus. Process. Manag. J.	2022	DBLP DOI BibTeX RDF
36	Zhihui Du, Zhangxi Lin, Yanqi Gu, Eric O. Lebigot, Xiangyu Guo	引力波cWB处理流水线的GPU加速 (GPU Accelerated cWB Pipeline for Gravitational Waves Discovery).	计算机科学	2017	DBLP DOI BibTeX RDF
20	Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini	Reduced Models for Efficient CCS Verification.	Formal Methods Syst. Des.	2005	DBLP DOI BibTeX RDF	model checking, CCS, state explosion problem
20	Roberto Gorrieri, Ruggero Lanotte, Andrea Maggiolo-Schettini, Fabio Martinelli, Simone Tini, Enrico Tronci	Automated analysis of timed security: a case study on web privacy.	Int. J. Inf. Sec.	2004	DBLP DOI BibTeX RDF	Web privacy, Model checking tools, Timed behavior
20	Arnab Ray, Rance Cleaveland	Unit verification: the CARA experience.	Int. J. Softw. Tools Technol. Transf.	2004	DBLP DOI BibTeX RDF	Model checking, Formal methods, Abstraction, Process algebra, State minimization
20	Li Tan	PlayGame: A Platform for Diagnostic Games.	CAV	2004	DBLP DOI BibTeX RDF
20	Gabriel Ciobanu, Dorel Lucanu	Specification and Verification of Synchronizing Concurrent Objects.	IFM	2004	DBLP DOI BibTeX RDF	hidden algebra, model checking, integration, temporal logics, Algebraic specification, concurrent systems, CCS, object-oriented specification
20	Girish Bhat, Rance Cleaveland, Alex Groce	Efficient Model Checking Via Büchi Tableau Automata.	CAV	2001	DBLP DOI BibTeX RDF
20	Manuel Barrio-Solórzano, Maria Encarnación Beato Gutiérrez, Carlos Enrique Cuesta Quintero, Pablo de la Fuente	Formal Verification of Coherence for a Shared Memory Multiprocessor Model.	PaCT	2001	DBLP DOI BibTeX RDF
20	David Hansel, Rance Cleaveland, Scott A. Smolka	Distributed Prototyping from Validated Specifications.	IEEE International Workshop on Rapid System Prototyping	2001	DBLP DOI BibTeX RDF
20	Milica Barjaktarovic, Shiu-Kai Chin, Kamal Jabbour	Formal Specification and Verification of the Kernel Functional Unit of the OSI Session Layer Protocol and Service Using CCS.	ISSTA	1996	DBLP DOI BibTeX RDF