Search results for "ISORC"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Antonio Fernández 0001, Ernesto Jiménez, Michel Raynal, Gilles Trédan	A Timing Assumption and a t-Resilient Protocol for Implementing an Eventual Leader Service in Asynchronous Shared Memory Systems.	ISORC	2007	DBLP DOI BibTeX RDF	Timer property, Timing assumptions, Fault-tolerance, Shared memory, System model, Asynchronous system, Process crash, Atomic register, Omega, Eventual leader
1	M. Teresa Higuera-Toledano	Allowing Cycles References among Scoped Memory Areas in the Real-Time Specification of Java.	ISORC	2007	DBLP DOI BibTeX RDF	Java, real-time, memory management
1	Roberto Baldoni, Jean-Michel Hélary, Sara Tucci Piergiovanni	A Component-Based Methodology to Design Arbitrary Failure Detectors for Distributed Protocols.	ISORC	2007	DBLP DOI BibTeX RDF
1	Robert G. Pettit IV, Hassan Gomaa	Analyzing Behavior of Concurrent Software Designs for Embedded Systems.	ISORC	2007	DBLP DOI BibTeX RDF
1	Andy J. Wellings, Alan Burns 0001, Osmar Marchi dos Santos, Benjamin M. Brosgol	Integrating Priority Inheritance Algorithms in the Real-Time Specification for Java.	ISORC	2007	DBLP DOI BibTeX RDF
1	Martin Schoeberl, Hans Søndergaard, Bent Thomsen, Anders P. Ravn	A Profile for Safety Critical Java.	ISORC	2007	DBLP DOI BibTeX RDF
1		Tenth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2007), 7-9 May 2007, Santorini Island, Greece	ISORC	2007	DBLP BibTeX RDF
1	Marco A. Wehrmeister, Edison Pignaton de Freitas, Carlos Eduardo Pereira, Flávio Rech Wagner	An Aspect-Oriented Approach for Dealing with Non-Functional Requirements in a Model-Driven Development of Distributed Embedded Real-Time Systems.	ISORC	2007	DBLP DOI BibTeX RDF
1	K. H. Kim, Juan A. Colmenares, Kee-Wook Rim	Efficient Adaptations of the Non-Blocking Buffer for Event Message Communication between Real-Time Threads.	ISORC	2007	DBLP DOI BibTeX RDF	event message communication, producer-consumer, concurrent programming, real-time computing systems, non-blocking algorithms
1	Min-Gu Lee, Sunggu Lee	Data Dissemination for Wireless Sensor Networks.	ISORC	2007	DBLP DOI BibTeX RDF
1	Stefan Richter 0004, Andreas Rasche, Andreas Polze	Hardware-Near Programming in the Common Language Infrastructure.	ISORC	2007	DBLP DOI BibTeX RDF
1	Franz-Josef Rammig	Engineering Self-Coordinating Real-Time Systems.	ISORC	2007	DBLP DOI BibTeX RDF
1	Cássia Yuri Tatibana, Carlos Montez, Rômulo Silva de Oliveira	Real-Time Dynamic Guarantee in Component-Based Middleware.	ISORC	2007	DBLP DOI BibTeX RDF
1	Julie A. Street, Robert G. Pettit IV, Hassan Gomaa	Independent Model-Driven Software Performance Assessments of UML Designs.	ISORC	2007	DBLP DOI BibTeX RDF
1	Hojung Bang, Tai Hyo Kim, Sung Deok Cha	An Iterative Refinement Framework for Tighter Worst-Case Execution Time Calculation.	ISORC	2007	DBLP DOI BibTeX RDF
1	Kleanthis C. Thramboulidis, George S. Doukas, Giannis V. Koumoutsos	Device Modeling for a Flexible Embedded Systems Development Process.	ISORC	2007	DBLP DOI BibTeX RDF
1	Christoph Becker 0003, Sebastian Staamann, Ralf Salomon	Security Analysis of the Utilization of Corba Object References as Authorization Tokens.	ISORC	2007	DBLP DOI BibTeX RDF
1	Alexei Iliasov, Alexander B. Romanovsky, Budi Arief, Linas Laibinis, Elena Troubitsyna	On Rigorous Design and Implementation of Fault Tolerant Ambient Systems.	ISORC	2007	DBLP DOI BibTeX RDF
1	Jungin Kim, Bhavani Thuraisingham	Design of Secure CAMIN Application System Based on Dependable and Secure TMO and RT-UCON.	ISORC	2007	DBLP DOI BibTeX RDF
1	Binoy Ravindran, Edward Curley, Jonathan Stephen Anderson, E. Douglas Jensen	On Best-Effort Real-Time Assurances for Recovering from Distributable Thread Failures in Distributed Real-Time Systems.	ISORC	2007	DBLP DOI BibTeX RDF
1	Jae-An Yi, Shin Heu, Byuongkyu Choi, Hyun-Jun Kim, Hanseok Sue, Jung-Guk Kim	TMO-NanoQ+: A Real-Time Kernel for Sensor Networks Supporting Time-Triggered and Message-Triggered Tasks.	ISORC	2007	DBLP DOI BibTeX RDF
1	Daniel Tejera, Alejandro Alonso 0001, Miguel A. de Miguel	Predictable Serialization in Java.	ISORC	2007	DBLP DOI BibTeX RDF
1	Stratos Paulakis, Vassileios Tsetsos, Stathes Hadjiefthymiades	Enterprise Job Scheduling for Clustered Environments.	ISORC	2007	DBLP DOI BibTeX RDF
1	Yuan Wei, Vibha Prasad, Sang Hyuk Son	QoS Management of Real-Time Data Stream Queries in Distributed Environments.	ISORC	2007	DBLP DOI BibTeX RDF
1	Hermann Kopetz, Christian El Salloum, Bernhard Huber, Roman Obermaisser	Periodic Finite-State Machines.	ISORC	2007	DBLP DOI BibTeX RDF
1	Manuel Nickschas, Uwe Brinkschulte	Using Multi-Agent Principles for Implementing an Organic Real-Time Middleware.	ISORC	2007	DBLP DOI BibTeX RDF
1	Iria Estévez-Ayres, Luís Almeida 0001, Marisol García-Valls, Pablo Basanta-Val	An Architecture to Support Dynamic Service Composition in Distributed Real-Time Systems.	ISORC	2007	DBLP DOI BibTeX RDF
1	Raimund Kirner, Peter P. Puschner	Time-Predictable Task Preemption for Real-Time Systems with Direct-Mapped Instruction Cache.	ISORC	2007	DBLP DOI BibTeX RDF
1	Jiun-Jian Chang, Pi-Cheng Hsiu, Tei-Wei Kuo	Search-Oriented Deployment Strategies for Wireless Sensor Networks.	ISORC	2007	DBLP DOI BibTeX RDF
1	Stephen S. Yau, Luping Zhu, Dazhi Huang, Haishan Gong	An Approach to Automated Agent Deployment in Service-Based Systems.	ISORC	2007	DBLP DOI BibTeX RDF
1	Andreas Stylianou, Giovanna Ferrari, Paul D. Ezhilchelvan	A Comparative Evaluation of EJB Implementation Methods.	ISORC	2007	DBLP DOI BibTeX RDF
1	Abdelouahed Gherbi, Ferhat Khendek	Timed-Automata Semantics and Analysis of UML/SPT Models with Concurrency.	ISORC	2007	DBLP DOI BibTeX RDF
1	Wilfred W. K. Lin, Allan K. Y. Wong, Tharam S. Dillon, Elizabeth Chang 0001	Detection of Fractal Breakdowns by the Novel Real-Time Pattern Detection Model (Enhanced-RTPD+Holder Exponent) for Web Applications.	ISORC	2007	DBLP DOI BibTeX RDF	real-time traffic pattern detection (RTPD), fractal breakdown, Holder exponent, Long Range Dependence
1	Nishanth Shankaran, Douglas C. Schmidt, Xenofon D. Koutsoukos, Yingming Chen, Chenyang Lu 0001	Design and Performance Evaluation of Configurable Component Middleware for End-to-End Adaptation of Distributed Real-Time Embedded Systems.	ISORC	2007	DBLP DOI BibTeX RDF
1	Arvind Easwaran, Insup Lee 0001, Insik Shin, Oleg Sokolsky	Compositional Schedulability Analysis of Hierarchical Real-Time Systems.	ISORC	2007	DBLP DOI BibTeX RDF
1	Bran Selic	A Systematic Approach to Domain-Specific Language Design Using UML.	ISORC	2007	DBLP DOI BibTeX RDF
1	Isidro Calvo, Luís Almeida 0001, Adrián Noguero	A Novel Synchronous Scheduling Service for CORBA-RT Applications.	ISORC	2007	DBLP DOI BibTeX RDF
1	Fábio Favarim, Joni da Silva Fraga, Lau Cheuk Lung, Miguel Correia 0001, João Felipe Santos	Exploiting Tuple Spaces to Provide Fault-Tolerant Scheduling on Computational Grids.	ISORC	2007	DBLP DOI BibTeX RDF
1	Chuan-Yue Yang, Jian-Jia Chen, Chia-Mei Hung, Tei-Wei Kuo	System-Level Energy-Efficiency for Real-Time Tasks.	ISORC	2007	DBLP DOI BibTeX RDF	Real-Time Process Scheduling, Embedded Systems, Energy-Efficient Scheduling
1	Susanne Kandl, Raimund Kirner, Peter P. Puschner	Automated Formal Verification and Testing of C Programs for Embedded Systems.	ISORC	2007	DBLP DOI BibTeX RDF
1	Andreea Berfield, Panos K. Chrysanthis, Daniel Mossé	LSynD: Localized Synopsis Diffusion.	ISORC	2007	DBLP DOI BibTeX RDF	synopsis diffusion, failures, energy saving
1	Fabrice Kordon	Mastering Complexity in Formal Analysis of Complex Systems: Some Issues and Strategies Applied to Intelligent Transport Systems.	ISORC	2007	DBLP DOI BibTeX RDF
1	Kiyohiro Morita, Kenichi Watanabe, Naohiro Hayashibara, Tomoya Enokido, Makoto Takizawa 0001	Efficient Data Transmission in a Lossy and Resource Limited Wireless Sensor-Actuator Network.	ISORC	2007	DBLP DOI BibTeX RDF
1	Tarek F. Abdelzaher, Qing Cao, Raghu K. Ganti, Dan Henriksson, Mohammad Maifi Hasan Khan, Jin Heo, Chengdu Huang, Praveen Jayachandran, Hieu Khac Le, Liqian Luo, Yu-En Tsai	Towards a Layered Architecture for Object-Based Execution in Wide-Area Deeply Embedded Computing.	ISORC	2007	DBLP DOI BibTeX RDF
1	Wolfgang Forster, Christof Kutschera, Dietmar Schreiner, Karl M. Göschka	A Unified Benchmarking Process for Components in Automotive Embedded Systems Software.	ISORC	2007	DBLP DOI BibTeX RDF
1	Amogh Kavimandan, Krishnakumar Balasubramanian 0001, Nishanth Shankaran, Aniruddha S. Gokhale, Douglas C. Schmidt	QUICKER: A Model-Driven QoS Mapping Tool for QoS-Enabled Component Middleware.	ISORC	2007	DBLP DOI BibTeX RDF
1	Paul Watson 0001, Chris Fowler, Charles Kubicek, Arijit Mukherjee, John Colquhoun, Mark Hewitt, Savas Parastatidis	Dynamically Deploying Web Services on a Grid using Dynasoar.	ISORC	2006	DBLP DOI BibTeX RDF
1	Jie Xu 0007, Erica Y. Yang, Keith H. Bennett	A Practical Approach to Secure Web Services.	ISORC	2006	DBLP DOI BibTeX RDF	Attack tolerance, malicious attacks, Web services, privacy protection, distributed information retrieval
1		Message from the Program Co-Chairs.	ISORC	2006	DBLP DOI BibTeX RDF
1	Trevor Harmon, Raymond Klefstad	Automatic Performance Visualization of Distributed Real-Time Systems.	ISORC	2006	DBLP DOI BibTeX RDF
1	Bran Selic	Model-Driven Development: Its Essence and Opportunities.	ISORC	2006	DBLP DOI BibTeX RDF
1	Raimund Kirner, Peter P. Puschner, Ingomar Wenzel, Bernhard Rieder	Portable Data Exchange for Remote-Testing Frameworks.	ISORC	2006	DBLP DOI BibTeX RDF
1	Jae Gi Son, Sang Hyun Park, Jung-Guk Kim, Moon-hae Kim	An IEEE1394-Based Real-Time Distributed IPC System for Collaborating TMO's.	ISORC	2006	DBLP DOI BibTeX RDF
1	Xiuli Ren, Haibin Yu	A Novel Multipath Disjoint Routing to Support Ad Hoc Wireless Sensor Networks.	ISORC	2006	DBLP DOI BibTeX RDF
1	Youhei Tanaka, Naohiro Hayashibara, Tomoya Enokido, Makoto Takizawa 0001	A Fault-Tolerant Transactional Agent Model on Distributed Objects.	ISORC	2006	DBLP DOI BibTeX RDF
1	Bernhard Huber, Roman Obermaisser, Philipp Peti	MDA-Based Development in the DECOS Integrated Architecture - Modeling the Hardware Platfor.	ISORC	2006	DBLP DOI BibTeX RDF
1	Elias Teodoro Silva Jr., Edison Pignaton de Freitas, Flávio Rech Wagner, Fabiano Costa Carvalho, Carlos Eduardo Pereira	Java Framework for Distributed Real-Time Embedded Systems.	ISORC	2006	DBLP DOI BibTeX RDF
1	Julie A. Street, Robert G. Pettit IV	Lessons Learned Applying Performance Modeling and Analysis Techniques.	ISORC	2006	DBLP DOI BibTeX RDF
1	Lau Cheuk Lung, Fábio Favarim, Giuliana Teixeira Santos, Miguel Correia 0001	An Infrastructure for Adaptive Fault Tolerance on FT-CORBA.	ISORC	2006	DBLP DOI BibTeX RDF
1	Mojtaba Sabeghi, Mahmoud Naghibzadeh, Toktam Taghavi	Scheduling Non-Preemptive Periodic Tasks in Soft Real-Time Systems Using Fuzzy Inference.	ISORC	2006	DBLP DOI BibTeX RDF	Fuzzy scheduling, HFPF, real-time systems, EDF
1	Polly M. S. Poon, Tharam S. Dillon, Elizabeth Chang 0001, Ling Feng	XML Descriptor Based Approach for Real Time Data Messaging.	ISORC	2006	DBLP DOI BibTeX RDF
1	Shariful Islam, Robert Lindstrom, Neeraj Suri	Dependability Driven Integration of Mixed Criticality SW Components.	ISORC	2006	DBLP DOI BibTeX RDF
1		Message from the Symposium Co-Chairs.	ISORC	2006	DBLP DOI BibTeX RDF
1	Jérôme Hugues, Laurent Pautet, Fabrice Kordon	A Framework for DRE middleware, an Application to DDS.	ISORC	2006	DBLP DOI BibTeX RDF
1	Shahrooz Feizabadi, Godmar Back	Automatic Memory Management in Utility Accrual Scheduling Environments.	ISORC	2006	DBLP DOI BibTeX RDF
1	Okehee Goh, Yann-Hang Lee, Ziad Kaakani, Elliott Rachlin	Integrated Scheduling with Garbage Collection for Real-Time Embedded Applications in CLI.	ISORC	2006	DBLP DOI BibTeX RDF
1	Franck Bimbard, Laurent George 0001	FP/FIFO Feasibility Conditions with Kernel Overheads for Periodic Tasks on an Event Driven OSEK System.	ISORC	2006	DBLP DOI BibTeX RDF
1	Franz J. Rammig, Marcelo Götz, Tales Heimfarth, Peter Janacik, Simon Oberthür	Real-time Operating Systems for Self-coordinating Embedded Systems.	ISORC	2006	DBLP DOI BibTeX RDF
1	Midori Sugaya, Shuichi Oikawa, Tatsuo Nakajima	Accounting System: A Fine-Grained CPU Resource Protection Mechanism for Embedded System.	ISORC	2006	DBLP DOI BibTeX RDF
1	Chansik Im, K. H. (Kane) Kim	A Hybrid Approach in TADE for Derivation of Execution Time Bounds of Program-Segments in Distributed Real-Time Embedded Computing.	ISORC	2006	DBLP DOI BibTeX RDF	worst-case execution path, program-segment, methodsegment, acyclic path-segment, path enumeration, curvefitting, execution time bound, TETB, real time, measurement, analysis, hybrid, worst-case execution time
1	Pengliu Tan, Hai Jin 0001, Minghu Zhang	A Hybrid Scheduling Scheme for Hard, Soft and Non-Real-time Tasks.	ISORC	2006	DBLP DOI BibTeX RDF
1	Fábio Paulo Basso, Toacy Cavalcante de Oliveira, Leandro Buss Becker	Using the FOMDA Approach to Support Object-Oriented Real-Time Systems Development.	ISORC	2006	DBLP DOI BibTeX RDF	platform mappings, embedded real-time systems, platform-independent modeling
1	Miguel A. de Miguel, Javier Fernández Briones, Juan Pedro Silva, Alejandro Alonso 0001	Model Based Integration of Safety Analysis and Development.	ISORC	2006	DBLP DOI BibTeX RDF
1		Committees.	ISORC	2006	DBLP DOI BibTeX RDF
1	Jungin Kim, Bhavani Thuraisingham	Dependable and Secure TMO Scheme.	ISORC	2006	DBLP DOI BibTeX RDF
1	Xiaoling Wu 0004, Hoon Heo, Riaz Ahmed Shaikh 0001, Jinsung Cho, Oksam Chae, Sungyoung Lee	Individual Contour Extraction for Robust Wide Area Target Tracking in Visual Sensor Networks.	ISORC	2006	DBLP DOI BibTeX RDF
1	Uwe Brinkschulte, Mathias Pacher, Florentin Picioroaga, Stefan Gaa	Evaluation of the Komodo Microcontroller and the OSA+ Middleware Using an Autonomous Guided Vehicle.	ISORC	2006	DBLP DOI BibTeX RDF	Autonomous guided vehicle, multi-threaded microcontroller, real-time middleware
1	Yuan Wei, Sang Hyuk Son, John A. Stankovic	RTSTREAM: Real-Time Query Processing for Data Streams.	ISORC	2006	DBLP DOI BibTeX RDF
1	Ajoy Kumar Datta, Maria Gradinariu, Antonino Virgillito	Deterministic delta-Connected Overlay for Peer-to-Peer Networks.	ISORC	2006	DBLP DOI BibTeX RDF
1	Maxime Monod, Jörg Kienzle, Alexander B. Romanovsky	Looking Ahead in Open Multithreaded Transactions.	ISORC	2006	DBLP DOI BibTeX RDF
1	Madhukar Anand, Steve Vestal, Samar Dajani-Brown, Insup Lee 0001	Formal Modeling and Analysis of the AFDX Frame Management Design.	ISORC	2006	DBLP DOI BibTeX RDF
1	Fumiaki Ohata, Katsuro Inoue	JAAT: Java Alias Analysis Tool for Program Maintenance Activities.	ISORC	2006	DBLP DOI BibTeX RDF
1	Michael Barth, Jonghun Yoo, Saehwa Kim, Seongsoo Hong	Design Patterns for Releasing Applications in C++ Implementations of JTRS Software Communications Architecture.	ISORC	2006	DBLP DOI BibTeX RDF
1	Paolo Ascione, Marcello Cinque, Domenico Cotroneo	Automated Logging of Mobile Phones Failures Data.	ISORC	2006	DBLP DOI BibTeX RDF
1	Xuefeng Piao, Sangchul Han, Heeheon Kim, Minkyu Park, Yookun Cho, Seongje Cho	Predictability of Earliest Deadline Zero Laxity Algorithm for Multiprocessor Real-Time Systems.	ISORC	2006	DBLP DOI BibTeX RDF
1	Junggyu Park, Hyojung Song, Seungmo Cho, Najeong Han, Kyungjeon Kim, Jinman Park	A Real-time Media Framework for Asymmetric MPSoC.	ISORC	2006	DBLP DOI BibTeX RDF
1	Wei-Tek Tsai, Chun Fan, Yinong Chen, Raymond A. Paul, Jen-Yao Chung	Architecture Classification for SOA-Based Applications.	ISORC	2006	DBLP DOI BibTeX RDF
1	Jia Zhou, Kendra M. L. Cooper, I-Ling Yen, John Linn, Raymond A. Paul	A Software Enhancement System for Embedded Software Development.	ISORC	2006	DBLP DOI BibTeX RDF	quality of service trade-offs, Embedded systems, code optimization, rule base
1	Sang-Uk Jeon, Jang-Eui Hong, Doo-Hwan Bae	Interaction-Based Behavior Modeling of Embedded Software using UML 2.0.	ISORC	2006	DBLP DOI BibTeX RDF
1	Yukikazu Nakamoto, Mitsuko Sato	Design of A Hyperlink-based Software Architecture for Smart Devices.	ISORC	2006	DBLP DOI BibTeX RDF
1	Abdelouahed Gherbi, Ferhat Khendek	From UML/SPT Models to Schedulability Analysis: a Metamodel-Based Transformation.	ISORC	2006	DBLP DOI BibTeX RDF
1		Towards Developing a Secure Dependable System: Development, Issues, and Challenges.	ISORC	2006	DBLP DOI BibTeX RDF
1	Martin Schoeberl	Real-Time Garbage Collection for Java.	ISORC	2006	DBLP DOI BibTeX RDF
1	Yannis Drougas, Thomas Repantis, Vana Kalogeraki	Load Balancing Techniques for Distributed Stream Processing Applications in Overlay Environments.	ISORC	2006	DBLP DOI BibTeX RDF
1	Yoon Seok Jeong, Tae Wan Kim, Chun-Hyon Chang	Modeling of a Monitoring Scheme for TMO Model-based Real-Time Systems.	ISORC	2006	DBLP DOI BibTeX RDF
1	Antonio Di Ferdinando, Paul D. Ezhilchelvan, Michael Dales, Jon Crowcroft	A QoS-Negotiable Middleware System for Reliably Multicasting Messages of Arbitrary Size.	ISORC	2006	DBLP DOI BibTeX RDF
1	Jan O. Biermeyer, Vason P. Srini, Bernd Kleinjohann	Distributed Real-time Computing in Autonomous Robots using Time-Triggered and Message-Triggered Objects (TMOs).	ISORC	2006	DBLP DOI BibTeX RDF
1	Gan Deng, Douglas C. Schmidt, Aniruddha S. Gokhale, Andrey Nechypurenko	Modularizing Variability and Scalability Concerns in Distributed Real-Time and Embedded Systems with Modeling Tools and Component Middleware.	ISORC	2006	DBLP DOI BibTeX RDF	Model-Driven Development, Component Middleware, Domain- Specific Modeling Languages
1	Mathias Pacher, Alexander von Renteln, Uwe Brinkschulte	Towards an Organic Middleware for Real-Time Applications.	ISORC	2006	DBLP DOI BibTeX RDF	execution path, OSA+ middleware, Self-organization
1	Adam Betts, Guillem Bernat	Tree-Based WCET Analysis on Instrumentation Point Graphs.	ISORC	2006	DBLP DOI BibTeX RDF

Publications at "ISORC"( http://dblp.L3S.de/Venues/ISORC )