2873 search results - page 129 / 575 » Model Checking and the Mu-calculus |
FMICS
2010
Springer
14 years 11 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 ...
DAC
1998
ACM
15 years 11 months ago
1998
ACM
QEST
2007
IEEE
15 years 4 months ago
2007
IEEE
JALC
2006
14 years 10 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...
131
click to vote
CSAC
2006
14 years 11 months ago
2006
Abstract. Web services constitute a dynamic field of research about technologies of the Internet. WS-BPEL 2.0, is in the way for becoming a standard for defining Web services orche...