6829 search results - page 14 / 1366 » Quantitative Generalizations of Languages |
104
click to vote
CONCUR
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. We consider the problem of automatically verifying realtime systems with continuously distributed random delays. We generalise probabilistic timed automata introduced in ...
96
Voted
WECWIS
1999
IEEE
15 years 5 months ago
1999
IEEE
The Internet and the World Wide Web provide a global virtual marketplace. However, there is little information about the behavior of e-commerce users worldwide. The goal of the pa...
90
Voted
IANDC
2007
15 years 18 days ago
2007
In many cases, the addition of metric operators to qualitative temporal logics (TLs) increases the complexity of satisfiability by at least one exponential: while common qualitat...
105
Voted
AICCSA
2006
IEEE
15 years 6 months ago
2006
IEEE
Redundancy is a system property that generally refers to duplication of state information or system function. While redundancy is usually investigated in the context of fault tole...
90
Voted
UML
2005
Springer
15 years 6 months ago
2005
Springer
: This paper presents an overview of the workshop MARTES on Modeling and Analysis of Real-time and Embedded Systems that has taken place for the first time in association with the ...