20126 search results - page 155 / 4026 » Timed Transition Systems |
136
Voted
DATE
2008
IEEE
15 years 5 months ago
2008
IEEE
In this paper, we propose a simulation-based methodology for worst-case response time estimation of distributed realtime systems. Schedulability analysis produces pessimistic uppe...
145
click to vote
RTCSA
2005
IEEE
15 years 9 months ago
2005
IEEE
Data broadcast is an efficient information delivery model that can deliver information to a large population simultaneously. In this paper, we propose two efficient algorithms to ...
144
Voted
TKDE
2008
15 years 3 months ago
2008
Abstract--This paper presents an investigation into the use of the delay coordinate embedding technique in the multi-inputmultioutput-adaptive-network-based fuzzy inference system ...
110
Voted
EUC
2008
Springer
15 years 5 months ago
2008
Springer
We present RT-P2P, a real-time peer-to-peer (P2P) system that allows application-level end-to-end timing requirements to be satisfied in P2P systems. P2P systems are fundamentally...
125
click to vote
BIRTHDAY
2005
Springer
15 years 9 months ago
2005
Springer
The paper introduces a novel approach to the synthesis of labelled transition systems for calculi with name mobility. The proposal is based on a graphical encoding: Each process is...