4211 search results - page 40 / 843 » A formal approach to MASQ |
COMPUTER
2006
15 years 6 months ago
2006
186
click to vote
ISOLA
2010
Springer
15 years 5 months ago
2010
Springer
During the design iterations of embedded systems, the schedulability analysis is an important method to verify whether the real-time constraints are satisfied. In order to achieve...
324
Voted
FM
1997
Springer
15 years 11 months ago
1997
Springer
We describe a meta-method for formal method integration Pai97 . The approach is applied to combining formal methods with other formal and semiformal methods. We discuss the theory ...
217
click to vote
ICSOC
2010
Springer
15 years 5 months ago
2010
Springer
Service-Oriented Computing (SOC) has gained considerable popularity for implementing Service-Based Applications (SBAs) in a flexible and effective manner. The basic idea of SOC i...