4666 search results - page 318 / 934 » Equations on Timed Languages |
196
click to vote
CBMS
2006
IEEE
16 years 25 days ago
2006
IEEE
— Most biomedical research databases contain considerable amounts of time-oriented data. However, temporal knowledge about the contextual meaning of such data is not usually repr...
210
click to vote
ISORC
2005
IEEE
16 years 11 days ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
194
click to vote
KBSE
2005
IEEE
16 years 10 days ago
2005
IEEE
We present a new model checking algorithm for verifying computation tree logic (CTL) properties. Our technique is based on using language inference to learn the fixpoints necessar...
212
Voted
ISADS
2003
IEEE
16 years 1 days ago
2003
IEEE
An advanced high-level approach for programming of real-time distributed computing applications, the TMO (Time-triggered Message-triggered Object) programming and specification sc...
186
click to vote
WORDS
2003
IEEE
16 years 1 days ago
2003
IEEE
Despite of the proliferation of object-oriented and component technology, their application to real-time operating systems (RTOS) has been limited since most design concerns in RT...