Search results for "time-outs"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
47	Ignacio Silva-Lepe, Christopher F. Codella, P. Niblett, Donald F. Ferguson	Container-Managed Messaging: An Architecture for Integrating Java Components and Message-Oriented Applications.	TOOLS (37)	2000	DBLP DOI BibTeX RDF	container-managed messaging, Java components, message-oriented applications, messaging infrastructure, container-managed persistence, persistent data, messaging parameters, message destinations, time-outs, declarative definition, deployment descriptor, anonymous declarative programming model, Java, software architecture, software architecture, object-oriented programming, subroutines, distributed object management, Enterprise JavaBeans, persistent objects, electronic messaging, interaction mode
45	Sebastian Obermeier 0001, Stefan Böttcher, Martin Hett, Panos K. Chrysanthis, George Samaras	Blocking reduction for distributed transaction processing within MANETs.	Distributed Parallel Databases	2009	DBLP DOI BibTeX RDF	Mobile transaction processing, Adjourn state, Mobile ad-hoc networks, Concurrency control, Validation, Locking, Atomic commit
30	Sebastian Obermeier 0001, Stefan Böttcher, Martin Hett, Panos K. Chrysanthis, George Samaras	Adjourn State Concurrency Control Avoiding Time-Out Problems in Atomic Commit Protocols.	ICDE	2008	DBLP DOI BibTeX RDF
30	Jean-Philippe Martin, Lorenzo Alvisi, Michael Dahlin	Small Byzantine Quorum Systems.	DSN	2002	DBLP DOI BibTeX RDF
25	Simon Paasche, Sven Groppe	A Finite State Automaton for Green Data Validation in a Real-World Smart Manufacturing Environment with Special Regard to Time-Outs and Overtaking.	Future Internet	2023	DBLP DOI BibTeX RDF
25	Rob van Glabbeek	Modelling mutual exclusion in a process algebra with time-outs.	Inf. Comput.	2023	DBLP DOI BibTeX RDF
25	Rob van Glabbeek	Modelling Mutual Exclusion in a Process Algebra with Time-outs.	CoRR	2021	DBLP BibTeX RDF
25	Rob van Glabbeek	Failure Trace Semantics for a Process Algebra with Time-outs.	Log. Methods Comput. Sci.	2021	DBLP BibTeX RDF
25	Rob van Glabbeek	Failure Trace Semantics for a Process Algebra with Time-outs (preliminary report).	CoRR	2020	DBLP BibTeX RDF
25	Rob van Glabbeek	Reactive Bisimulation Semantics for a Process Algebra with Time-Outs.	CoRR	2020	DBLP BibTeX RDF
25	Rob van Glabbeek	Reactive Bisimulation Semantics for a Process Algebra with Time-Outs.	CONCUR	2020	DBLP DOI BibTeX RDF
25	Natalia Shabaldina, R. F. Galimullin	On deriving test suites for nondeterministic finite state machines with time-outs.	Program. Comput. Softw.	2012	DBLP DOI BibTeX RDF
25	Maxim Zhigulin, Nina Yevtushenko 0001, Stéphane Maag, Ana R. Cavalli	FSM-Based Test Derivation Strategies for Systems with Time-Outs.	QSIC	2011	DBLP DOI BibTeX RDF
25	Mercedes G. Merayo, Manuel Núñez 0001, Ismael Rodríguez	Extending EFSMs to Specify and Test Timed Systems with Action Durations and Time-Outs.	IEEE Trans. Computers	2008	DBLP DOI BibTeX RDF	Formal methods, Testing and Debugging, Specification techniques
25	Vincenzo De Florio, Chris Blondia	Dynamics of a Time-outs Management System.	Complex Syst.	2006	DBLP BibTeX RDF
25	Maria Sorea	A Decidable Fixpoint Logic for Time-Outs.	CONCUR	2002	DBLP DOI BibTeX RDF
25	Ferdinando Cicalese, Ugo Vaccaro	coping with Delays and Time-Outs in Binary Search Procedures.	ISAAC	2000	DBLP DOI BibTeX RDF
25	Fujian Li 0001, Rongheng Sun, C.-Z. Wu, Zengji Liu	Cyclic service systems with server time-outs.	ISCC	1997	DBLP DOI BibTeX RDF
19	Jean-Marie Jacquet, Koenraad De Bosschere, Antonio Brogi	On Timed Coordination Languages.	COORDINATION	2000	DBLP DOI BibTeX RDF
18	Juha Marila, Sami Ronkainen	Time-out in user interface: the case of mobile text input.	Pers. Ubiquitous Comput.	2004	DBLP DOI BibTeX RDF	Time-out, Mobile phone, Text input
17	Juha Marila, Sami Ronkainen	Time-Out in Mobile Text Input: The Effects of Learning and Feedback.	Mobile HCI	2003	DBLP DOI BibTeX RDF
16	Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta 0001	Default Timed Concurrent Constraint Programming.	POPL	1995	DBLP DOI BibTeX RDF	constraint programming, reactive systems, denotational semantics, synchronous programming, semantics of concurrency
16	David Kitchin, Evan Powell, Jayadev Misra	Simulation Using Orchestration.	AMAST	2008	DBLP DOI BibTeX RDF
16	Vadim Ryvchin, Ofer Strichman	Local Restarts.	SAT	2008	DBLP DOI BibTeX RDF
16	Allan K. Y. Wong, Joseph H. C. Wong	A Convergence Algorithm to Help Enhance the Performance of Distributed Systems on Large Networks.	ISPAN	1999	DBLP DOI BibTeX RDF	mean message response time, convergence algorithm, Central Limit Theorem and flush limit, communication channel, large networks
16	Jozef Hooman	Compositional Verification of Real-Time Systems using Extended Hoare Triples.	REX Workshop	1991	DBLP DOI BibTeX RDF	Hoare triples, Verification, Real-time, Specification, Compositionality
16	Thomas A. Henzinger, Zohar Manna, Amir Pnueli	Timed Transition Systems.	REX Workshop	1991	DBLP DOI BibTeX RDF	real time, concurrency, Transition systems
16	Hideyuki Katoh, Takashi Kobayashi 0001, Haruo Yokota	Activity Scheduling inWeb-Service Based Workflow Management for Balancing Load and Handling Failures.	MDM	2006	DBLP DOI BibTeX RDF
16	Olga Marroquín Alonso, David de Frutos-Escrig	Extending the Petri Box Calculus with Time.	ICATPN	2001	DBLP DOI BibTeX RDF
15	Juan-Miguel Martinez-Rubio, Pedro López 0001, José Duato	FC3D: Flow Control-Based Distributed Deadlock Detection Mechanism for True Fully Adaptive Routing in Wormhole Networks.	IEEE Trans. Parallel Distributed Syst.	2003	DBLP DOI BibTeX RDF	true fully adaptive routing, Wormhole switching, deadlock detection, deadlock recovery
15	Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo	A Timed Linda Language.	COORDINATION	2000	DBLP DOI BibTeX RDF
15	Thien Vo-Dai	Implementing priorities in multiaccess protocols for optical fiber-based local area netorks.	SIGCOMM	1986	DBLP DOI BibTeX RDF	CSMA-CD
15	David Kitchin, Adrian Quark, William R. Cook, Jayadev Misra	The Orc Programming Language.	FMOODS/FORTE	2009	DBLP DOI BibTeX RDF
15	William R. Cook, Jayadev Misra	Structured Interacting Computations.	Software-Intensive Systems and New Computing Paradigms	2008	DBLP DOI BibTeX RDF
15	Jayadev Misra, William R. Cook	Computation Orchestration.	Softw. Syst. Model.	2007	DBLP DOI BibTeX RDF	Wide-area computing, Computation orchestration, Thread-based programming, Web services, Distributed computing, Process algebra
15	Mi-Young Kang, Omar F. Hamad, Jin-Han Jeon, Ji-Seung Nam	mTBCP-Based Overlay Construction and Evaluation for Broadcasting Mini-system.	ICOIN	2007	DBLP DOI BibTeX RDF	mTBCP, Connection Throughput, OBS, Overlay Multicast
15	Bharat Komatireddy, Vinod Vokkarane	Source-ordering for improved TCP performance over load-balanced Optical burst-switched (OBS) networks.	BROADNETS	2007	DBLP DOI BibTeX RDF
15	Mi-Young Kang, Omar F. Hamad, Choung-Ung Pom, Ji-Seung Nam	FTTH-Enhanced Mini-System m TBCP-Based Overlay Construction and Evaluation.	SOFSEM (1)	2007	DBLP DOI BibTeX RDF
15	Jin Song Dong, Yang Liu 0003, Jun Sun 0001, Xian Zhang 0007	Verification of Computation Orchestration Via Timed Automata.	ICFEM	2006	DBLP DOI BibTeX RDF
15	Giovanna Ferrari, Paul D. Ezhilchelvan, Isi Mitrani	Performance Modeling and Evaluation of E-Business Systems.	Annual Simulation Symposium	2006	DBLP DOI BibTeX RDF
15	David Kitchin, William R. Cook, Jayadev Misra	A Language for Task Orchestration and Its Semantic Properties.	CONCUR	2006	DBLP DOI BibTeX RDF
15	Mohammad Reza Mousavi 0001, Iain C. C. Phillips, Michel A. Reniers, Irek Ulidowski	The Meaning of Ordered SOS.	FSTTCS	2006	DBLP DOI BibTeX RDF
15	Alexander Kostin, Erhan Basri	Fault Tolerant and Robust Mutual Exclusion Protocol for Synchronous Distributed Systems.	ISCIS	2005	DBLP DOI BibTeX RDF
15	Jaco van de Pol, Miguel Valero Espada	Verification of JavaSpacesTM Parallel Programs.	ACSD	2003	DBLP DOI BibTeX RDF	software architecture (JavaSpaces), Formal analysis and verification, Distributed termination problem, Parallel computing
15	Roberto Baldoni, Fabio Zito	Designing a Service of Failure Detection in Asynchronous Distributed Systems.	ISORC	2001	DBLP DOI BibTeX RDF
15	Joaquim A. Jorge, Manuel J. Fonseca	A Simple Approach to Recognise Geometric Shapes Interactively.	GREC	1999	DBLP DOI BibTeX RDF