conf/si3d/RaskarC99:::Ramesh Raskar::Michael Cohen:::Image precision silhouette edges.
conf/si3d/AliagaCWBZEHHSBWBM99:::Daniel G. Aliaga::Jon Cohen::Andrew Wilson::Eric Baker::Hansong Zhang::Carl Erikson::Kenneth E. Hoff III::Tom Hudson::Wolfgang Stürzlinger::Rui Bastos::Mary C. Whitton::Frederick P. Brooks Jr.::Dinesh Manocha:::MMR: an interactive massive model rendering system using geometric and image-based acceleration.
conf/seal/Gero98:::John S. Gero:::Novel Models in Evolutionary Designing.
conf/seal/SeoC98:::Yeon-Gyu Seo::Sung-Bae Cho:::An Evolutionary Study on Cooperation in N-person Iterated Prisoner's Dilemma Game.
conf/seal/NakaoTC96:::Zensho Nakao::Midori Takashibu::Yen-Wei Chen:::Evolutionary CT Image Reconstruction by Image Partitioning.
conf/seal/SasakiT98:::Takahiro Sasaki::Mario Tokoro:::Adaptation under Changing Environments with Various Rates of Inheritance of Acquired Characters: Comparison between Darwinian and Lamarckian Evolution.
conf/seal/OdaIKU98:::Sobei H. Oda::Kouhei Iyori::Miura Ken::Kanji Ueda:::The Application of Cellular Automata to the Consumer's Theory: Simulating a Duopolistic Market.
conf/seal/ShimookaF98:::Hiroaki Shimooka::Yoshiji Fujimoto:::Generating Equations with Genetic Programming for Control of a Movable Inverted Pendulum.
conf/seal/TakeuchiF96:::Ichiro Takeuchi::Takeshi Furuhashi:::An Inference Method Using Multiple Patterns and Modification of Pattern Space.
conf/sebd/BertinoFM03:::Elisa Bertino::S. Franzoni::Marco Mesiti:::Memorizzazione di regole per l'instradamento di messaggi in un sistema di comunicazione universale.
conf/sebd/DamianiOQT01:::Ernesto Damiani::Barbara Oliboni::Elisa Quintarelli::Letizia Tanca:::Temporal Aspects of Semistructured Data.
conf/sebd/ColomboFP03:::Enzo Colombo::Chiara Francalanci::Barbara Pernici:::Modeling Business Transactions as e-Services.
conf/sebd/ClementiniF94:::Eliseo Clementini::Paolino Di Felice:::Topology in an O-O GIS.
conf/sebd/CaliC01:::Andrea Calì::Diego Calvanese:::Optimizing Query Planning with Limited Source Capabilities in the Presence of Inclusion and Functional Dependencies.
conf/sebd/CannataroLMPS95:::Mario Cannataro::A. Limongiello::Tommaso Mostardi::Antonella Pelaggi::Carlo Siciliano:::Un'esperienza di Gestione di Copie in un Ambiente di Basi di Dati Distribuite ed Eterogenee.
conf/sebd/GrumbachT01:::Stéphane Grumbach::Leonardo Tininini:::Automatic Aggregation Using Explicit Metadata.
conf/sebd/BaralisCMPRR97:::Elena Baralis::Stefano Ceri::Rosa Meo::Giuseppe Psaila::Marco Richeldi:::Amore: An Integrated Environment for Database Mining.
conf/sebd/DohnalGSZ01:::Vlastislav Dohnal::Claudio Gennaro::Pasquale Savino::Pavel Zezula:::Separable Splits of Metric Data Sets.
conf/sebd/OrsiniC02:::Renzo Orsini::Augusto Celentano:::A Workbench for Prototyping XML Data Exchange.
conf/sebd/DamianiT00:::Ernesto Damiani::Letizia Tanca:::Blind queries to XML data.
conf/sebd/MissierB03:::Paolo Missier::Carlo Batini:::A model for Information Quality management in Cooperative Information Systems.
conf/sebd/ClementiniFG97:::Eliseo Clementini::Paolino Di Felice::Ivan Gargaro:::Controllo dell'Integrita` Topologica in Basi di Dati Spaziali a seguito di Operazioni di Generalizzazione.
conf/sebd/GolfarelliMR99:::Matteo Golfarelli::Dario Maio::Stefano Rizzi:::Vertical Fragmentation of Views in Relational Data Warehouses.
conf/sebd/SantisSC03:::L. De Santis::Monica Scannapieco::Tiziana Catarci:::A Trust Model for Tightly Coupled P2P Systems.
conf/sebd/LeoneMMS93:::Nicola Leone::Fabio Messina::Tommaso Mostardi::Carlo Siciliano:::Sincronizzazione e Ripristino di Transazioni Distribuite in un Sistema Multidatabase.
conf/sebd/RizzoV95:::Stefano Rizzo::Giovanna Vantini:::GOAL: The Challenge of High-Performance in GIS.
conf/sebd/BeneventanoBGV01:::Domenico Beneventano::Sonia Bergamaschi::Francesco Guerra::Maurizio Vincini:::Exploiting Extensional Knowledge for Query Reformulation and Object Fusion in a Data Integration System.
conf/sebd/PalopoliT93:::Luigi Palopoli::Riccardo Torlone:::Actions and Transactions on Complex Objects.
conf/sebd/LugliNST94:::Marco Lugli::Luca Nini::Silvio Salza::Mario Terranava:::A Prototype System for the Efficient Support of Object Oriented Database Applications.
conf/sebd/GottlobLS01:::Georg Gottlob::Nicola Leone::Francesco Scarcello:::Robbers, Marshals, and Guards: Game Theoretic and Logical Characterizations of Hypertree Width.
conf/sebd/RaffaeteaRT02:::Alessandra Raffaetà::Chiara Renso::Franco Turini:::Qualitative Reasoning in a Spatio-Temporal Language.
conf/sebd/Nanni02:::Mirco Nanni:::Distances for Spatio-Temporal Clustering.
conf/sebd/MissikoffT03:::Michele Missikoff::Francesco Taglino:::The Architecture of Harmonise: an Ontology-based Platform for Semantic Interoperability.
conf/sebd/AtzeniCM96:::Paolo Atzeni::Luca Cabibbo::Giansalvatore Mecca:::Cooperazione di basi di dati autonome: criteri di classificazione e strumenti di middleware.
conf/sebd/AtzeniPT95:::Paolo Atzeni::Alessandro Paci::Riccardo Torlone:::Schema Translation Server: uno Strumento per la Traduzione di Schemi Concettuali Eterogenei.
conf/sebd/CastanoAVM00:::Silvana Castano::Valeria De Antonellis::Sabrina De Capitani di Vimercati::Michele Melchiori:::A uniform framework for Web data modeling and integration.
conf/sebd/MalerbaACV02:::Donato Malerba::Annalisa Appice::Michelangelo Ceci::Nicola Vacca:::Mining Classification and Association Rules in Geographical Data with SDMOQL.
conf/sefm/NgB03:::Muan Yong Ng::Michael J. Butler:::Towards Formalizing UML State Diagrams in CSP.
conf/seke/BandiniPMM02:::Stefania Bandini::Flavio De Paoli::Sara Manzoni::Paolo Mereghetti:::A support system to COTS-based software development for business services.
conf/seke/BarbutiTBF02:::Roberto Barbuti::Luca Tesei::Cinzia Bernardeschi::Nicoletta De Francesco:::Fixing the Java bytecode verifier by a suitable type domain.
conf/seke/OrjiN96:::Cyril U. Orji::Kingsley C. Nwosu:::Data Layout for Interactive Video-on-Demand Storage Systems.
conf/seke/BirkK99:::Andreas Birk::Felix Kröschel:::A Knowledge Management Lifecycle for Experience Packages on Software Engineering Technologies.
conf/seke/Berzins96:::Valdis Berzins:::Recombining Changes to Software Specifications.
conf/seke/CalvaneseCLS02:::Diego Calvanese::Tiziana Catarci::Maurizio Lenzerini::Giuseppe Santucci:::The multilingual thesaurus of LAURIN.
conf/seke/TepfenhartRW02:::William M. Tepfenhart::Daniela Rosca::Daniel Woolley:::A product focused, layered software development framework.
conf/seke/GrutznerAP02:::Ines Grützner::Niniek Angkasaputra::Dietmar Pfahl:::A systematic approach to produce small courseware modules for combined learning and knowledge management environements.
conf/seke/ChungC02:::Lawrence Chung::Kendra Cooper:::A knowledge-based COTS-aware requirements engineering approach.
conf/seke/GriffithsHLO02:::G. Griffiths::B. D. Hebbron::M. A. Lockyer::B. J. Oates:::A simple method &amp; tool for web engineering.
conf/seke/BroomeR99:::Mikael Broomé::Per Runeson:::Technical Requirements for the Implementation of an Experience Base.
conf/seke/KimSK96:::Han Gyoo Kim::Young-Chul Shim::Moon-hae Kim:::Relationship Between Communication Capability and Goal Achievement in System of Agents.
conf/seke/IzumiK96:::Naoko Izumi::Takuya Katayama:::An Object Logic for Object Base Capable of Version Management.
conf/seke/KramerK96:::Bernd J. Krämer::Thomas Koch:::Knowledge-Based Support for Distributed Systems Management.
conf/seke/DonzelliS02:::Paolo Donzelli::Roberto Setola:::Handling the knowledge acquired during the requirements engineering process: a case study.
conf/seke/Gentleman96:::W. Morven Gentleman:::Challenges in Deploying Software: Rollout, Field Support, Upgrades.
conf/seke/Oussalah02:::Mourad Oussalah:::Component-oriented KBS.
conf/seke/ZhangZ96:::Kang Zhang::Da-Qian Zhang:::Developing Visual Languages Through an Evolving Method.
conf/seke/CiancariniCM96:::Paolo Ciancarini::Stelvio Cimato::Cecilia Mascolo:::Engineering Formal Requirements: Analysis and Testing.
conf/seke/AnzbockDG02:::Rainer Anzböck::Schahram Dustdar::Harald Gall:::Software configuration, distribution, and deployment of web-services.
conf/seke/ChangW96:::Chia-Yo Chang::Jason Tsong-Li Wang:::Scientific Data Mining: A Case Study.
conf/serp/ChoL03:::Jae-kyu Cho::Sung Jong Lee:::An Evaluation Model for Software Quality Improvement.
conf/serp/Barth03:::Michael Barth:::Performance Assessment of Software Models in a Configurable Environment Simulator.
conf/serp/AjilaX03:::Samuel Ajila::Peng Xie:::DPET - A Simple C++ Design Pattern Extraction Tool.
conf/serp/TabelingG03:::Peter Tabeling::Bernhard Gröne:::Mappings between Object-Oriented Technology and Architecture-Based Models.
conf/serp/KhanW03:::Sohel Khan::Abdul Waheed:::Modeling and Formal Verification of IMPP.
conf/serp/KoKLL03:::Sang-Pok Ko::Kang-Tae Kim::Hyun-Dong Lee::Kyung-Whan Lee:::A Study on the Measurement for Embedded Software.
conf/serp/BauerB03:::Michael A. Bauer::Don Bourne:::A Methodology for Assuring Quality Logging Practices in Electronic Commerce Systems.
conf/serp/ChangCEM03:::Elizabeth Chang::Catherine Colman::Wan Ee::Mirka Miller:::Comparison of Industry-Sited Projects and University-Sited Projects for Final Year Students.
conf/serp/HerzwurmSDB03:::Georg Herzwurm::Sixten Schockert::Ulrike Dowie::Michael Breidung:::Requirements Engineering for Application Development in Volatile Project Environments Using Continuous Quality Function Deployment (CQFD).
conf/serp/HutchinsonKS03:::John Hutchinson::Gerald Kotonya::Peter Sawyer:::Understanding the Impact of Change in COTS-Based Systems.
conf/serp/Hesson03:::Mihyar Hesson:::State of the Art End-Of-Time Tester.
conf/serp/Wheeler03:::Thomas J. Wheeler:::Object Oriented Requirements Engineering for Multidiscipline Systems.
conf/serp/KorthausM03:::Axel Korthaus::Matthias Merz:::A Critical Analysis of JDO in the Context of J2EE.
conf/serp/SantosS03:::Cristina Paludo Santos::Denílson Rodrigues da Silva:::InterCase: An Environment for Prototyping User Interfaces.
conf/serp/Skoglund03:::Mats Skoglund:::Practical Use of Encapsulation in Object-Oriented Programming.
conf/serp/LouisMHHW03:::Sushil J. Louis::John McDonnell::Doan Hohmeyer::Lisa Heinselman::Andrew Walker:::A Case Study in Object Oriented Modeling, Arhchitecting, and Designing an Enterprise Monitoring Application.
conf/serp/HanLK03:::Hyoun-Goun Han::Myung-Jin Lee::Byung-Ug Kang:::A Method of Software Development Using BizWiz that Supports Automated Generation Systems.
conf/serp/LeeYCK03:::Chang-Mog Lee::Cheol-Jung Yoo::Ok-Bae Chang::In-Su Kim:::Form-Based Object Analysis Process by Applying Reverse Engineering in Legacy Application Systems.
conf/setn/MaragoudakisTFA02:::Manolis Maragoudakis::Nikolaos K. Tselios::Nikos Fakotakis::Nikolaos M. Avouris:::Improving SMS Usability Using Bayesian Networks.
conf/setn/MylopoulosKG02:::John Mylopoulos::Manuel Kolp::Paolo Giorgini:::Agent-Oriented Software Development.
conf/setn/SigletosPK02:::Georgios Sigletos::Georgios Paliouras::Vangelis Karkaletsis:::Role Identification from Free Text Using Hidden Markov Models.
conf/setn/VassilasMCKRMP02:::Nikolaos Vassilas::George Miaoulis::Dionysios Chronopoulos::Elias Konstantinidis::Ioanna Ravani::Dimitrios Makris::Dimitri Plemenos:::MultiCAD-GA: A System for the Design of 3D Forms Based on Genetic Algorithms and Human Evaluation.
conf/seuh/Raasch93:::Jörg Raasch:::Einleitung zum Workshop SEUH'93.
conf/seuh/Paech94:::Barbara Paech:::Ein Vorschlag zur Integration der Software Engineering Ausbildung in das Informatik- Studium.
conf/seuh/CarlsR93:::Helga Carls::Jörg Raasch:::Der Unterschied zwischen Theorie und Praxis - Vorlesung und Praktikum "Software-Engineering".
conf/seuh/Dumke93:::Reiner R. Dumke:::Evolutionäre Software-Systementwicklung am Beispiel der Lehrveranstaltung "Software-Technik" selbst.
conf/seuh/Kneuper94:::Ralf Kneuper:::Anforderungen an den Unterricht der Hochschulen im Fach Software Engineering aus Sicht eines Softwarehauses.
conf/seuh/BartschBHP95:::Wolfgang Bartsch::Klaus Bergner::Rudolf Hettler::Barbara Paech:::Studenten Entwickeln Universelles Hochschulinformationssystem: Erfahrungen aus einem Softwaretechnik-Praktikum.
conf/seuh/Schneider92:::Kurt Schneider:::Aufbau und Einbettung des SE-Unterrichts (Sitzungsbericht).
conf/rtas/ArcherH96:::Myla Archer::Constance L. Heitmeyer:::Mechanical verification of timed automata: a case study.
conf/rtas/SchneiderCP95:::Stanley A. Schneider::Vincent W. Chen::Gerardo Pardo-Castellote:::ControlShell: component-based real-time programming.
conf/rtas/LiuM99:::Guangtian Liu::Aloysius K. Mok:::Implementation of JEM - A Java Composite Event Package.
conf/rtas/HealySRW98:::Christopher A. Healy::Mikael Sjödin::Viresh Rustagi::David B. Whalley:::Bounding Loop Iterations for Timing Analysis.
conf/rtas/SokolskyYLKZ98:::Oleg Sokolsky::Mohamed F. Younis::Insup Lee::Hee-Hwan Kwak::Jeff Zhou:::Verification of the Redundancy Management System for Space Launch Vehicle: A Case Study.
conf/rtas/WestS01:::Richard West::Karsten Schwan:::Quality Events: A Flexible Mechanism for Quality of Service Management.
conf/rtas/YuenLC01:::Joe Yuen::Kam-yiu Lam::Edward Chan:::Adaptive Buffer Sensitive Scheduling for Transmitting Video Streams in a Mobile Multimedia System.
conf/rtas/SchmidtMFG98:::Douglas C. Schmidt::Sumedh Mungee::Sergio Flores-Gaitan::Aniruddha S. Gokhale:::Alleviating Priority Inversion and Non-Determinism in Real-Time CORBA ORB Core Architectures.
conf/rtas/Engblom03:::Jakob Engblom:::Analysis of the Execution Time Unpredictability caused by Dynamic Branch Prediction.
conf/rtas/JonesR99:::Michael B. Jones::John Regehr:::The Problems You're Having May Not Be the Problems You Think You're Having: Results from a Latency Study of Windows NT.
conf/rtas/PunnekkatHN00:::Sasikumar Punnekkat::Hans Hansson::Christer Norström:::Response Time Analysis under Errors for CAN.
conf/rtas/StorchL96:::Matthew F. Storch::Jane W.-S. Liu:::DRTSS: a simulation framework for complex real-time systems.
conf/rtas/PisharathJC03:::Jayaprakash Pisharath::Nan Jiang::Alok N. Choudhary:::Evaluation of Application-aware Heterogeneous Embedded Systems for Performance and Energy Consumption.
conf/rtas/RegehrS01:::John Regehr::John A. Stankovic:::Augmented CPU Reservations: Towards Predictable Execution on General-Purpose Operating System.
conf/rtas/RiceC99:::Lorraine E. P. Rice::Albert Mo Kim Cheng:::Timing Analysis of the X-38 Space Station Crew Return Vehicle Avionics.
conf/rtas/MiyoshiR01:::Akihiko Miyoshi::Ragunathan Rajkumar:::Protecting Resources with Resource Control Lists.
conf/rtas/LamLH95:::Kwok-Wa Lam::Kam-yiu Lam::Sheung-lun Hung:::Real-time optimistic concurrency control protocol with dynamic adjustment of serialization order.
conf/rtas/WisniewskiS95:::Robert W. Wisniewski::Luis F. Stevens:::A model and tools for supporting parallel real-time applications in Unix environments.
conf/rtas/CorsaroS02:::Angelo Corsaro::Douglas C. Schmidt:::Evaluating Real-Time Java Features and Performance for Real-Time Embedded Systems.
conf/rtas/DuoLW97:::Tei-Wei Kuo::Doug Locke::Farn Wang:::Error Propagation Analysis of Real-Time Data Intensive Applications.
conf/rtas/LipariB01:::Giuseppe Lipari::Sanjoy K. Baruah:::A Hierarchical Extension to the Constant Bandwidth Server Framework.
conf/rtas/ShuSS02:::LihChyun Shu::John A. Stankovic::Sang Hyuk Son:::Achieving Bounded and Predictable Recovery using Real-Time Logging.
conf/rtas/RyuPH99:::Minsoo Ryu::Jungkeun Park::Seonsoo Hong:::Timing Constraint Remapping to Avoid Time Discontinuities in Distributed Real-Time Systems.
conf/rtas/StankovicZPLYHE03:::John A. Stankovic::Ruiqing Zhu::Ram Poornalingam::Chenyang Lu::Zhendong Yu::Marty Humphrey::Brian Ellis:::VEST: An Aspect-Based Composition Tool for Real-Time Systems.
conf/rtas/ShankarML99:::Mallikarjun Shankar::Miguel De Miguel::Jane W.-S. Liu:::An End-to-End QoS Management Architecture.
conf/rtas/ShenoyHKR02:::Prashant J. Shenoy::Saif Hasan::Purushottam Kulkarni::Krithi Ramamritham:::Middleware versus Native OS Support: Architectural Considerations for Supporting Multimedia Applications.
conf/rtdb/KaoC01:::Ben Kao::Reynold Cheng:::Disk Scheduling.
conf/rtdb/HongCJ96:::D. Hong::Sharma Chakravarthy::Theodore Johnson:::Locking Based Concurrency Control for Integrated Real-Time Database Systems.
conf/rtdb/VrbskyTJ97:::Susan V. Vrbsky::Sasa Tomic::Nenad Jukic:::Concurrency Control for Approximate Query Processing of Real-Time Database Systems.
conf/rtse/AstesianoR97:::Egidio Astesiano::Gianna Reggio:::A Discipline for Handling Feature Interaction.
conf/rtse/Bjorner97:::Dines Bjørner:::Domains as a Prerequisite for Requirements and Software Domain Perspectives &amp; Facets, Requirements Aspects and Software Views.
conf/rtse/KamstiesR97:::Erik Kamsties::H. Dieter Rombach:::A Framework for Evaluating System and Software Requirements Specification Approaches.
conf/rtse/GhezziV97:::Carlo Ghezzi::Giovanni Vigna:::Software Engineering Issues for Network Computing.
conf/sisw/WongWW02:::Theodore M. Wong::Chenxi Wang::Jeannette M. Wing:::Verifiable Secret Redistribution for Archive System.
conf/rtss/Dean02:::Alexander G. Dean:::Compiling for Fine-Grain Concurrency: Planning and Performing Software Thread Integration.
conf/rtss/MuntzH89:::Alice H. Muntz::Ellis Horowitz:::A Framework for Specification and Design of Software for Advanced Sensor Systems.
conf/rtss/BiyabaniSR88:::Sara R. Biyabani::John A. Stankovic::Krithi Ramamritham:::The Integration of Deadline and Criticalness in Hard Real-Time Scheduling.
conf/rtss/SpuriB94:::Marco Spuri::Giorgio C. Buttazzo:::Efficient Aperiodic Service Under Earliest Deadline Scheduling.
conf/rtss/CohenJ81:::Danny Cohen::S. Lennart Johnsson:::A Mathematical Approach to the Design of VLSI Networks for Real-Time Computation Problems.
conf/rtss/Olson86:::Robert Olson:::Realtime Response on a Message Based Multiprocessor.
conf/rtss/AnC85:::Jung M. An::Wesley W. Chu:::A Resilient Commit Protocol for Real Time Systems.
conf/rtss/Liu99:::C. L. Liu:::From Time Sharing to Real Time-Sharing of a Really Good Time in the Last 40 Years.
conf/rtss/WangL94:::Kai Wang::Tein-Hsiang Lin:::Scheduling Adaptive Tasks in Real-Time Systems.
conf/rtss/LehoczkySD89:::John P. Lehoczky::Lui Sha::Y. Ding:::The Rate Monotonic Scheduling Algorithm: Exact Characterization and Average Case Behavior.
conf/rtss/LeeG85:::Insup Lee::Vijay Gehlot:::Language Constructs for Distributed Real-Time Programming.
conf/rtss/KuoM91:::Tei-Wei Kuo::Aloysius K. Mok:::Load Adjustment in Adaptive Real-Time Systems.
conf/rtss/RajuRJ92:::Sitaram C. V. Raju::Ragunathan Rajkumar::Farnam Jahanian:::Monitoring Timing Constraints in Distributed Real-Time Systems.
conf/rtss/MokS85:::Aloysius K. Mok::Supoj Sutanthavibul:::Modeling and Scheduling of Dataflow Real-Time Systems.
conf/rtss/NgSZ97:::Joseph Kee-Yin Ng::Shibin Song::Wei Zhao:::Integrated delay analysis of regulated ATM switch.
conf/rtss/CarmoVJ94:::Rosa M. L. R. Carmo::Francisco Vasques::Guy Juanole:::Real-Time Communication Services in a DQDB Network.
conf/rtss/ThomadakisL99:::Michael E. Thomadakis::Jyh-Charn Liu:::On the Efficient Scheduling of Non-Periodic Tasks in Hard Real-Time Systems.
conf/rtss/LeungW90:::Joseph Y.-T. Leung::C. S. Wong:::Minimizing the Number of Late Tasks with Error Constraint.
conf/rtss/SchultzB81:::David E. Schultz::Stanley K. Brown:::On-Line Replacement of a Particle Accelerator Control Computer.
conf/rtss/ClementsHLR93:::Paul C. Clements::Constance L. Heitmeyer::Bruce G. Labaw::A. T. Rose:::MT: A Toolset for Specifying and Analyzing Real-Time Systems.
conf/rtss/JensenLT85:::E. Douglas Jensen::C. Douglas Locke::Hideyuki Tokuda:::A Time-Driven Scheduling Model for Real-Time Operating Systems.
conf/rtss/Rhee96:::Injong Rhee:::Optimizing a FIFO, scalable spin lock using consistent memory.
conf/rtss/CaccamoB97:::Marco Caccamo::Giorgio C. Buttazzo:::Exploiting skips in periodic tasks for enhancing aperiodic responsiveness.
conf/rtss/DavidCN01:::L. David::F. Cottet::N. Nissanke:::Jitter Control in On-Line Scheduling of Dependent Real-Time Tasks.
conf/rtss/AudsleyW96:::Neil C. Audsley::Andy J. Wellings:::Analysing APEX applications.
conf/rtss/YounisMS94:::Mohamed F. Younis::Thomas J. Marlowe::Alexander D. Stoyenko:::Compiler Transformations for Speculative Execution in a Real-Time System.
conf/rtss/WeddeAKK88:::Horst Wedde::Ghasem S. Alijani::Gookhai Kang::Bo-Kyung Kim:::MELODY: A Distributed Real-Time Testbed for Adaptive Systems.
conf/rtss/AydiMMM01:::Hakan Aydi::Pedro Mejía-Alvarez::Daniel Mossé::Rami G. Melhem:::Dynamic and Aggressive Scheduling Techniques for Power-Aware Real-Time Systems.
conf/rtss/Martinez98:::David Martinez:::Future Challenges in the Development of Real-Time High Performance Embedded Systems.
conf/rtss/BhattGR87:::Devesh Bhatt::Adel Ghonami::Ranga Ramanujan:::An Instrumental Testbed for Real-Time Distributed Systems Development.
conf/rtss/KamenoffW91:::Nick I. Kamenoff::Nelson H. Weiderman:::Hartstone Distributed Benchmark: Requirements and Definitions.
conf/rtss/GerberHS94:::Richard Gerber::Seongsoo Hong::Manas Saksena:::Guaranteeing End-to-End Timing Constraints by Calibrating Intermediate Processes.
conf/rtss/OpperM82:::Eli Opper::Miroslaw Malek:::Real-Time Diagnosis of Banyan Networks.
conf/rtss/TilborgJ81:::André M. van Tilborg::Thomas J. Jasinski:::Fault-Tolerance of Radiation Disturbed Multi-Microprocessors.
conf/rtss/NataleS94:::Marco Di Natale::John A. Stankovic:::Dynamic End-to-End Guarantees in Distributed Real Time Systems.
conf/rtss/GilliesL89:::Donald W. Gillies::Jane W.-S. Liu:::Greed in Resource Scheduling.
conf/rtss/Ferran81:::Guy Ferran:::Distributed Checkpointing in a Distributed Data Management System.
conf/rtss/RoweP87:::P. Kim Rowe::B. Pagurek:::Remedy: A Real-Time, Multiprocessor, System Level Debugger.
conf/rtss/HuangLH96:::Tai-Yi Huang::Jane W.-S. Liu::David Hull:::A Method for Bounding the Effect of DMA I/O Interference on Program Execution Time.
conf/rtss/NarayanaA88:::K. T. Narayana::A. A. Aaby:::Specification of Real-Time Systems in Real-Time Temporal Interval Logic.
conf/rtss/AnderssonBJ01:::Björn Andersson::Sanjoy K. Baruah::Jan Jonsson:::Static-Priority Scheduling on Multiprocessors.
conf/rtss/BouajjaniTY97:::Ahmed Bouajjani::Stavros Tripakis::Sergio Yovine:::On-the-fly symbolic model checking for real-time systems.
conf/rtss/FaustiniL85:::A. A. Faustini::Edgar B. Lewis:::A Declarative Language for the Specification of Real Time Systems.
conf/rtss/HanssonJ90:::Hans Hansson::Bengt Jonsson:::A Calculus for Communicating Systems with Time and Probabitilies.
conf/rtss/ButtazzoLA98:::Giorgio C. Buttazzo::Giuseppe Lipari::Luca Abeni:::Elastic Task Model for Adaptive Rate Control.
conf/rtss/WashabaughK90:::Douglas Washabaugh::Dennis G. Kafura:::Incremental Garbage Collection of Concurrent Objects for Real-Time Applications.
conf/rtss/AlurKV98:::Rajeev Alur::Robert P. Kurshan::M. Viswanathan:::Membership Questions for Timed and Hybrid Automata.
conf/rtss/DiazGKLBLMM02:::José Luis Díaz::Daniel F. García::Kanghee Kim::Chang-Gun Lee::Lucia Lo Bello::José María López::Sang Lyul Min::Orazio Mirabella:::Stochastic Analysis of Periodic Real-Time Systems.
conf/rtss/HongQPS98:::Inki Hong::Gang Qu::Miodrag Potkonjak::Mani B. Srivastava:::Synthesis Techniques for Low-Power Hard Real-Time Systems on Variable Voltage Processors.
conf/rtss/BelzileCMM86:::Chantal Belzile::Michael F. Coulas::Glenn H. MacEwen::Genevieve Marquis:::RNet: A Hard Real-Time Distributed Programming System.
conf/rtss/El-khouryT01:::Jad El-khoury::Martin Törngren:::Towards a Toolset for Architectural Design of Distributed Real-Time Control Systems.
conf/rtss/PalmerS82:::D. F. Palmer::R. L. Stone:::Real-Time System Design, Sizing, and Simulation Using DSIGNR.
conf/rtss/Jeffay92:::Kevin Jeffay:::Scheduling Sporadic Tasks with Shared Resources in Hard-Real-Time Systems.
conf/rtss/SongNT99:::Shibin Song::Joseph Kee-Yin Ng::Bihai Tang:::Efficient Delay Computation Methods for an ATM Network with Real-Time Video Traffic.
conf/rtss/Ramos-ThuelS91:::S. Ramos-Thuel::Jay K. Strosnider:::The Transient Server Approach to Scheduling Time-Critical Recovery Operations.
conf/rtss/Graham93:::Marc H. Graham:::How to Get Serializability for Real-Time Transactions Without Having to Pay for It.
conf/rtss/DavisW95:::Robert Davis::Andy J. Wellings:::Dual Priority Scheduling.
conf/rtss/TyanHWH96:::Hung-Ying Tyan::Chao-Ju Hou::Bin Wang::Ching-Chih Han:::On supporting time-constrained communications in WDMA-based star-coupled optical networks.
conf/rtss/WellingsBP98:::Andy J. Wellings::Ljerka Beus-Dukic::David Powell:::Real-Time Scheduling in a Generic Fault-Tolerant Architecture.
conf/rtss/AndersonBJ99:::James H. Anderson::Sanjoy K. Baruah::Kevin Jeffay:::Parallel Switching in Connection-Oriented Networks.
conf/rtss/KangSS02:::Kyoung-Don Kang::Sang Hyuk Son::John A. Stankovic:::STAR: Secure Real-Time Transaction Processing with Timeliness Guarantees.
conf/rtss/TokudaWW87:::Hideyuki Tokuda::James W. Wendorf::Huay-Yong Wang:::Implementation of a Time-Driven Scheduler for ReaI-Time Operating Systems.
conf/rtss/HabanS89:::Dieter Haban::Kang G. Shin:::Application of Real-Time Monitoring to Scheduling Tasks with Random Execution Times.
conf/rtss/Herrtwich90:::Ralf Guido Herrtwich:::Time Capsules: An Abstraction for Access of Continuous-Media Data.
conf/tacs/Wagner94:::Kim Ritter Wagner:::Abstract Pre-Orders.
conf/tacs/Tsuiki94:::Hideki Tsuiki:::A Normalizing Calculus with Overloading and Subtyping.
conf/tacs/HoweS94:::Douglas J. Howe::Scott D. Stoller:::An Operational Approach to Combining Classical Set Theory and Functional Programming Languages.
conf/tacs/Walker91:::David Walker:::Pi-Calculus Semantics of Object-Oriented Programming Languages.
conf/tacs/Fokkink94:::Wan Fokkink:::The Tyft/Tyxt Format Reduces to Tree Rules.
conf/tacs/Phoa91:::Wesley Phoa:::From Term Models to Domains.
conf/tacs/BonsangueK94:::Marcello M. Bonsangue::Joost N. Kok:::Relating Multifunctions and Predicate Transformers through Closure Operators.
conf/tacs/Sangiorgi94:::Davide Sangiorgi:::Locality and True-concurrency in Calculi for Mobile Processes.
conf/tacs/RabinovichT91:::Alexander Moshe Rabinovich::Boris A. Trakhtenbrot:::On Nets, Algebras and Modularity.
conf/tacs/CartwrightF94:::Robert Cartwright::Matthias Felleisen:::Extensible Denotational Language Specifications.
conf/tacs/Leivant01:::Daniel Leivant:::Termination Proofs and Complexity Certification.
conf/tacs/PeronM94:::Adriano Peron::Andrea Maggiolo-Schettini:::Transitions as Interrupts: A New Semantics for Timed Statecharts.
conf/tacs/AikenWP97:::Alexander Aiken::Edward L. Wimmers::Jens Palsberg:::Optimal Representations of Polymorphic Types with Subtyping (Extended Abstract).
conf/tacs/FisherM94:::Kathleen Fisher::John C. Mitchell:::Notes on Typed Object-Oriented Programming.
