819 search results - page 15 / 164 » Using Assumptions to Distribute CTL Model Checking |
FMICS
2010
Springer
15 years 1 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 ...
ISSS
2000
IEEE
15 years 4 months ago
2000
IEEE
The ever increasing complexity of embedded systems consisting of hardware and software components poses a challenge in verifying their correctness, New verification methods that o...
126
click to vote
UML
2004
Springer
15 years 5 months ago
2004
Springer
This paper discusses a model-based design flow for requirements in distributed embedded software development. Such requirements are specified using a language similar to Linear T...
124
Voted
IEEESCC
2006
IEEE
15 years 6 months ago
2006
IEEE
Service composition aims to provide an efficient and accurate model of a service, based on which the global service oriented architecture (SOA) can be realized, allowing value add...
FLAIRS
2004
15 years 1 months ago
2004
Bayesian network is a popular modeling tool for uncertain domains that provides a compact representation of a joint probability distribution among a set of variables. Even though ...