654 search results - page 40 / 131 » Cosimulation of real-time control systems |
171
click to vote
SEKE
2007
Springer
16 years 8 days ago
2007
Springer
Agent based online auctions have not yet become popular because they are not trustable. One of the major concerns in agent based online auctions is the shilling behavior problem, w...
144
click to vote
ADAEUROPE
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This paper describes a laboratory equipped for the teaching of realtime systems. The laboratory has been built around a Digital Model Railroad Platform and it allows the ...
163
click to vote
FORMATS
2003
Springer
15 years 11 months ago
2003
Springer
This text is dedicated to modelling of real-time applications running under multitasking operating system. Theoretical background is based on timed automata by Alur and Dill. As th...
172
click to vote
LICS
1990
IEEE
15 years 10 months ago
1990
IEEE
E cient automatic model checking algorithms for real-time systems have been obtained in recent years based on the state region graph technique of Alur, Courcoubetis and Dill. Howev...
199
click to vote
AICT
2005
IEEE
15 years 8 months ago
2005
IEEE
Automatic repeat request (ARQ) schemes are effective to recover non-real-time data corrupted by channel errors, but their use with real-time traffic is seldom considered because p...