20126 search results - page 124 / 4026 » Timed Transition Systems |
123
click to vote
DATE
2000
IEEE
15 years 7 months ago
2000
IEEE
We integrate data and control flow at the system specification level, using the two specialized and well established languages Matlab and SDL. For this we provide a modeling techn...
146
Voted
VRML
1998
ACM
15 years 7 months ago
1998
ACM
We describe our efforts in providing REINAS (Realtime Environmental Information Network and Analysis System) weather visualization products on demand through the web. As the REINA...
143
Voted
EVOW
2008
Springer
15 years 5 months ago
2008
Springer
Traditional test generation methodologies for peripheral cores are performed by a skilled test engineer, leading to long generation times. In this paper a test generation methodolo...
116
click to vote
FMOODS
2007
15 years 4 months ago
2007
We present the first tool that offers dynamic verification of extended traints on UML models. It translates a UML model into an Abstract State (ASM) which is transformed by an AS...
134
click to vote
DELOS
2004
15 years 4 months ago
2004
Abstract. The transition from traditional paper libraries to digital libraries enables new strategies for the use and maintenance of artifact collections. Distributed software deve...