38 search results - page 1 / 8 » A Decision Method for Duration Calculus |
RELMICS
2000
Springer
14 years 2 months ago
2000
Springer
Abstract: The Duration Calculus is an interval logic introduced for designing realtime systems. This calculus is able to capture important real-time problems like the speci cation ...
FTRTFT
1998
Springer
14 years 3 months ago
1998
Springer
ENTCS
2002
13 years 10 months ago
2002
We investigate a variant of dense-time Duration Calculus which permits model checking using timed/hybrid automata. We define a variant of the Duration Calculus, called Interval Du...
ICTAC
2004
Springer
14 years 4 months ago
2004
Springer
Among the possible approaches for expressing real-time problems with the B method, two are dominant : the use of the usual B mechanisms to define temporal constraints on the one h...
ICARIS
2009
Springer
14 years 5 months ago
2009
Springer
As one of the newest members in Artificial Immune Systems (AIS), the Dendritic Cell Algorithm (DCA) has been applied to a range of problems. These applications mainly belong to th...