158 search results - page 22 / 32 » Higher Dimensional Transition Systems |
DSN
2004
IEEE
15 years 3 months ago
2004
IEEE
Advanced molecular nanotechnology devices are expected to have exceedingly high transient fault rates and large numbers of inherent device defects compared to conventional CMOS de...
79
Voted
AUTOMOTIVEUI
2009
ACM
15 years 4 months ago
2009
ACM
The increasing traffic volume confronts the road user with a challenging task. The high number of traffic deaths might not be reducible with passive safety alone. However systems ...
89
Voted
FSTTCS
2008
Springer
15 years 22 days ago
2008
Springer
ABSTRACT. Multiset pushdown systems have been introduced by Sen and Viswanathan as an adequate model for asynchronous programs where some procedure calls can be stored as tasks to ...
80
Voted
CONEXT
2008
ACM
15 years 1 months ago
2008
ACM
In peer-to-peer (P2P) systems, a receiver needs to be matched with multiple senders, because peers have limited capacity and reliability. Efficient peer matching can reduce the co...
109
Voted
DAGSTUHL
2004
15 years 1 months ago
2004
Abstract. Model transformations are an integral part of OMG's standard for Model Driven Architecture (MDA). Model transformations should at the best allow for a seamless trans...