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 |
|