441 search results - page 25 / 89 » Refinement of Time |
JLP
2008
13 years 8 months ago
2008
models, used for specification, analysis and verification, usually describe sets of implementations by means of a refinement relation. In the branching time setting, implementatio...
APLAS
2008
ACM
13 years 10 months ago
2008
ACM
In this paper we propose a hierarchy of games that allows us to make a systematic comparison of process equivalences by characterizing process equivalences as games. The well-known...
ANSOFT
2002
13 years 8 months ago
2002
Abstract. The real-time process algebra (RTPA) is a set of new mathematical notations for formally describing system architectures, and static and dynamic behaviors. It is recogniz...
TSE
2002
13 years 8 months ago
2002
In this paper, we propose a means to enhance an architecture description language with a description of component behavior. A notation used for this purpose should be able to expr...
KES
2005
Springer
14 years 2 months ago
2005
Springer
Much of the world’s data is in the form of time series, and many other types of data, such as video, image, and handwriting, can easily be transformed into time series. This fact...