2850 search results - page 50 / 570 » On Timed Models and Full Abstraction |
142
click to vote
ADAEUROPE
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This paper describes a laboratory equipped for the teaching of realtime systems. The laboratory has been built around a Digital Model Railroad Platform and it allows the ...
131
click to vote
DAGSTUHL
2006
15 years 7 months ago
2006
Abstract. An e-market system is a concrete implementation of a market institution; it embeds one or more exchange mechanisms. E-market systems are also information systems which ar...
160
click to vote
SAC
2006
ACM
16 years 2 days ago
2006
ACM
: In chip design, one of the main objectives is to decrease its clock cycle; however, the existing approaches to timing analysis under uncertainty are based on fundamentally restri...
148
click to vote
IPMI
2007
Springer
16 years 7 months ago
2007
Springer
Abstract. A new method is introduced for estimating single-trial magnetoor electro-encephalography (M/EEG), based on a non-linear fit of timefrequency atoms. The method can be appl...
155
Voted
ISORC
2009
IEEE
16 years 22 days ago
2009
IEEE
In the automotive domain, several loosely-coupled Architecture Description Languages (ADLs) compete to proet of abstract modeling and analysis services on top of the implementatio...