| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Stefano Crespi-Reghizzi, Pierluigi San Pietro |
From Regular to Strictly Locally Testable Languages  |
WORDS  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Valérie Berthé, Sébastien Labbé |
Uniformly balanced words with linear complexity and prescribed letter frequencies |
WORDS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michaël Cadilhac, Alain Finkel, Pierre McKenzie |
Bounded Parikh Automata |
WORDS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hossein Nevisi, Daniel Reidenbach |
Unambiguous 1-Uniform Morphisms |
WORDS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Steiner |
On the Delone property of (-β)-integers |
WORDS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Valyuzhenich |
Permutation complexity of the fixed points of some uniform binary morphisms |
WORDS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeffrey Shallit |
The Critical Exponent is Computable for Automatic Sequences |
WORDS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Irina A. Gorbunova, Arseny M. Shur |
On Pansiot Words Avoiding 3-Repetitions |
WORDS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Dombek |
Substitutions over infinite alphabet generating (-β)-integers |
WORDS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew J. Samuel |
Word posets, with applications to Coxeter groups |
WORDS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sébastien Ferenczi |
Dynamical generalizations of the Lagrange spectrum |
WORDS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Svetlana Puzynina, Luca Q. Zamboni |
Abelian returns in Sturmian words |
WORDS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Thierry Monteil |
The complexity of tangent words |
WORDS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bilotta, Elisa Pergola, Renzo Pinzani |
Pattern 1^j0^i avoiding binary words |
WORDS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Ambroz, Stepan Holub, Zuzana Masáková (eds.) |
Proceedings 8th International Conference Words 2011 |
WORDS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Aleksi Saarela |
Systems of Word Equations and Polynomials: a New Approach |
WORDS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Srecko Brlek |
Interactions between Digital Geometry and Combinatorics on Words |
WORDS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabio Burderi |
Monoids and Maximal Codes |
WORDS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Anna E. Frid |
Infinite permutations vs. infinite words |
WORDS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Francine Blanchet-Sadri, Aleksandar Chakarov, Lucas Manuelli, Jarett Schwartz, Slater Stich |
Recurrent Partial Words |
WORDS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Vesa Halava, Tero Harju, Tomi Kärki |
A new proof for the decidability of D0L ultimate periodicity |
WORDS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mathieu Roux, Brigitte Vallée |
Information theory: Sources, Dirichlet series, and realistic analyses of data structures |
WORDS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikita Sidorov |
Optimizing Properties of Balanced Words |
WORDS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Golnaz Badkobeh, Maxime Crochemore |
Finite-Repetition threshold for infinite ternary words |
WORDS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Elena A. Petrova, Arseny M. Shur |
Constructing Premaximal Binary Cube-free Words of Any Level |
WORDS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Bastian Bischoff, Dirk Nowotka |
Pattern Avoidability with Involution |
WORDS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Juha Kortelainen |
Combinatorics on words in |
WORDS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriele Fici |
A Classification of Trapezoidal Words |
WORDS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Steven Widmer |
Permutation Complexity Related to the Letter Doubling Map |
WORDS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Benoît Rittaud, Laurent Vivier |
Circular words and applications |
WORDS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Narad Rampersad, Jeffrey O. Shallit, A. Shur |
Fife's Theorem for (7/3)-Powers |
WORDS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomoya Enokido, Makoto Takizawa |
Concurrency Control on Distributed Objects using Role Ordering (RO) Scheduler. |
WORDS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | |
10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2005), 2-4 February 2005, Sedona, AZ, USA |
WORDS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Domenico Cotroneo, Armando Migliaccio, Stefano Russo |
Reliable Monitoring of Network-related Performance Parameters inWireless Environments. |
WORDS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Raymond A. Paul |
DoD Towards Software Services. |
WORDS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Smithi Piromruen, James B. D. Joshi |
An RBAC Framework for Time Constrained Secure Interoperation in Multi-domain Environments. |
WORDS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Uwe Brinkschulte, Mathias Pacher |
Improving the Real-time Behaviour of a Multithreaded Java Microcontroller by Control Theory and Model Based Latency Prediction. |
WORDS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Basit Shafiq, Ammar Masood, James Joshi, Arif Ghafoor |
A Role-Based Access Control Policy Verification Framework for Real-Time Systems. |
WORDS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Charles J. Colbourn, Yinong Chen, Wei-Tek Tsai |
Progressive Ranking and Composition of Web Services Using Covering Arrays. |
WORDS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Min-Gu Lee, Sunggu Lee |
Delay Analysis for Statistical Real-Time Channels in Mobile Ad-Hoc Networks. |
WORDS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Chen-Ting Chuang, Chin-Fu Kuo, Tei-Wei Kuo, Ai-Chun Pang |
A Multi-Granularity Energy Profiling Approach and a Quantitative Study of a Web Browser. |
WORDS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Lohmann, Wolfgang Schröder-Preikschat, Olaf Spinczyk |
Functional and Non-Functional Properties in a Family of Embedded Operating Systems. |
WORDS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | George F. Hurlburt |
Development Of The Warfighting Architecture Requirements (War) Tool. |
WORDS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Hong Mei, Gang Huang 0001, Wei-Tek Tsai |
Towards Self-Healing Systems via Dependable Architecture and. |
WORDS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen S. Yau, Yisheng Yao, Zhaoji Chen, Luping Zhu |
An Adaptable Security Framework for Service-based Systems. |
WORDS |
2005 |
DBLP DOI BibTeX RDF |
adaptability, security policy, situation-awareness, Service-based systems, security framework, security agent |
| 1 | Victor L. Winter, Jason Beranek, Azamatbek Mametjanov, Fares Fraij, Steve Roach |
A Transformational Overview of the Core Functionality of an Abstract Class Loader for the SSP. |
WORDS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | |
Message from the Workshop Chairs. |
WORDS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Helen Gill |
Challenges for Critical Embedded Systems. |
WORDS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | K. H. (Kane) Kim, Stephen F. Jenks, Larry Smarr, Andrew A. Chien, Liangchen Zheng |
A Framework for Middleware Supporting Real-Time Wide-Area Distributed Computing. |
WORDS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco A. Ramos, Félix F. Ramos |
Autonomous Agents and Anticipative Systems. |
WORDS |
2005 |
DBLP DOI BibTeX RDF |
Real time agents, Anticipatory Systems, Simulation, Classifier Systems |
| 1 | K. H. (Kane) Kim, Emmanuel Henrich, Chansik Im, Moon-Cheol Kim, Sung-Jin Kim, Yuqing Li, Sheng Liu, Seung-Mok Yoo, Liangchen Zheng, Qian Zhou |
Distributed Computing Based Streaming and Play of Music Ensemble Realized Through TMO Programming. |
WORDS |
2005 |
DBLP DOI BibTeX RDF |
TCoDA, Multimedia, Real-time, synchronous, streaming, Music, Digital, Ensemble, TMO |
| 1 | Stephen J. H. Yang, Blue C. W. Lan, Jen-Yao Chung |
A Trustworthy Web Services Framework for Business Processes Integration. |
WORDS |
2005 |
DBLP DOI BibTeX RDF |
Service Oriented Enterprises, Trustworthy WebServices, Business Process Integration |
| 1 | Elias Teodoro Silva Jr., Marco A. Wehrmeister, Leandro Buss Becker, Flávio Rech Wagner, Carlos Eduardo Pereira |
Design Exploration in Hw/Sw Co-design of Real-Time Object-oriented Embedded Systems: the Scheduler Object. |
WORDS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiangyin Zhang, Lisa Cingiser DiPippo, Victor Fay Wolfe, Kevin Bryan, Matthew Murphy |
A Real-Time Distributed Scheduling Service For Middleware Systems. |
WORDS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen S. Yau, Supratik Mukhopadhyay, Ramesh Bharadwaj |
Specification, Analysis and Implementation of Architectural Patterns for Dependable Software Systems. |
WORDS |
2005 |
DBLP DOI BibTeX RDF |
dependable software, speci.cation languages, veri.cation, formal analysis, Architectural patterns |
| 1 | Hong Zhu, Lijun Shan |
Agent-Oriented Modelling and Specification of Web Services. |
WORDS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | |
Title. |
WORDS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei-Tek Tsai, Yinong Chen, Raymond A. Paul |
Specification-Based Verification and Validation of Web Services and Service-Oriented Operating Systems. |
WORDS |
2005 |
DBLP DOI BibTeX RDF |
collaborative testing, Web services, verification, service composition, group testing |
| 1 | Miguel A. de Miguel, Bernard Pauly, Thierry Person, Javier Fernández Briones |
Model-Based Integration of Safety Analysis and Reliable Software Development. |
WORDS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom Anderson, Mei Feng, Steve Riddle, Alexander Romanovsky |
Error Recovery for a Boiler System with OTS PID Controller. |
WORDS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | |
Workshop Committees. |
WORDS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Nik Looker, Malcolm Munro, Binka Gwynne, Jie Xu |
An Ontology-Based Approach for Determining the Dependability of Service-Oriented Architectures. |
WORDS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter P. Puschner |
Experiments with WCET-Oriented Programming and the Single-Path Architecture. |
WORDS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Christof Fetzer, Gert Pfeifer, Trevor Jim |
Enhancing DNS Security using the SSL Trust Infrastructure. |
WORDS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Y. S. Hong, J. H. No, In Han |
Evaluation of Fault-tolerant Distributed Web Systems. |
WORDS |
2005 |
DBLP DOI BibTeX RDF |
performance evaluation, Web services, Fault tolerance, replication, clock synchronization |
| 1 | |
Message from the Program Chairs. |
WORDS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph P. Loyall, Jamie Lawson, Gary Duzan |
Issues in Providing Quality of Service in a Joint Battlespace Infosphere. |
WORDS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Bojan Cukic, Martin Mladenovski, Dejan Desovski, Sampath Yerramalla |
Real-Time Data Fusion Technique for Validation of an Autonomous System. |
WORDS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Tatsuo Nakajima, Midori Sugaya, Shuichi Oikawa |
Oparating Systems For Building Robust Embedded SDystem. |
WORDS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Youhei Tanaka, Tomoya Enokido, Makoto Takizawa |
Design and Implementation of Fault-Tolerant Transactional Agents for Manipulating Distributed Objects. |
WORDS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Cilardo, Antonino Mazzeo, Luigi Romano |
An FPGA-based Key-Store for Improving the Dependability of Security Services. |
WORDS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Roman Obermaisser, Philipp Peti, Hermann Kopetz |
Virtual Networks in an Integrated Time-Triggered Architecture. |
WORDS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Muller, Julia L. Lawall, Hervé Duchesne |
A Framework for Simplifying the Development of Kernel Schedulers: Design and Performance Evaluation. |
WORDS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Vana Kolageraki, Fang Chen |
On Constructing Overlay Network to Support Distributed Real-Time Virtual Environment Applications. |
WORDS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | |
Copyright. |
WORDS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | John Eberhard, Anand Tripathi |
Object-Based Commutativity Analysis for Real-Time Applications. |
WORDS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikael Åkerholm, Anders Möller, Hans Hansson, Mikael Nolin |
Towards a Dependable Component Technology for Embedded System Applications. |
WORDS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Rasche, Andreas Polze |
Dynamic Reconfiguration of Component-based Real-time Software. |
WORDS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Gustafsson, Andreas Ermedahl, Björn Lisper |
Towards a Flow Analysis for Embedded System C Programs. |
WORDS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Yunmook Nah, Joonwoo Lee, Woon Joo Lee, Ho Lee, Moon-hae Kim, Ki-Joon Han |
Distributed Scalable Location Data Management System Based on the GALIS Architecture. |
WORDS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Sahra Sedigh-Ali, Arif Ghafoor |
A Graph-Based Model for Component-Based Software Development. |
WORDS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ann Q. Gates, Steve Roach, Irbis Gallegos, Omar Ochoa, Oleg Sokolsky |
JavaMaC and Runtime Monitoring for Geoinformatics Grid Services. |
WORDS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Wenbing Zhao, Louise E. Moser, P. M. Melliar-Smith |
Deterministic Scheduling for Multithreaded Replicas. |
WORDS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Venkata U. B. Challagulla, Farokh B. Bastani, I-Ling Yen, Raymond A. Paul |
Empirical Assessment of Machine Learning based Software Defect Prediction Techniques. |
WORDS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Reinaldo de Barros Correia, Luiz F. Rust da Costa Carmo, Luci Pirmez, Luiz F. Bacellar |
A Framework for Preparing Experimental Evaluation of Rerouting Mechanisms. |
WORDS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | |
8th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2003), 15-17 January 2003, Guadalajara, Mexico |
WORDS |
2003 |
DBLP BibTeX RDF |
|
| 1 | Christof Fetzer, Karin Högstedt |
Self\star: A Data-Flow Oriented Component Framework for Pervasive Dependability. |
WORDS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Panos K. Chrysanthis, Vincenzo Liberatore, Kirk Pruhs |
Middleware Support for Multicast-based Data Dissemination: A Working Reality. |
WORDS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Almeida |
A Word for Operational Flexibility in Distributed Safety-Critical Systems. |
WORDS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Gustafsson, Björn Lisper, Christer Sandberg, Nerina Bermudo |
A Tool for Automatic Flow Analysis of C-programs for WCET Calculation. |
WORDS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Raipin Parvédy, Michel Raynal |
Reliable Compare & Swap for Fault-Tolerant Synchronization. |
WORDS |
2003 |
DBLP DOI BibTeX RDF |
Compare&Swap, Fault-Tolerance, Graceful Degradation, Crash Failure, Wait-free Synchronization, Omission Failure |
| 1 | Raimund Kirner, Peter P. Puschner |
Timing Analysis of Optimised Code. |
WORDS |
2003 |
DBLP DOI BibTeX RDF |
Compiler Op- timisations, Execution Times, Code Transformation, Worst-Case Execution Time Analysis, Real-Time Languages |
| 1 | Paulo Veríssimo, Antonio Casimiro |
Event-Driven Support of Real-Time Sentient Objects. |
WORDS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Magda El Zarki, Liang Cheng, Haining Liu, Xiaoping Wei |
An Interactive Object Based Multimedia System for IP Networks. |
WORDS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | K. H. (Kane) Kim, Yuqing Li, Jeff (Juqiang) Liu |
A Special Checkpointing Object Method Based Primary-Passive TMO Replication Scheme and Middleware Support. |
WORDS |
2003 |
DBLP DOI BibTeX RDF |
PPTR, real-time object, passive replica, fault tolerance, Real time, middleware, replication, object, TMO, time-triggered, message-triggered |
| 1 | Krishnakumar Balasubramanian, Nanbor Wang, Douglas C. Schmidt |
Towards Composable Distributed Real-time and Embedded Software. |
WORDS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Kim Potter Kihlstrom, Priya Narasimhan |
The Starfish System: Providing Intrusion Detection and Intrusion Tolerance for Middleware Systems. |
WORDS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher D. Gill, Venkita Subramonian, Jeff Parsons, Huang-Ming Huang, Stephen Torri, Douglas Niehaus, Douglas Stuart |
ORB Middleware Evolution for Networked Embedded Systems. |
WORDS |
2003 |
DBLP DOI BibTeX RDF |
Distributed Embedded Systems, Sensor-Actuator Networks, Real-Time Middleware |
| 1 | |
Message from the Technical Program Co-Chairs. |
WORDS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Miguel A. de Miguel |
QoS Modeling Language for High Quality Systems. |
WORDS |
2003 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")