Search results for "play-out"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
86	David Harel, Hillel Kugler, Rami Marelly, Amir Pnueli	Smart play-out.	OOPSLA Companion	2003	DBLP DOI BibTeX RDF	play-out, system modeling and execution, UML, scenarios, object-oriented analysis and design, LSCs
46	David Harel, Rami Marelly	Specifying and executing behavioral requirements: the play-in/play-out approach.	Softw. Syst. Model.	2003	DBLP DOI BibTeX RDF	Live sequence charts (LSCs), System modeling and execution, UML, Testing, Requirements engineering, Scenarios
39	David Harel, Hillel Kugler, Gera Weiss	Some Methodological Observations Resulting from Experience Using LSCs and the Play-In/Play-Out Approach.	Scenarios: Models, Transformations and Tools	2003	DBLP DOI BibTeX RDF
33	David Harel, Hillel Kugler, Amir Pnueli	Smart Play-Out Extended: Time and Forbidden Elements.	QSIC	2004	DBLP DOI BibTeX RDF
31	Teruyuki Hasegawa, Toru Hasegawa, Toshihiko Kato, Kenji Suzuki 0003	A Video Retrieval Protocol with Video Data Prefetch and Packet Retransmission Considering Play-out Dead Line.	ICNP	1996	DBLP DOI BibTeX RDF
26	Benedikt Bollig, Joost-Pieter Katoen, Carsten Kern, Martin Leucker	Replaying Play In and Play Out: Synthesis of Design Models from Scenarios by Learning.	TACAS	2007	DBLP DOI BibTeX RDF
26	Rami Marelly, David Harel, Hillel Kugler	Specifying and executing requirements: the play-in/play-out approach.	OOPSLA Companion	2002	DBLP DOI BibTeX RDF
25	Sofiene Jelassi, Habib Youssef	Evom: a software based platform for voice transmission and quality assessment over wireless ad-hoc networks.	MSWiM	2007	DBLP DOI BibTeX RDF	play-out algorithms, voice assessment, manet, e-model
25	Hillel Kugler, Cory Plock, Amir Pnueli	Synthesizing reactive systems from LSC requirements using the play-engine.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	reactive systems, live sequence charts, controller synthesis
21	Gi-sung Lee, Hong-Jin Kim, Il-Sun Hwang	Multimedia Synchronization for Handoff Control with MPEG in All-IP Mobile Networks.	NPC	2004	DBLP DOI BibTeX RDF
18	David Harel	Playing with Verification, Planning and Aspects: Unusual Methods for Running Scenario-Based Programs.	CAV	2006	DBLP DOI BibTeX RDF
17	Philipp Külpmann, Christoph Kuzmics	Comparing theories of one-shot play out of treatment.	J. Econ. Theory	2022	DBLP DOI BibTeX RDF
17	Oskar Jonsson, Susanne Iwarsson	Scrutinizing the collaboration criterion in research: how do policy ambitions play out in proposals and assessments?	Scientometrics	2022	DBLP DOI BibTeX RDF
17	Gabriel Machado Santos, Rita Maria da Silva Julia	Go-Ahead: Improving Prior Knowledge Heuristics by Using Information Retrieved From Play Out Simulations.	FLAIRS	2016	DBLP BibTeX RDF
17	Arkadiusz Biernacki	A Novel Play-out Algorithm for HTTP Adaptive Streaming.	CoRR	2015	DBLP BibTeX RDF
17	Christian Brenner 0001, Joel Greenyer, Jörg Holtmann, Grischa Liebel, Gerald Stieglbauer, Matthias Tichy	ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study.	Electron. Commun. Eur. Assoc. Softw. Sci. Technol.	2014	DBLP DOI BibTeX RDF
17	Jörg Holtmann, Dimitar Shipchanov	Considering Architectural Properties in Real-time Play-out.	GI-Jahrestagung	2014	DBLP BibTeX RDF
17	Jun Liu 0035, Yu Zhang 0050, Jian Song 0004	Play-Out Constrained Dynamic Packet Loss Protection for Scalable Video Transmission.	IEICE Trans. Commun.	2013	DBLP DOI BibTeX RDF
17	Joel Greenyer, Christian Brenner 0001, Valerio Panzica La Manna	The ScenarioTools Play-Out of Modal Sequence Diagram Specifications with Environment Assumptions.	Electron. Commun. Eur. Assoc. Softw. Sci. Technol.	2013	DBLP DOI BibTeX RDF
17	Jörg Holtmann, Matthias Meyer 0001	Play-out for Hierarchical Component Architectures.	GI-Jahrestagung	2013	DBLP BibTeX RDF
17	Shahar Maoz, Yaniv Sa'ar	Counter play-out: executing unrealizable scenario-based specifications.	ICSE	2013	DBLP DOI BibTeX RDF
17	David Harel, Amir Kantor, Shahar Maoz	On the Power of Play-Out for Scenario-Based Programs.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
17	David Harel, Hillel Kugler, Shahar Maoz, Itai Segall	Accelerating Smart Play-Out.	SOFSEM	2010	DBLP DOI BibTeX RDF
17	David Harel, Itai Segall	Planned and Traversable Play-Out: A Flexible Method for Executing Scenario-Based Programs, .	TACAS	2007	DBLP DOI BibTeX RDF
17	Michele Rossi, Michele Zorzi, Frank H. P. Fitzek	Investigation of link layer algorithms and play-out buffer requirements for efficient multicast services in 3G cellular systems.	PIMRC	2004	DBLP DOI BibTeX RDF
17	David Harel, Hillel Kugler, Rami Marelly, Amir Pnueli	Smart Play-out of Behavioral Requirements.	FMCAD	2002	DBLP DOI BibTeX RDF
17	Daniel R. Jeske, Wassim Matragi, Behrokh Samadi	Adaptive play-out algorithms for voice packets.	ICC	2001	DBLP DOI BibTeX RDF
17	Nicola Blefari-Melazzi, Vincenzo Eramo, Marco Listanti	Dimensioning of play-out buffers for real-time services in a B-ISDN.	Comput. Commun.	1998	DBLP DOI BibTeX RDF
16	Hillel Kugler, Michael J. Stern, E. Jane Albert Hubbard	Testing Scenario-Based Models.	FASE	2007	DBLP DOI BibTeX RDF
16	Damodar Banodkar, K. K. Ramakrishnan, Shivkumar Kalyanaraman, Alexandre Gerber, Oliver Spatscheck	Multicast instant channel change in IPTV systems.	COMSWARE	2008	DBLP DOI BibTeX RDF
14	Azzedine Boukerche, Harold Owens II	Media Synchronization and QoS Packet Scheduling Algorithms for Wireless Systems.	Mob. Networks Appl.	2005	DBLP DOI BibTeX RDF	quality of service (QoS), distributed algorithms, wireless communications, mobile multimedia, media synchronization, packet scheduling algorithm
13	David Harel, Rami Marelly	Playing with Time: On the Specification and Execution of Time-Enriched LSCs.	MASCOTS	2002	DBLP DOI BibTeX RDF
10	Arsalan Farrokh, Vikram Krishnamurthy	Opportunistic Scheduling for Streaming Multimedia Users in High-Speed Downlink Packet Access (HSDPA).	IEEE Trans. Multim.	2006	DBLP DOI BibTeX RDF
10	Susan Elias, K. S. Easwarakumar, Richard Chbeir	Dynamic consistency checking for temporal and spatial relations in multimedia presentations.	SAC	2006	DBLP DOI BibTeX RDF	authoring, multimedia presentation, consistency checking, spatial relations, temporal relations
10	Cheng-Han Lin, Chih-Heng Ke, Ce-Kuen Shieh, Naveen K. Chilamkurti	The Packet Loss Effect on MPEG Video Transmission in Wireless Networks.	AINA (1)	2006	DBLP DOI BibTeX RDF	wireless network, MPEG, packet loss
10	Kristine S. Nagel, James M. Hudson, Gregory D. Abowd	Predictors of availability in home life context-mediated communication.	CSCW	2004	DBLP DOI BibTeX RDF	context-mediated communication, interruption, home
10	Masahiro Sasabe, Naoki Wakamiya, Masayuki Murata 0001, Hideo Miyahara	Media Streaming on P2P Networks with Bio-inspired Cache Replacement Algorithm.	BioADIT	2004	DBLP DOI BibTeX RDF
10	David A. Turner, Keith W. Ross	Adaptive Streaming of Layer-Encoded Multimedia Presentations.	J. VLSI Signal Process.	2003	DBLP DOI BibTeX RDF	optimal streaming, progressive rendering
10	Gi-sung Lee, Jeung-gyu Jee, Sok-Pal Cho	Buffering Management Scheme for Multimedia Synchronization in Mobile Information System.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF
9	Bernhard Thalheim	Achievements and Problems of Conceptual Modelling.	Active Conceptual Modeling of Learning	2006	DBLP DOI BibTeX RDF
9	Jun Sun 0001, Jin Song Dong	Model Checking Live Sequence Charts.	ICECCS	2005	DBLP DOI BibTeX RDF	Verification, CSP, FDR, LSCs
9	Na'aman Kam, David Harel, Hillel Kugler, Rami Marelly, Amir Pnueli, E. Jane Albert Hubbard, Michael J. Stern	Formal Modeling of C. elegans Development: A Scenario-Based Approach.	CMSB	2003	DBLP DOI BibTeX RDF
7	Carri W. Chan, John G. Apostolopoulos, Yan Li 0069, Nicholas Bambos	Receiver-Based Optimization for Video Delivery Over Wireless Links.	ICME	2006	DBLP DOI BibTeX RDF
7	Jaana Porra	Electronic Commerce Internet Strategies and Business Models-A Survey.	Inf. Syst. Frontiers	2000	DBLP DOI BibTeX RDF	internet strategy, internet business model, electronic commerce, survey
5	Juergen Enge, Andrzej Glowacz, Michal Grega, Mikolaj Leszczuk, Zdzislaw Papir, Piotr Romaniak, Viliam Simko	OASIS Archive - Open Archiving System with Internet Sharing.	FMN	2009	DBLP DOI BibTeX RDF	storage/repositories, libraries/information repositories/publishing, arts, intelligent web services and semantic web, feature measurement
5	Hillel Kugler, Cory Plock, Amir Pnueli	Controller Synthesis from LSC Requirements.	FASE	2009	DBLP DOI BibTeX RDF
5	Cornelius Hellge, Thomas Schierl, Jörg Huschke, Thomas Rusert, Markus Kampmann, Thomas Wiegand	Temporal scalability and layered transmission.	ICIP	2008	DBLP DOI BibTeX RDF
5	Luciano Baresi, Sam Guinea	A dynamic and reactive approach to the supervision of BPEL processes.	ISEC	2008	DBLP DOI BibTeX RDF	web services, aspect oriented programming, monitoring, BPEL, recovery, supervision
5	Marcus Sanchez Svensson, Tomas Sokoler	Ticket-to-talk-television: designing for the circumstantial nature of everyday social interaction.	NordiCHI	2008	DBLP DOI BibTeX RDF	interaction design, social interaction, ambiguity, social television, senior citizens
5	Yoram Atir, David Harel, Asaf Kleinbort, Shahar Maoz	Object Composition in Scenario-Based Programming.	FASE	2008	DBLP DOI BibTeX RDF
5	Damiano Carra, Renato Lo Cigno, Ernst W. Biersack	Graph Based Analysis of Mesh Overlay Streaming Systems.	IEEE J. Sel. Areas Commun.	2007	DBLP DOI BibTeX RDF
5	Li Wang, Ken'ichi Kawanishi, Yoshikuni Onozato	Simulation-Based Optimization on MPEG-4 over SCTP Multi-streaming with Differentiated Retransmission Policy in Lossy Link.	APSCC	2007	DBLP DOI BibTeX RDF
5	Jim Goodwin, Richard Jones, Garry Morissette	CROSSFIRE: an IDE for operational training.	SpringSim (3)	2007	DBLP BibTeX RDF	cognitive readiness, operational training, intelligent agents, integrated development environment
5	Cassia Pereira Nino, Jader Marques, Débora Nice Ferrari Barbosa, Cláudio Fernando Resin Geyer, Jorge L. V. Barbosa, Iara Augustin	Context-Aware Model in a Ubiquitous Learning Environment.	PerCom Workshops	2007	DBLP DOI BibTeX RDF
5	Kari Pihkala, Petri Vuorimaa	Nine methods to extend SMIL for multimedia applications.	Multim. Tools Appl.	2006	DBLP DOI BibTeX RDF	XML, Multimedia, Extension, SMIL, XForms
5	Jakob E. Bardram, Thomas Riisgaard Hansen, Martin Mogensen, Mads Søgaard	Experiences from Real-World Deployment of Context-Aware Technologies in a Hospital Environment.	UbiComp	2006	DBLP DOI BibTeX RDF
5	Robbie De Sutter, Stijn Notebaert, Rik Van de Walle	Evaluation of Metadata Standards in the Context of Digital Audio-Visual Libraries.	ECDL	2006	DBLP DOI BibTeX RDF
5	Débora Nice Ferrari Barbosa, Iara Augustin, Jorge L. V. Barbosa, Adenauer C. Yamin, Luciano Cavalheiro da Silva, Cláudio Fernando Resin Geyer	Learning in a Large-Scale Pervasive Environment.	PerCom Workshops	2006	DBLP DOI BibTeX RDF
5	Shahar Maoz, David Harel	From multi-modal scenarios to code: compiling LSCs into aspectJ.	SIGSOFT FSE	2006	DBLP DOI BibTeX RDF	inter-object approach, aspect oriented programming, code generation, scenarios, live sequence charts, visual formalisms, UML sequence diagrams, scenario-based programming
5	Ing-Chau Chang, Chih-Sung Hsieh	Hierarchical Synchronized Multimedia Multicast for Mobile Hosts in Heterogeneous Wireless Networks.	ICOIN	2006	DBLP DOI BibTeX RDF
5	Mark D. Alexiuk, G. Sawatzky, Nicolino J. Pizzi, Witold Pedrycz	Captology in Narrowcast Advertising: A Swarm Simulation of Persuasion Models.	CCECE	2006	DBLP DOI BibTeX RDF
5	Susan Elias, Suprema Raj, Uma Lakshmanan, Sunaina Premkumar, K. S. Easwarakumar, Richard Chbeir	Enabling Dynamic Content Adaptation in Distributed Multimedia Systems.	ICDIM	2006	DBLP DOI BibTeX RDF
5	T. S. Balaji, Brian Landers, Jesse Kates, Bob Moritz	A carrier's perspective on creating a mobile multimedia service.	Commun. ACM	2005	DBLP DOI BibTeX RDF
5	Kyu-Nam Lee, Jong-Un Yang, Hyun-Tae Kim, In-Ho Ra, Hyung-Jin Kim, Young-Ho Nam, Sang-Hyun Bae	A Design of Presentation System for Interactive Multimedia Contents Based on Event-Driven Processing Model.	Human.Society@Internet	2005	DBLP DOI BibTeX RDF
5	Tao Wang, Abhik Roychoudhury, Roland H. C. Yap, S. C. Choudhary	Symbolic Execution of Behavioral Requirements.	PADL	2004	DBLP DOI BibTeX RDF
5	Kaliappa Nadar Ravindran, Ali Sabbir	Event-based Programming Structures for Multimedia Information Flows.	MMNS	2004	DBLP DOI BibTeX RDF
5	Paul Graham	Don't make the wrong mistakes: programming as debugging.	ICFP	2004	DBLP DOI BibTeX RDF
5	Richard Hull 0001, Bharat Kumar, Daniel F. Lieuwen	Towards Federated Policy Management.	POLICY	2003	DBLP DOI BibTeX RDF
5	Masahiro Sasabe, Naoki Wakamiya, Masayuki Murata 0001, Hideo Miyahara	Scalable and Continuous Media Streaming on Peer-to-Peer Networks.	Peer-to-Peer Computing	2003	DBLP DOI BibTeX RDF
5	Sia Siew Kien, May Tang, Christina Soh, Wai Fong Boh	Enterprise resource planning (ERP) systems as a technology of power: empowerment or panoptic control?	Data Base	2002	DBLP DOI BibTeX RDF	organizational control, panopticon, enterprise resource planning (ERP), enterprise system, empowerment
5	Nadeem Aboobaker, David Chanady, Mario Gerla, M. Y. Sanadidi	Streaming Media Congestion Control Using Bandwidth Estimation.	MMNS	2002	DBLP DOI BibTeX RDF
5	Mario Zühlke, Hartmut König	Voting Based Bandwidth Management in Multiparty Video Conferences.	IDMS/PROMS	2002	DBLP DOI BibTeX RDF	multiparty conferences, closed groups, voting procedures, QoS, Video conferencing, bandwidth management
5	Guan Y. Hong, Alvis Cheuk M. Fong, Bernard Fong	QoS Control for Internet Delivery of Video Data.	ITCC	2002	DBLP DOI BibTeX RDF	Video Data Transmission, Quality of Service, Internet, Communications
5	Grantley Day	Online Games: Crafting Persistent-State Worlds.	Computer	2001	DBLP DOI BibTeX RDF
5	Stephan Olbrich, Helmut Pralle, S. Raasch	Using Streaming and Parallelization Techniques for 3D Visualization in a High-Performance Computing and Networking Environment.	HPCN	2001	DBLP DOI BibTeX RDF
5	Lihao Xu	Efficient and scalable on-demand data streaming using UEP codes.	ACM Multimedia	2001	DBLP DOI BibTeX RDF	UEP code, on-demand streaming data, scalability, multicast, efficiency
5	Gabriel-Miro Muntean, Liam Murphy 0001	Feedback-Controlled Traffic Shaping for Multimedia Transmissions in a Real-Time Client-Server System.	ICN (1)	2001	DBLP DOI BibTeX RDF
5	Nikitas M. Sgouros, Stavros Sotirchos	Determining the Visual Interpretation of Actions in Multimedia Presentations of Interactive Stories.	J. Intell. Robotic Syst.	1999	DBLP DOI BibTeX RDF	interactive entertainment systems, computer games, multimedia systems
5	Wayne D. Gray, Philippe A. Palanque, Fabio Paternò	Introduction to the special issue on interface issues and designs for safety-critical interactive systems: when there is no room for user error.	ACM Trans. Comput. Hum. Interact.	1999	DBLP DOI BibTeX RDF