20126 search results - page 382 / 4026 » Timed Transition Systems |
171
click to vote
ACIIDS
2009
IEEE
15 years 4 months ago
2009
IEEE
This study presents an H controller design for time-delay Takagi-Sugeno (T-S) fuzzy systems based on the fuzzy Lyapunov method, which is defined in terms of fuzzy blending quadrati...
164
click to vote
AAI
2010
15 years 1 months ago
2010
In this paper, we propose a proof system for reasoning on certain specifications of secure authentication systems. For this purpose, a new logic, sequence-indexed linear-time temp...
169
click to vote
ICN
2005
Springer
15 years 11 months ago
2005
Springer
: Data filtering is an important approach to reduce energy consumption. Following this idea, Interest is used as a constraint to filter uninterested data in sensor networks. Within...
158
click to vote
DATE
2002
IEEE
15 years 11 months ago
2002
IEEE
To enable fast and accurate evaluation of HW/SW implementation choices of on-chip communication, we present a method to automatically generate timed OS simulation models. The meth...
144
click to vote
IPPS
1999
IEEE
15 years 10 months ago
1999
IEEE
Abstract. We propose a prediction-based best-effort real-time service to support distributed, interactive applications in shared, unreserved computing environments. These applicati...