7827 search results - page 148 / 1566 » time 2007 |
133
click to vote
FMSD
2007
15 years 5 months ago
2007
We study the cost-optimal reachability problem for weighted timed automata such that positive and negative costs are allowed on edges and locations. By optimality, we mean an infi...
133
click to vote
FSKD
2007
Springer
16 years 1 days ago
2007
Springer
According to the practical need for uncertain time modeling and analysis in WfMSs, based on possibility theory, the paper firstly introduces fuzzy time and puts forward the concep...
138
click to vote
IEEEARES
2007
IEEE
16 years 6 days ago
2007
IEEE
Assuring information authenticity is an important issue in the field of information security. A new broadcast authentication protocol is proposed. The protocol is based on time sy...
124
click to vote
FORMATS
2007
Springer
16 years 1 days ago
2007
Springer
We identify a class of timed automata, which we call counter-free input-determined automata, which characterize the class of timed languages definable by several timed temporal l...
160
click to vote
ICNS
2007
IEEE
16 years 6 days ago
2007
IEEE
Complexity of distributed real-time applications such as automotive electronics has increased dramatically over the last couple of years. As a result, developing communication pro...