Sciweavers

743 search results - page 15 / 149
» Evaluating UMl Extensions for Modeling Real-Time Systems
Sort
View
ECRTS
2006
IEEE
14 years 1 months ago
Design and Performance of a Fault-Tolerant Real-Time CORBA Event Service
Developing distributed real-time and embedded (DRE) systems in which multiple quality-of-service (QoS) dimensions must be managed is an important and challenging problem. This pap...
Huang-Ming Huang, Christopher D. Gill
FTRTFT
1998
Springer
13 years 11 months ago
Operational and Logical Semantics for Polling Real-Time Systems
PLC-Automata are a class of real-time automata suitable to describe the behavior of polling real-time systems. PLC-Automata can be compiled to source code for PLCs, a hardware wide...
Henning Dierks, Ansgar Fehnker, Angelika Mader, Fr...
CIMCA
2006
IEEE
14 years 1 months ago
Timed-MPSG: A Formal Model for Real-Time Shop Floor Controller
The MPSG (Message-based Part State Graph) model has been developed for the execution portion of shop-floor controllers that operate in a distributed and hierarchical control envir...
Devinder Thapa, Jaeil Park, Gi-Nam Wang, Dongmin S...
WORDS
2002
IEEE
14 years 12 days ago
Service Differentiation of Communication-bound Processes in a Real-Time Operating System
The majority of today’s Internet-based services are generally not concerned about the level of Quality of Service (QoS) presented to their users. For many such services, however...
Domenico Cotroneo, Massimo Ficco, Mauro Gargiulo, ...
SMC
2010
IEEE
166views Control Systems» more  SMC 2010»
13 years 5 months ago
A system to recommend dishes by the real time recognition of dining activity
— Enhancement of dining environment by information technology is explored in this paper. A table system to recommend additional dishes according to the dining status is introduce...
Tomoo Inoue, Yosuke Matsusaka