3229 search results - page 100 / 646 » The Theory of Timed Automata |
148
click to vote
ADAEUROPE
2008
Springer
16 years 23 days ago
2008
Springer
The Cheddar project deals with real time scheduling theory. Many industrial projects do not perform performance analysis with real time scheduling theory even if the demand for the...
164
click to vote
ECAI
1992
Springer
15 years 10 months ago
1992
Springer
The literature on the nature and representation of time is full of disputes and contradictory theories. This is surprising since the nature of time does not cause any worry for pe...
166
click to vote
ICALP
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. We propose a theory of time-bounded verification for realtime systems, in which verification queries are phrased over time intervals of fixed, bounded duration. We argue ...
148
click to vote
CALCO
2007
Springer
16 years 17 days ago
2007
Springer
We study the equational theory of Timed CCS as proposed by Wang Yi in CONCUR’90. Common to Wang Yi’s paper, we particularly focus on a class of linearly-ordered time domains ex...
139
click to vote
FSKD
2007
Springer
16 years 17 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...