Search results for "Sessions"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
28	Pascal Traverse, Isabelle Lacaze, Jean Souyris	Airbus fly-by-wire - A total approach to dependability.	IFIP Congress Topical Sessions	2004	DBLP DOI BibTeX RDF
28	Algirdas Avizienis, Jean-Claude Laprie, Brian Randell	Dependability and its threats - A taxonomy.	IFIP Congress Topical Sessions	2004	DBLP DOI BibTeX RDF
28	Michael S. Slocum	Computer aided comprehensive design for six sigma (DFSS) and axiomatic design (AD) - Computer Aided Performance Excellence (Cape).	IFIP Congress Topical Sessions	2004	DBLP DOI BibTeX RDF
28	Jean-Michel Tanneau	A journey towards an OSS-aware organization.	IFIP Congress Topical Sessions	2004	DBLP DOI BibTeX RDF
28	Takenori Wama, Masayuki Higuchi, Hajime Sakamoto, Ryohei Nakatsu	Realization of tai-chi motion using a humanoid robot - Physical interactions with humanoid robot.	IFIP Congress Topical Sessions	2004	DBLP DOI BibTeX RDF
28	Guy Durrieu, Odile Laurent, Christel Seguin, Virginie Wiels	Formal proof and test case generation for critical embedded systems using SCADE.	IFIP Congress Topical Sessions	2004	DBLP DOI BibTeX RDF
28	Laurence Nigay	Design space for multimodal interaction.	IFIP Congress Topical Sessions	2004	DBLP DOI BibTeX RDF
28	Domenico Beneventano, Sonia Bergamaschi	The MOMIS methodology for integrating heterogeneous data sources.	IFIP Congress Topical Sessions	2004	DBLP DOI BibTeX RDF
28	Denis Sabatier	Reusing formal models - Domain capitalization via formalization.	IFIP Congress Topical Sessions	2004	DBLP DOI BibTeX RDF
28	Algirdas Avizienis	Dependable systems of the future - What is still needed?	IFIP Congress Topical Sessions	2004	DBLP DOI BibTeX RDF
28	Xavier Delgado, Marie-Christine Jené	Running an e-learning Project: Technology, expertise, pedagogy.	IFIP Congress Topical Sessions	2004	DBLP DOI BibTeX RDF
28	Diane Whitehouse	e-Health - Making Healthcare Better for European Citizens: Challenges and Expectations.	IFIP Congress Topical Sessions	2004	DBLP DOI BibTeX RDF
28	Adrian David Cheok, Kok Hwee Goh, Wei Liu 0009, Jason Teo, Sze Lee Teo, Farzam Farbiz, Shang Ping Lee	Connecting the real world and virtual world through gaming.	IFIP Congress Topical Sessions	2004	DBLP DOI BibTeX RDF
28	Luca Simoncini, Felicita Di Giandomenico, Andrea Bondavalli, Silvano Chiaradonna	Architectural challenges for a dependable Information Society.	IFIP Congress Topical Sessions	2004	DBLP DOI BibTeX RDF
28	Raja Chatila 0001	Towards robot companions.	IFIP Congress Topical Sessions	2004	DBLP DOI BibTeX RDF
28	Noel León, Jorge Gutierrez, Oscar Martinez, Carlos Castillo Trujillo	Optimization vs innovation in a CAE environment - Towards a "Computer Aided Inventing" Environment.	IFIP Congress Topical Sessions	2004	DBLP DOI BibTeX RDF
28	Pierre Bieber, Christian Bougnol, Charles Castel, Jean-Pierre Heckmann, Christophe Kehren, Sylvain Metge, Christel Seguin	Safety assessment with AltaRica - Lessons learnt based on two aircraft system studies.	IFIP Congress Topical Sessions	2004	DBLP DOI BibTeX RDF
28	Serge Goiffon, Pierre Gaufillet	Linux: A multi-purpose executive support for civil avionics applications?	IFIP Congress Topical Sessions	2004	DBLP DOI BibTeX RDF
28	Denis Cavallucci, Noel León	Towards "inventiveness-oriented" CAI tools.	IFIP Congress Topical Sessions	2004	DBLP DOI BibTeX RDF
28	Christian Ferdinand, Reinhold Heckmann	aiT: worst case execution time prediction by static program analysis.	IFIP Congress Topical Sessions	2004	DBLP DOI BibTeX RDF
28	Wolfgang Reif, Frank Ortmeier, Andreas Thums, Gerhard Schellhorn	Integrated formal methods for safety analysis of train systems.	IFIP Congress Topical Sessions	2004	DBLP DOI BibTeX RDF
28	Michele Morganti	Communications Dependability Evolution - Between Convergence and Competition.	IFIP Congress Topical Sessions	2004	DBLP DOI BibTeX RDF
28	Emilio Mordini	Global Governance of the Technological Revolution.	IFIP Congress Topical Sessions	2004	DBLP DOI BibTeX RDF
28	Gerhard Sagerer	A Dialog Based Interactive Robot.	IFIP Congress Topical Sessions	2004	DBLP BibTeX RDF
28	Takahiko Ogino	CyberRail - Information Infrastructure for New Intermodal Transport Business Model.	IFIP Congress Topical Sessions	2004	DBLP DOI BibTeX RDF
28	Marie-Luce Bourguet	Software design and development of multimodal interaction.	IFIP Congress Topical Sessions	2004	DBLP DOI BibTeX RDF
28	Henry Thomas	Interaction in a sensitive house - Future room that senses human mood and respond to it.	IFIP Congress Topical Sessions	2004	DBLP DOI BibTeX RDF
28	Shobha Vasudevan, Jacob A. Abraham	Static program transformations for efficient software model checking.	IFIP Congress Topical Sessions	2004	DBLP DOI BibTeX RDF
28	Gérard-Michel Cochard, Daniel Marquie	An e-learning version of the French higher education curriculum: "Computer methods for the companies management".	IFIP Congress Topical Sessions	2004	DBLP DOI BibTeX RDF
28	Hirokazu Ihara, Motohisa Funabashi	Systems approach to computing dependability in and out of Hitachi: Concept, applications and perspective.	IFIP Congress Topical Sessions	2004	DBLP DOI BibTeX RDF
28	Patrick Cousot, Radhia Cousot	Basic concepts of abstract interpretation.	IFIP Congress Topical Sessions	2004	DBLP DOI BibTeX RDF
28	Laurent Mauborgne	Astrée: verification of absence of run-time error.	IFIP Congress Topical Sessions	2004	DBLP DOI BibTeX RDF
28	Quentin Limbourg, Jean Vanderdonckt	Multimodality and context-aware adaptation.	IFIP Congress Topical Sessions	2004	DBLP DOI BibTeX RDF
28	Ying C. (Bob) Yeh	Unique dependability issues for commercial airplane fly by wire systems.	IFIP Congress Topical Sessions	2004	DBLP DOI BibTeX RDF
28	Philippe David, Hélène Waeselynck, Yves Crouzet	Open source software in critical systems: Motivation and challenges.	IFIP Congress Topical Sessions	2004	DBLP DOI BibTeX RDF
28	Jean Souyris	Industrial experience of abstract interpretation-based static analyzers.	IFIP Congress Topical Sessions	2004	DBLP DOI BibTeX RDF
28	Yoshihiro Tohma, Masao Mukaidono	Current research activities on dependable computing and other dependability issues in Japan.	IFIP Congress Topical Sessions	2004	DBLP DOI BibTeX RDF
28	Shigeru Chiba	Is academic open source software dependable?	IFIP Congress Topical Sessions	2004	DBLP DOI BibTeX RDF
28	Philippe Vidal, Julien Broisin, Erik Duval, Stefaan Ternier	Learning objects interoperability: The ARIADNE experience.	IFIP Congress Topical Sessions	2004	DBLP DOI BibTeX RDF
28	Theo C. Giras, Zongli Lin	Stochastic train domain theory framework.	IFIP Congress Topical Sessions	2004	DBLP DOI BibTeX RDF
28	Dines Bjørner	TRain: The Railway domain - A "Grand Challenge" for Computing Science & Transportation Engineering.	IFIP Congress Topical Sessions	2004	DBLP DOI BibTeX RDF
28	Yves Deswarte, David Powell	Intrusion tolerance for Internet applications.	IFIP Congress Topical Sessions	2004	DBLP DOI BibTeX RDF
28	Kerstin Dautenhahn	Roles of robots in human society: Challenges and case studies.	IFIP Congress Topical Sessions	2004	DBLP DOI BibTeX RDF
28	Martin Penicka, Dines Bjørner	From railway resource planning to train operation - a brief survey of complementary formalisations.	IFIP Congress Topical Sessions	2004	DBLP DOI BibTeX RDF
28	Gaetano Cascini	State-of-the-art and Trends of Computer-Aided Innovation Tools - Towards the integration within the Product Development Cycle.	IFIP Congress Topical Sessions	2004	DBLP DOI BibTeX RDF
28	Neil C. Audsley, Iain Bate, Steven Crook-Dawkins, John A. McDermid	Improving certification capability through automatic code generation.	IFIP Congress Topical Sessions	2004	DBLP DOI BibTeX RDF
28	Sergei Ikovenko	TRIZ and Computer Aided Inventing.	IFIP Congress Topical Sessions	2004	DBLP DOI BibTeX RDF
28	Oussama Khatib, James Warren, Vincent De Sapio, Luis Sentis	Human-like motion from physiologically-based potential field.	IFIP Congress Topical Sessions	2004	DBLP DOI BibTeX RDF
28	Hirochika Inoue	Development of humanoids and new business structure.	IFIP Congress Topical Sessions	2004	DBLP DOI BibTeX RDF
28	Patrick Ziegler, Klaus R. Dittrich	Three decades of data integration - All problems solved?	IFIP Congress Topical Sessions	2004	DBLP DOI BibTeX RDF
28	Ravishankar K. Iyer, William H. Sanders, Janak H. Patel, Zbigniew Kalbarczyk	The evolution of dependable computing at the University of Illinois.	IFIP Congress Topical Sessions	2004	DBLP DOI BibTeX RDF
28	Ben J. A. Kröse, Ali Taylan Cemgil, Wojciech Zajdel, Zoran Zivkovic	Tracking Humans.	IFIP Congress Topical Sessions	2004	DBLP DOI BibTeX RDF
28	Vijay Masurkar	Perspectives on Computing for Service Providers of Intelligent Environments.	IFIP Congress Topical Sessions	2004	DBLP DOI BibTeX RDF
28	Chantal Reynaud	Building scalable mediator systems.	IFIP Congress Topical Sessions	2004	DBLP DOI BibTeX RDF
28	Naoko Tosa	Storytelling for recreating our selves - Zenetic computer.	IFIP Congress Topical Sessions	2004	DBLP DOI BibTeX RDF
28	Steven P. Miller	Early validation of requirements - A Case Study Using Formal Methods.	IFIP Congress Topical Sessions	2004	DBLP DOI BibTeX RDF
28	Cristina Gacek	An interdisciplinary perspective of dependability in open source software.	IFIP Congress Topical Sessions	2004	DBLP DOI BibTeX RDF
28	Cyrille Comar, Franco Gasperoni	Open source in dependable systems: Current and future business models.	IFIP Congress Topical Sessions	2004	DBLP DOI BibTeX RDF
28	Alistair A. McEwan, J. C. P. Woodcock	A refinement based approach to calculating a fault tolerant railway signal device.	IFIP Congress Topical Sessions	2004	DBLP DOI BibTeX RDF
28	Carl E. Landwehr	Trusting strangers: Open source software and security.	IFIP Congress Topical Sessions	2004	DBLP DOI BibTeX RDF
28	David A. Rennels, Milos D. Ercegovac	From the University of Illinois via JPL and UCLA to Vytautas Magnus University - 50 years of computer engineering by Algirdas Avizienis.	IFIP Congress Topical Sessions	2004	DBLP DOI BibTeX RDF
28	Raja Chatila 0001, Georges Giralt	Social robots: Challenges for machine intelligence - Domain outline, main trends and issues.	IFIP Congress Topical Sessions	2004	DBLP DOI BibTeX RDF
28	Yamine Aït Ameur, Nadjet Kamel	A generic formal specification of fusion of modalities in a multimodal HCI.	IFIP Congress Topical Sessions	2004	DBLP DOI BibTeX RDF
28	Kurt Konolige, Charlie Ortiz, Régis Vincent, Benoit Morisset, Andrew Agno, Michael Eriksen, Dieter Fox, Benson Limketkai, Jonathan Ko, Benjamin Stewart, Dirk Schulz 0001	Centibots: Very Large Scale Distributed Robotic Teams.	IFIP Congress Topical Sessions	2004	DBLP DOI BibTeX RDF
28	Yamine Aït Ameur	Representation of procedural knowledge and its use to compute a form of subsumption.	IFIP Congress Topical Sessions	2004	DBLP DOI BibTeX RDF
28	Jean Souyris, Denis Favre-Felix	Proof of properties in avionics.	IFIP Congress Topical Sessions	2004	DBLP DOI BibTeX RDF
28	Daniel P. Siewiorek, Roy A. Maxion, Priya Narasimhan	Experimental research in dependable computing at Carnegie Mellon University - From Faults to Manifestations.	IFIP Congress Topical Sessions	2004	DBLP DOI BibTeX RDF
28	Guy Pierra	The PLIB ontology-based approach to data integration.	IFIP Congress Topical Sessions	2004	DBLP DOI BibTeX RDF
28	Dave Raggett, Max Froumentin, Philipp Hoschka	Towards multimodal Web interaction - Web pages you can speak to and gesture at.	IFIP Congress Topical Sessions	2004	DBLP DOI BibTeX RDF
28	Rosario Vidal, Elena Mulet, Belinda López-Mesa, M. Jose Bellés, Graham Thompson	Exploring the inclusion of design factors in Computer Aided Inventing.	IFIP Congress Topical Sessions	2004	DBLP DOI BibTeX RDF
28	Penny Duquenoy	Intelligent Ethics.	IFIP Congress Topical Sessions	2004	DBLP DOI BibTeX RDF
28	Viktor Antonov, Nishii Ikuo, Henry LaBounta, Habib Zargarpour	Next gen game visuals: Copyright restrictions prevent ACM from providing the full text for this work.	SIGGRAPH Special Sessions	2004	DBLP DOI BibTeX RDF
28	James Cui	VJ: the art of live video performance: Copyright restrictions prevent ACM from providing the full text for this work.	SIGGRAPH Special Sessions	2004	DBLP DOI BibTeX RDF
28	Perry R. Cook, Curtis Roads, Joe A. Paradiso	Computer music: Copyright restrictions prevent ACM from providing the full text for this work.	SIGGRAPH Special Sessions	2004	DBLP DOI BibTeX RDF
28	Sandy Ressler, Leonard Daly	Real-time 3DX: demo or die: Copyright restrictions prevent ACM from providing the full text for this work.	SIGGRAPH Special Sessions	2004	DBLP DOI BibTeX RDF
28	Terrence Masson	Puppetry and computer graphics: Copyright restrictions prevent ACM from providing the full text for this work.	SIGGRAPH Special Sessions	2004	DBLP DOI BibTeX RDF
26	Luca Ciccone	Concerto Grosso for Sessions: Fair Termination of Sessions.	CoRR	2023	DBLP DOI BibTeX RDF
26	Dan Frumin, Emanuele D'Osualdo, Bas van den Heuvel 0001, Jorge A. Pérez 0001	A bunch of sessions: a propositions-as-sessions interpretation of bunched implications in channel-based concurrency.	Proc. ACM Program. Lang.	2022	DBLP DOI BibTeX RDF
26	Dan Frumin, Emanuele D'Osualdo, Bas van den Heuvel 0001, Jorge A. Pérez 0001	A Bunch of Sessions: A Propositions-as-Sessions Interpretation of Bunched Implications in Channel-Based Concurrency.	CoRR	2022	DBLP DOI BibTeX RDF
26	Julien Leveau	Conduire des sessions de Test Exploratoire, une approche basée sur les données. (Driving exploratory testing sessions, a data-driven approach).		2021	RDF
26	Tai-Quan Peng, Jonathan J. H. Zhu	Mobile Phone Use as Sequential Processes: From Discrete Behaviors to Sessions of Behaviors and Trajectories of Sessions.	J. Comput. Mediat. Commun.	2020	DBLP DOI BibTeX RDF
26	Tai-Quan Peng, Jonathan J. H. Zhu	Mobile Phone Use as Sequential Processes: From Discrete Behaviors to Sessions of Behaviors and Trajectories of Sessions.	CoRR	2019	DBLP BibTeX RDF
26	Hongwei Xi, Hanwen Wu	Linearly Typed Dyadic Group Sessions for Building Multiparty Sessions.	CoRR	2016	DBLP BibTeX RDF
26	Dominic A. Orchard, Nobuko Yoshida	Effects as sessions, sessions as effects.	POPL	2016	DBLP DOI BibTeX RDF
26	Mariam Daoud	Accès personnalisé à l'information : approche basée sur l'utilisation d'un profil utilisateur sémantique dérivé d'une ontologie de domaines à travers l'historique des sessions de recherche. (Personalized information retrieval: Using A Semantic User Profile Inferred from Domain Ontology through the user search sessions).		2009	RDF
26	Tom Mahieu	Mobile Sessions in Heterogeneous Networks (Mobiele sessies in heterogene netwerken) ; Mobile Sessions in Heterogeneous Networks.		2006	RDF
25	Matthew Andrews	Instability of FIFO in the permanent sessions model at arbitrarily small network loads.	ACM Trans. Algorithms	2009	DBLP DOI BibTeX RDF	FIFO scheduling, network stability
25	Sungwon Yi, Xidong Deng, George Kesidis, Chita R. Das	A dynamic quarantine scheme for controlling unresponsive TCP sessions.	Telecommun. Syst.	2008	DBLP DOI BibTeX RDF	Denial-of-Service (DoS) attack, Unresponsive TCP, Quality of service, TCP, Active queue management, Bandwidth sharing
25	Ben Adida	Sessionlock: securing web sessions against eavesdropping.	WWW	2008	DBLP DOI BibTeX RDF	web security
25	Roberto Bruni, Ivan Lanese, Hernán C. Melgratti, Emilio Tuosto	Multiparty Sessions in SOC.	COORDINATION	2008	DBLP DOI BibTeX RDF
25	Augusto Neto 0001, Eduardo Cerqueira, Marília Curado, Edmundo Monteiro, Paulo Mendes 0001	An integrated approach to control the quality level of multi-user sessions.	SimuTools	2008	DBLP DOI BibTeX RDF	QoS mapping, network resource allocation, content distribution, QoS adaptation
25	Marija Kolundzija	Security Types for Sessions and Pipelines.	WS-FM	2008	DBLP DOI BibTeX RDF
25	Hongbin Luo, Lemin Li, Hongfang Yu, Sheng Wang 0006	Achieving Shared Protection for Dynamic Multicast Sessions in Survivable Mesh WDM Networks.	IEEE J. Sel. Areas Commun.	2007	DBLP DOI BibTeX RDF
25	Matthew Andrews	Instability of FIFO in the permanent sessions model at arbitrarily small network loads.	SODA	2007	DBLP BibTeX RDF
25	Athena Stassopoulou, Marios D. Dikaiakos	A Probabilistic Reasoning Approach for Discovering Web Crawler Sessions.	APWeb/WAIM	2007	DBLP DOI BibTeX RDF
25	Vytautas Valancius, Nick Feamster	Multiplexing BGP sessions with BGP-Mux.	CoNEXT	2007	DBLP DOI BibTeX RDF
25	S. M. Sadegh Tabatabaei Yazdi, Serap A. Savari, Kelli Carlson, Gerhard Kramer	The Capacity Region of a Collection of Multicast Sessions in an Undirected Ring Network.	ICPP Workshops	2007	DBLP DOI BibTeX RDF
25	Bruno Tuffin, Patrick Maillé	How Many Parallel TCP Sessions to Open: A Pricing Perspective.	ICQT	2006	DBLP DOI BibTeX RDF
25	Christine Julien 0001, Drew Stovall	Enabling Ubiquitous Coordination Using Application Sessions.	COORDINATION	2006	DBLP DOI BibTeX RDF
25	Xin Zhao 0002, Chun Tung Chou, Jun Guo 0001, Sanjay K. Jha	Protecting Multicast Sessions in Wireless Mesh Networks.	LCN	2006	DBLP DOI BibTeX RDF