5216 search results - page 152 / 1044 » Planning as Model Checking |
127
Voted
ICDCSW
2009
IEEE
14 years 11 months ago
2009
IEEE
Dynamic composition of protocol features allows applications to establish connections with custom communication characteristics. Automatically computing possible compositions and ...
102
Voted
FMICS
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. The FlexRay standard, developed by a cooperation of leading companies in the automotive industry, is a robust communication protocol for distributed components in modern ...
87
Voted
DAC
1998
ACM
16 years 2 months ago
1998
ACM
QEST
2007
IEEE
15 years 7 months ago
2007
IEEE
98
Voted
JALC
2006
15 years 1 months ago
2006
Membrane computing is a branch of molecular computing that aims to develop models and paradigms that are biologically motivated. It identifies an unconventional computing model, n...