Search results for "TLA"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	Edgar G. Daylight, Sandeep K. Shukla	On the Difficulties of Concurrent-System Design, Illustrated with a 2×2 Switch Case Study.	FM	2009	DBLP DOI BibTeX RDF	adaptability, non-functional requirements, formal specification languages, local reasoning
15	Rishiyur S. Nikhil	Using GPCE principles for hardware systems and accelerators: (bridging the gap to HW design).	GPCE	2009	DBLP DOI BibTeX RDF	bluespec systemverilog, bsv, energy efficient computing, fpga, high level synthesis, high performance computing, haskell, hardware accelerators, hardware/software codesign, term rewriting systems, hybrid computing
15	John MacCormick, Chandramohan A. Thekkath, Marcus Jager, Kristof Roomp, Lidong Zhou, Ryan Peterson 0002	Niobe: A practical replication protocol.	ACM Trans. Storage	2008	DBLP DOI BibTeX RDF	enterprise storage, Replication
15	Hongbing Wang, Hui Liu, Xiaohui Guo	An Efficient Approach to Compose Web Services.	Web Intelligence/IAT Workshops	2008	DBLP DOI BibTeX RDF
15	Ganesh Gopalakrishnan, Robert M. Kirby	Formal Analysis for Debugging and Performance Optimization of MPI.	IPDPS	2007	DBLP DOI BibTeX RDF
15	Hongbing Wang, Hui Liu, Chen Wang, Patrick C. K. Hung	A New Approach to Describe Web Services.	Web Intelligence	2007	DBLP DOI BibTeX RDF
15	Leslie Lamport	Fast Paxos.	Distributed Comput.	2006	DBLP DOI BibTeX RDF	Fault tolerance, Distributed algorithms, Consensus, Paxos
15	Ritwik Bhattacharya, Steven M. German, Ganesh Gopalakrishnan	Exploiting Symmetry and Transactions for Partial Order Reduction of Rule Based Specifications.	SPIN	2006	DBLP DOI BibTeX RDF
15	Edward Kyriacou, Constantinos S. Pattichis, Marios S. Pattichis, Andreas Mavrommatis, S. Panagiotou, Christina I. Christodoulou, Stavros K. Kakkos, Andrew Nicolaides	Classification of Atherosclerotic Carotid Plaques Using Gray Level Morphological Analysis on Ultrasound images.	AIAI	2006	DBLP DOI BibTeX RDF
15	Xinwen Zhang, Francesco Parisi-Presicce, Ravi S. Sandhu, Jaehong Park	Formal model and policy specification of usage control.	ACM Trans. Inf. Syst. Secur.	2005	DBLP DOI BibTeX RDF	Access control, formal specification, security policy, usage control
15	Jean-Raymond Abrial, Dominique Cansell, Dominique Méry	Refinement and Reachability in EventB.	ZB	2005	DBLP DOI BibTeX RDF	Refinement, Reachability, B Method, Stuttering
15	Mamoun Filali, Valérie Issarny, Philippe Mauran, Gérard Padiou, Philippe Quéinnec	Maximal Group Membership in Ad Hoc Networks.	PPAM	2005	DBLP DOI BibTeX RDF
15	Rahat Iqbal, Peter Every	Scenario based method for teaching, learning and assessment.	SIGITE Conference	2005	DBLP DOI BibTeX RDF	managing large-classes, problem-solving students, HCI, learning, education, scenario, assessment, teaching, curriculum model
15	Friedrich H. Vogt, Simon Zambrovski, Boris Gruschko, Peter Furniss, Alastair Green	Implementing Web Service Protocols in SOA: WS-Coordination and WS-BusinessActivity.	CEC Workshops	2005	DBLP DOI BibTeX RDF
15	Adrianna Alexander	Composition of Temporal Logic Specifications.	ICATPN	2004	DBLP DOI BibTeX RDF	verification, specification, temporal logic, partial order, compositional semantics
15	Xinwen Zhang, Jaehong Park, Francesco Parisi-Presicce, Ravi S. Sandhu	A logical specification for usage control.	SACMAT	2004	DBLP DOI BibTeX RDF	logic specification, access control, security policy, usage control
15	Sule Nair, Rachel Cardell-Oliver	Formal specification and analysis of performance variation in sensor network diffusion protocols.	MSWiM	2004	DBLP DOI BibTeX RDF	temporal logic of actions, sensor network, formal specification, directed diffusion
15	Adrianna Alexander, Wolfgang Reisig	Compositional Temporal Logic Based on Partial Order.	TIME	2004	DBLP DOI BibTeX RDF
15	Brannon Batson, Leslie Lamport	High-Level Specifications: Lessons from Industry.	FMCO	2002	DBLP DOI BibTeX RDF
15	Thorsten Gerdsmeier, Rachel Cardell-Oliver	A Method for Verifying Real-Time Properties of Ada Programs.	ICECCS	2001	DBLP DOI BibTeX RDF
15	Paulo Nazareno Maia Sampaio, Christophe Lohr, Jean-Pierre Courtiat	An integrated environment for the presentation of consistent SMIL 2.0 documents.	ACM Symposium on Document Engineering	2001	DBLP DOI BibTeX RDF	SMIL 2.0, interactive multimedia documents, formal methods, LOTOS, temporal consistency, RT-LOTOS
15	Günter Graw, Peter Herrmann, Heiko Krumm	Verification of UML-Based Real-Time System Designs by Means of cTLA.	ISORC	2000	DBLP DOI BibTeX RDF
15	Abdel Mokkedem, Tim Leonard	Formal Verification of the Alpha 21364 Network Protocol.	TPHOLs	2000	DBLP DOI BibTeX RDF
15	J. Paul Gibson, Dominique Méry	Formal Modelling of Services for Getting a Better Understanding of the Feature Interaction Problem.	Ershov Memorial Conference	1999	DBLP DOI BibTeX RDF
15	Bengt Jonsson 0001, Yih-Kuen Tsay	Assumption/Guarantee Specifications in Linear-Time Temporal Logic (Extended Abstract).	TAPSOFT	1995	DBLP DOI BibTeX RDF
15	Martín Abadi, Stephan Merz	An Abstract Account of Composition.	MFCS	1995	DBLP DOI BibTeX RDF
15	Martín Abadi, Leslie Lamport	An Old-Fashined Recipe for Real-Time.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	Zeno, real time, temporal logic, composition, concurrent programming, safety properties, liveness properties
15	Amir Pnueli	System Specification and Refinement in Temporal Logic.	FSTTCS	1992	DBLP DOI BibTeX RDF	stuttering robustness, simulation, Temporal logic, validation, refinement, requirement specification, system specification, temporal semantics
15	Martín Abadi, Leslie Lamport	An Old-Fashioned Recipe for Real Time.	REX Workshop	1991	DBLP DOI BibTeX RDF