7557 search results - page 473 / 1512 » Modeling Timed Concurrent Systems |
163
click to vote
SEFM
2005
IEEE
16 years 13 days ago
2005
IEEE
The formal description technique RT-LOTOS has been selected as intermediate language to add formality to a real-time UML profile named TURTLE. For this sake, an RT-LOTOS verificat...
186
click to vote
ASM
2005
ASM
16 years 13 days ago
2005
ASM
State machines are considered a very general means of expressing computations in an implementation-independent way. There are also ways to extend the general state machine framewor...
219
click to vote
ICANN
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. An application of the recently proposed generalized relevance learning vector quantization (GRLVQ) to the analysis and modeling of time series data is presented. We use G...
156
click to vote
EURODAC
1994
IEEE
15 years 11 months ago
1994
IEEE
Due to the complexity of today's systems, prototyping by simulation must be based on simulation-engine-like performance. It is proved by implementations that compiler-driven ...
193
click to vote
CAV
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. Temporal logic is popular for specifying correctness properties of reactive systems. Real-time temporal logics add the ability to express quantitative timing aspects. Tab...