690 search results - page 75 / 138 » Testing Temporal Logic Properties in Distributed Systems |
127
click to vote
DATE
2004
IEEE
15 years 7 months ago
2004
IEEE
System level modeling with executable languages such as C/C++ has been crucial in the development of large electronic systems from general processors to application specific desig...
121
click to vote
ISCIS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Flexible Manufacturing Systems (FMSs) are adopted to process different goods in different mix ratios allowing firms to react quickly and efficiently to changes in produ...
132
click to vote
TISSEC
2010
14 years 10 months ago
2010
The SELinux mandatory access control (MAC) policy has recently added a multi-level security (MLS) model which is able to express a fine granularity of control over a subject'...
134
click to vote
ATAL
2007
Springer
15 years 9 months ago
2007
Springer
Decentralized Markov Decision Processes (DEC-MDPs) are a popular model of agent-coordination problems in domains with uncertainty and time constraints but very difficult to solve...
130
click to vote
SAC
2006
ACM
15 years 3 months ago
2006
ACM
The objective of testing is to determine the conformance between a system and its specification. When testing distributed systems, the existence of multiple testers brings out the...