Search results for "asynchronous communication"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Yulian Fei, Min Wang, Wenjuan Chen	Research on Asynchronous Communication-Oriented Page Searching.	AIRS	2008	DBLP DOI BibTeX RDF	search engine, asynchronous communication, crawler
3	Luca G. Tallini, Bella Bose	Transmission Time Analysis for the Parallel Asynchronous Communication Scheme.	IEEE Trans. Computers	2003	DBLP DOI BibTeX RDF	delay-insensitive codes, proximity detecting codes, low weight codes, Asynchronous communication, constant weight codes, unordered codes
3	Neil Henderson, Stephen Paynter	The Formal Classification and Verification of Simpson's 4-Slot Asynchronous Communication Mechanism.	FME	2002	DBLP DOI BibTeX RDF	retrieve relation, refinement, asynchronous communication, reification
3	Luca G. Tallini, Bella Bose	Some Transmission Time Analysis for the Parallel Asynchronous Communication Scheme.	FTCS	1999	DBLP DOI BibTeX RDF	delay-insensitive codes, proximity detecting codes, low weight codes, Asynchronous communication, constant weight codes, unordered codes
3	Frank S. de Boer, Joost N. Kok, Catuscia Palamidessi, Jan J. M. M. Rutten	On Blocks: Locality and Asynchronous Communication (Extended Abstract).	REX Workshop	1992	DBLP DOI BibTeX RDF	Parallelism, locality, asynchronous communication, block structure
2	Zachary Stengel, Tevfik Bultan	Analyzing singularity channel contracts.	ISSTA	2009	DBLP DOI BibTeX RDF	conversations, asynchronous communication, realizability
2	Hiroaki Kawata, Yosuke Takano, Yoshiyuki Iwata, Naoyoshi Kanamaru, Ken-ichiro Shimokura, Yoshihiro Fujita	Field trial of asynchronous communication using network-based interactive child watch system for the participation of parents in day-care activities.	ICRA	2008	DBLP DOI BibTeX RDF
2	José Carlos Brustoloni, David Kyle	Updates and Asynchronous Communication in Trusted Computing Systems.	ICDCS	2008	DBLP DOI BibTeX RDF
2	Chryssis Georgiou, Peter M. Musial, Alexander A. Shvartsman, Elaine L. Sonderegger	An Abstract Channel Specification and an Algorithm Implementing It Using Java Sockets.	NCA	2008	DBLP DOI BibTeX RDF	Java sockets, dynamic participation, input/output automata, Asynchronous communication
2	Kyller Costa Gorgônio, Jordi Cortadella, Fei Xia	A Compositional Method for the Synthesis of Asynchronous Communication Mechanisms.	ICATPN	2007	DBLP DOI BibTeX RDF	Asynchronous communication mechanisms, model checking, Petri nets, protocols, synthesis, concurrent systems
2	Marc Schanne	Integrated development of distributed real-time applications with asynchronous communication.	JTRES	2007	DBLP DOI BibTeX RDF	distributed real-time, integrated development
2	Miriam Weinel, Chun Hu	Social presence and student perceptions in the blend of synchronous and asynchronous communication forms.	ICALT	2007	DBLP DOI BibTeX RDF
2	Chryssis Georgiou, Peter M. Musial, Alexander A. Shvartsman, Elaine L. Sonderegger	A formal treatment of an abstract channel implementation using java sockets and TCP.	PODC	2007	DBLP DOI BibTeX RDF	TCP and java sockets, dynamic participation, asynchronous communication, I/O automata
2	Huaigu Wu, Yuri Natchetoi	Mobile shopping assistant: integration of mobile applications and web services.	WWW	2007	DBLP DOI BibTeX RDF	mobile application, collaborative system, asynchronous communication, XML compression
2	Noriko Hanakawa, Nao Ikemiya	A Web Browser for Ajax Approach with Asynchronous Communication Model.	Web Intelligence	2006	DBLP DOI BibTeX RDF
2	Daniele Gorla	On the Relative Expressive Power of Asynchronous Communication Primitives.	FoSSaCS	2006	DBLP DOI BibTeX RDF
2	Tevfik Bultan, Jianwen Su, Xiang Fu	Analyzing Conversations of Web Services.	IEEE Internet Computing	2006	DBLP DOI BibTeX RDF	synchronizability, Web services, model checking, conversations, asynchronous communication, realizability
2	Yu Lei, S. Purushothaman Iyer	An Approach to Unfolding Asynchronous Communication Protocols.	FM	2005	DBLP DOI BibTeX RDF	State Space Search, Software Verification, Unfolding, EFSM
2	Rodrigo da Rosa Righi, Philippe Olivier Alexandre Navaux, Márcia C. Cera, Marcelo Pasin	Asynchronous Communication in Java over Infiniband and DECK.	SBAC-PAD	2005	DBLP DOI BibTeX RDF
2	Xiang Fu, Tevfik Bultan, Jianwen Su	Synchronizability of Conversations among Web Services.	IEEE Trans. Software Eng.	2005	DBLP DOI BibTeX RDF	synchronizability, Web services, model checking, verification, conversations, asynchronous communication, realizability
2	Fei Xia, Fei Hao, Ian G. Clark, Alexandre Yakovlev, E. Graeme Chester	Buffered Asynchronous Communication Mechanisms.	ACSD	2004	DBLP DOI BibTeX RDF
2	Tomohiro Takahashi, Takahiro Hanyu	Multiple-Valued Multiple-Rail Encoding Scheme for Low-Power Asynchronous Communication.	ISMVL	2004	DBLP DOI BibTeX RDF
2	Mirco Musolesi	Designing a context-aware middleware for asynchronous communication in mobile ad hoc environments.	Doctoral Symposium on Middleware	2004	DBLP DOI BibTeX RDF	mobile ad hoc networks, context-awareness, message oriented middleware, epidemic protocol, middleware for mobile computing
2	David W. Nellans, Vamshi Krishna Kadaru, Erik Brunvand	ARCS: an architectural level communication driven simulator.	ACM Great Lakes Symposium on VLSI	2004	DBLP DOI BibTeX RDF	Java, asynchronous communication, architectural simulation
2	Xiang Fu, Tevfik Bultan, Jianwen Su	Analysis of interacting BPEL web services.	WWW	2004	DBLP DOI BibTeX RDF	synchronizability, web service, model checking, xpath, BPEL, conversation, asynchronous communication, spin
2	Jerry Zhigang Li, Sharon Elizabeth Bratt	Activity Theory as Tool for Analyzing Asynchronous Learning Networks (ALN).	ICWL	2004	DBLP DOI BibTeX RDF	online conference, E-learning, computer-mediated communication, Asynchronous communication, activity theory, instructional design, web-based learning, online discussion, Asynchronous Learning Networks
2	WeiQi Cao, Juan-Zi Li, Kehong Wang, Tao Zeng	Asynchronous Communication For Complicated E-Commerce Applications.	QSIC	2003	DBLP DOI BibTeX RDF
2	Jean-Claude Royer, Michael Xu	Analysing Mailboxes of Asynchronous Communicating Components.	CoopIS/DOA/ODBASE	2003	DBLP DOI BibTeX RDF	Unbound or Bound Mailbox, Architecture, Component, Asynchronous Communication, Dynamic Behaviour
2	Jaap-Henk Hoepman	Splitters: Objects for Online Partitioning.	OPODIS	2003	DBLP DOI BibTeX RDF	splitters, divide & conquer, asynchronous communication, shared objects
2	James H. Watt, Joseph B. Walther, Kristine L. Nowak	Asynchronous Videoconferencing: A Hybrid Communication Prototype. (PDF / PS)	HICSS	2002	DBLP DOI BibTeX RDF	Group support, Asynchronous communication, Videoconferencing
2	Hyunmo Kang, Ben Shneiderman, Gregory J. Wolff	Dynamic Layout Management in a Multimedia Bulletin Board.	HCC	2002	DBLP DOI BibTeX RDF	Multimedia Bulletin Board (MBB), layout management, dynamic layout template (DLT), collaboration, asynchronous communication
2	Yan Xia, Anthony Tung Shuen Ho, YuCheng Zhang	CIMO - Component Integration MOdel.	APSEC	2000	DBLP DOI BibTeX RDF	CIMO, Component Integration Model, binary interface standard, specialized software components, component interoperation, scalable component-based applications, formal specification, specifications, object-oriented methods, asynchronous communication, subroutines, distributed object management, synchronous communication, Component Object Model
2	Frank S. de Boer, Gianluigi Zavattaro	Generic Process Algebras for Asynchronous Communication.	CONCUR	1999	DBLP DOI BibTeX RDF
2	Jean Fanchon	Trace Channel Nets.	ICATPN	1999	DBLP DOI BibTeX RDF	Fifo Nets, Coloured Nets, concurrent automata, recognisability, concurrency, asynchronous communication, Mazurkiewicz traces
2	Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu	State Space Reduction Based on Live Variables Analysis.	SAS	1999	DBLP DOI BibTeX RDF	live variables analysis, model checking, bisimulation, asynchronous communication, state space reduction
2	Frank S. de Boer	Reasoning about Asynchronous Communication in Dynamically Evolving Object Structures.	CONCUR	1998	DBLP DOI BibTeX RDF
2	Yong Sun, Hongji Yang	Communication Mechanism Independent Protocol Specification Based on CSP: A Case Study.	EUROMICRO	1996	DBLP DOI BibTeX RDF	communication mechanism independent protocol specification, abstract synchronous communication mechanism, asynchronous communication mechanisms, computer network protocols, specification, communicating sequential processes, communicating sequential processes, alternating bit protocol, communication mechanism
2	Garth Baulch, David Hemmendinger, Cherrice Traver	Analyzing and verifying locally clocked circuits with the concurrency workbench.	Great Lakes Symposium on VLSI	1995	DBLP DOI BibTeX RDF	locally clocked circuits, concurrency workbench, synchronous computational elements, concurrent system modelling, CCS process algebra, formal verification, timing, logic design, process algebra, logic CAD, asynchronous circuits, asynchronous circuits, circuit analysis computing, asynchronous communication
2	Tracy Camp, Phil Kearns, Mohan Ahuja	Proof Rules for Flush Channels.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	flush channels, asynchronous communication constructs, datagrams, receipt-order restrictions, message-by-message basis, Hoare-style partial correctness verification methodology, concurrency, distributed processing, program verification, distributed program, virtual circuits
2	Frank S. de Boer, Joost N. Kok, Catuscia Palamidessi, Jan J. M. M. Rutten	The Failure of Failures in a Paradigm for Asynchronous Communication.	CONCUR	1991	DBLP DOI BibTeX RDF
2	Kohei Honda, Mario Tokoro	An Object Calculus for Asynchronous Communication.	ECOOP	1991	DBLP DOI BibTeX RDF
2	Patrick M. Lenders	Distributed Computing with Single Read-Single Write Variables.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	single read-single write variables, free, wait state, SRSW variables, regular sequential language, SRSW data type, parallel programs, distributed computing, distributed processing, message passing, operational semantics, asynchronous communication, syntax, busy, synchronous communication
1	Daniel P. Playne, Kenneth A. Hawick	Comparison of GPU architectures for asynchronous communication with finite-differencing applications.	Concurrency and Computation: Practice and Experience	2012	DBLP DOI BibTeX RDF
1	Guang Li, Xiang Cao, Sergio Paolantonio, Feng Tian	SketchComm: a tool to support rich and flexible asynchronous communication of early design ideas.	CSCW	2012	DBLP DOI BibTeX RDF
1	Aslan Tchamkerten, Venkat Chandar, Gregory W. Wornell	Asynchronous Communication: Capacity Bounds and Suboptimality of Training	CoRR	2011	DBLP BibTeX RDF
1	Kenneth S. Stevens, Pankaj Golani, Peter A. Beerel	Energy and Performance Models for Synchronous and Asynchronous Communication.	IEEE Trans. VLSI Syst.	2011	DBLP DOI BibTeX RDF
1	Georgios Fellouris, George V. Moustakides	Decentralized Sequential Hypothesis Testing Using Asynchronous Communication.	IEEE Transactions on Information Theory	2011	DBLP DOI BibTeX RDF
1	Marc Schaaf, Volker Ahlers, Arne Koschel, Irina Astrova, Ahto Kalja, David Bosschaert, Roman Roelofsen	Integrating Asynchronous Communication into the OSGI Service Platform.	WEBIST	2011	DBLP BibTeX RDF
1	Dapeng Mo, Xiaobing Wang, Zhenhua Duan	Asynchronous Communication in MSVL.	ICFEM	2011	DBLP DOI BibTeX RDF
1	Da Wang, Venkat Chandar, Sae-Young Chung, Gregory W. Wornell	Error exponents in asynchronous communication.	ISIT	2011	DBLP DOI BibTeX RDF
1	Uwe Pohlmann, Matthias Tichy	Modelica code generation from ModelicaML state machines extended by asynchronous communication.	EOOLT	2011	DBLP BibTeX RDF
1	Naoya Onizawa, Atsushi Matsumoto, Takahiro Hanyu	Interconnect-fault-resilient delay-insensitive asynchronous communication link based on current-flow monitoring.	DATE	2011	DBLP DOI BibTeX RDF
1	Zhongxiao Li, Kairui Chen, Xin Xu	The Structure and Substance of Student Asynchronous Communication in Hybrid STEM Courses.	ICALT	2011	DBLP DOI BibTeX RDF
1	Stephan Janisch	Behaviour and refinement of port-based components with synchronous and asynchronous communication.		2010	RDF
1	Zohir Bouzid, Shlomi Dolev, Maria Potop-Butucaru, Sébastien Tixeuil	RoboCast: Asynchronous Communication in Robot Networks	CoRR	2010	DBLP BibTeX RDF
1	Daniel P. Playne, Kenneth A. Hawick	Asynchronous Communication Schemes for Finite Difference Methods on Multiple GPUs.	CCGRID	2010	DBLP DOI BibTeX RDF
1	Zohir Bouzid, Shlomi Dolev, Maria Potop-Butucaru, Sébastien Tixeuil	RoboCast: Asynchronous Communication in Robot Networks.	OPODIS	2010	DBLP DOI BibTeX RDF
1	Concetta Pilotto, K. Mani Chandy, Jerome White	Consensus on asynchronous communication networks in presence of external input.	CDC	2010	DBLP DOI BibTeX RDF
1	Atsushi Matsumoto, Naoya Onizawa, Takahiro Hanyu	One-Color Two-Phase Asynchronous Communication Links Based on Multiple-Valued Simultaneous Control.	ISMVL	2010	DBLP DOI BibTeX RDF	asynchronous transmission, current-mode, multiple-valued
1	Evelina De Nardis	Argumentative Interactions in Online Asynchronous Communication.	EC-TEL Doctoral Consortium	2010	DBLP BibTeX RDF
1	K. C. Sivaramakrishnan, Lukasz Ziarek, Raghavendra Prasad, Suresh Jagannathan	Lightweight asynchrony using parasitic threads.	DAMP	2010	DBLP DOI BibTeX RDF	lightweight threading, mlton, message passing, asynchronous communication
1	Francisco Javier Martínez-Ruiz	The triad-based design of rich user interfaces for internet applications.	EICS	2010	DBLP DOI BibTeX RDF	usixml., model driven engineering, web engineering, rich internet applications
1	Vladimir Marjanovic, Jesús Labarta, Eduard Ayguadé, Mateo Valero	Overlapping communication and computation by using a hybrid MPI/SMPSs approach.	ICS	2010	DBLP DOI BibTeX RDF	hybrid MPI/SMPSs, MPI, parallel programming model, LINPACK
1	Erman Yükseltürk, Adnan Yazici, Ahmet Sacan, Özgür Kaya	Online education experiences: information technologies certificate program at METU.	ITiCSE	2010	DBLP DOI BibTeX RDF	computer engineering education, online information technologies certificate program, online education
1	Vladimir Marjanovic, Jesús Labarta, Eduard Ayguadé, Mateo Valero	Effective communication and computation overlap with hybrid MPI/SMPSs.	PPOPP	2010	DBLP DOI BibTeX RDF	hybrid mpi/smpss, mpi, parallel programming model, linpack
1	Robert P. Biuk-Aghai, Keng Hong Lei	Chatting in the Wiki: synchronous-asynchronous integration.	Int. Sym. Wikis	2010	DBLP DOI BibTeX RDF	communication, synchronous, wiki, instant messaging, asynchronous
1	Venkat Chandar, Aslan Tchamkerten, Gregory W. Wornell	Training-Based Schemes are Suboptimal for High Rate Asynchronous Communication	CoRR	2009	DBLP BibTeX RDF
1	François Chiocchio, A. Lafrenière	A project management perspective on student's declarative commitments to goals established within asynchronous communication.	J. Comp. Assisted Learning	2009	DBLP DOI BibTeX RDF
1	Maria Kordaki, Thanasis Daradoumis	Critical Thinking as a Framework for Structuring Synchronous and Asynchronous Communication within Learning Design-Based E-Learning Systems.	Intelligent Collaborative e-Learning Systems and Applications	2009	DBLP DOI BibTeX RDF
1	Xuguang Guan, Duan Zhou, Dan Wang, Yintang Yang, Zhangming Zhu	A Novel GALS Single-Track Protocol Asynchronous Communication Circuits.	PACCS	2009	DBLP DOI BibTeX RDF
1	Eric Bruillard, Angelique Dimitracopoulou, Peter Reimann	Interaction analysis and visualization for asynchronous communication: analysis methods, tools and research questions.	CSCL	2009	DBLP BibTeX RDF
1	Amala VijayaSelvi Rajan, Arumugam Siri Bavan, Geetha Abeysinghe	Semantics for the Asynchronous Communication in LIPS, a Language for Implementing Parallel/distributed Systems.	SCSS	2009	DBLP DOI BibTeX RDF
1	Zachary J. Oster, Samik Basu	Extending Substitutability in Composite Services by Allowing Asynchronous Communication with Message Buffers.	ICTAI	2009	DBLP DOI BibTeX RDF
1	Aleksandr Ovcharenko, Onkar Sahni, Christopher D. Carothers, Kenneth E. Jansen, Mark S. Shephard	Subdomain communication to increase scalability in large-scale scientific applications.	ICS	2009	DBLP DOI BibTeX RDF	asynchronous communication, mpi
1	Oliver Baecker, Tobias Ippisch, Florian Michahelles, Sascha Roth, Elgar Fleisch	Mobile claims assistance.	MUM	2009	DBLP DOI BibTeX RDF	claims management, mobile computing, prototype, assistive technologies, emergency response, mobile web services
1	Thomas Müller, Alois Knoll	Attention driven visual processing for an interactive dialog robot.	SAC	2009	DBLP DOI BibTeX RDF	active perception and vision, bioinspired robot vision, object and self recognition, realtime visual processing, computer vision, gesture, autonomous robots
1	Valter Roesler, Ronaldo Husemann, Carlos Haas Costa	A new multimedia synchronous distance learning system: the IVA study case.	SAC	2009	DBLP DOI BibTeX RDF	multimedia, education, distance learning
1	Arjun Guha, Shriram Krishnamurthi, Trevor Jim	Using static analysis for Ajax intrusion detection.	WWW	2009	DBLP DOI BibTeX RDF	intrusion detection, javascript, Ajax, control-flow analysis
1	Olga Levina, Vladimir Stantchev	Realizing Event-Driven SOA.	ICIW	2009	DBLP DOI BibTeX RDF
1	Moriyoshi Ohara, Priya Nagpurkar, Yohei Ueda, Kazuaki Ishizaki	The data-centricity of Web 2.0 workloads and its impact on server performance.	ISPASS	2009	DBLP DOI BibTeX RDF
1	Quan Z. Sheng, Boualem Benatallah, Zakaria Maamar, Anne H. H. Ngu	Configurable Composition and Adaptive Provisioning of Web Services.	IEEE T. Services Computing	2009	DBLP DOI BibTeX RDF
1	Dimitris Mostrous, Nobuko Yoshida, Kohei Honda	Global Principal Typing in Partially Commutative Asynchronous Sessions.	ESOP	2009	DBLP DOI BibTeX RDF
1	Jerry Watkins, Jo Tacchi, M. S. Kiran	The Role of Intermediaries in the Development of Asynchronous Rural Access.	HCI	2009	DBLP DOI BibTeX RDF	ICT for development, human-computer interaction, mobile services
1	Kostadin Damevski, Hui Chen	Automated Provenance Collection for CCA Component Assemblies.	ICCS	2009	DBLP DOI BibTeX RDF
1	Gwen Salaün, Tevfik Bultan	Realizability of Choreographies Using Process Algebra Encodings.	IFM	2009	DBLP DOI BibTeX RDF
1	Pablo García-Sánchez, Juan P. Sevilla, Juan Julián Merelo Guervós, Antonio Miguel Mora, Pedro A. Castillo, Juan Luís Jiménez Laredo, Francisco Casado	Pervasive Evolutionary Algorithms on Mobile Devices.	IWANN	2009	DBLP DOI BibTeX RDF
1	Juan Antonio Navarro Pérez, Andrey Rybalchenko	Operational Semantics for Declarative Networking.	PADL	2009	DBLP DOI BibTeX RDF	distributed systems, programming language semantics, Declarative networking
1	Marco Carbone, Nobuko Yoshida, Kohei Honda	Asynchronous Session Types: Exceptions and Multiparty Interactions.	SFM	2009	DBLP DOI BibTeX RDF
1	Werner Geyer, Roberto Silveira Silva Filho, Beth Brownholtz, David F. Redmiles	The Trade-Offs of Blending Synchronous and Asynchronous Communication Services to Support Contextual Collaboration.	J. UCS	2008	DBLP BibTeX RDF
1	Mario Ciampi, Antonio Coronato, Giuseppe De Pietro	An asynchronous communication system for pervasive grids.	IJWGS	2008	DBLP DOI BibTeX RDF
1	Tomas Bengtsson, Shashi Kumar, Raimund Ubar, Artur Jutman, Zebo Peng	Test methods for crosstalk-induced delay and glitch faults in network-on-chip interconnects implementing asynchronous communication protocols.	IET Computers & Digital Techniques	2008	DBLP DOI BibTeX RDF
1	Eiko Yoneki	ECCO - Data Centric Asynchronous Communication: Challenges for Event and Query Modelling and Asynchronous Message Passing.		2008	RDF
1	Kyller Costa Gorgônio, Fei Xia	Modeling and verifying asynchronous communication mechanisms using coloured Petri nets.	ACSD	2008	DBLP DOI BibTeX RDF
1	A. V. S. Rajan, A. S. Bavan, Geetha Abeysinghe	An Equivalence Theorem for the Specification of Asynchronous Communication Systems (SACS) and Asynchronous Message Passing System (AMPS).	SCSS	2008	DBLP DOI BibTeX RDF
1	Rolf Hennicker, Stephan Janisch, Alexander Knapp	Refinement of Components in Connection-Safe Assemblies with Synchronous and Asynchronous Communication.	Monterey Workshop	2008	DBLP DOI BibTeX RDF
1	Julien Phalip, David Jean, Ernest A. Edmonds	Resolving ambiguity of scope in remote collaboration: a study in film scoring.	OZCHI	2008	DBLP DOI BibTeX RDF	creative collaboration, film scoring, human computer interaction, asynchronous communication, remote communication
1	Manish Amde, Jaewook Shim, Joel Marciano, Kenneth Y. Yun, Rene L. Cruz	A low SINR synchronization system for direct-sequence spread-spectrum communications: radio prototype, verification testbed and experimental results.	TRIDENTCOM	2008	DBLP DOI BibTeX RDF	radio prototype, synchronization, asynchronous communication, wireless testbed, direct-sequence spread-spectrum
1	Mukesh Nathan, Chris Harrison, Svetlana Yarosh, Loren G. Terveen, Larry Stead, Brian Amento	CollaboraTV: making television viewing social again.	UXTV	2008	DBLP DOI BibTeX RDF	video, instant messaging, social tagging, asynchronous communication, interactive television, social television
1	Erwin R. van Veldhoven, Martijn H. Vastenburg, David V. Keyson	Designing an Interactive Messaging and Reminder Display for Elderly.	AmI	2008	DBLP DOI BibTeX RDF	interactive message display, Product design, asynchronous communication, acceptability, elderly users
1	Archana Prasad, Indrani Medhi, Kentaro Toyama, Ravin Balakrishnan	Exploring the feasibility of video mail for illiterate users.	AVI	2008	DBLP DOI BibTeX RDF	ICT for development, illiterate users, video mail