2468 search results - page 208 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
165
click to vote
DKE
2008
15 years 4 months ago
2008
Adaptivity in process management systems is key to their successful applicability in practice. Approaches have been already developed to ensure system correctness after arbitrary ...
177
click to vote
CORR
2011
Springer
14 years 7 months ago
2011
Springer
—We consider a multiple-input multiple-output (MIMO) multiple access channel (MAC), where the channel between each transmitter and the receiver is modeled by the doubly-scatterin...
135
click to vote
CORR
2006
Springer
15 years 4 months ago
2006
Springer
The well-known problem of state space explosion in model checking is even more critical when applying this technique to programming languages, mainly due to the presence of complex...
152
click to vote
LCTRTS
2010
Springer
15 years 11 months ago
2010
Springer
This paper extends the methodology of analytic real-time analysis of distributed embedded systems towards merging and extracting sub-streams based on event type information. For e...
167
click to vote
HICSS
1996
IEEE
15 years 8 months ago
1996
IEEE
The venerable problem solving technique of simulation finds itself inthe midstof a revolution. Where once it was regarded as a "technique of last resort" for systems ana...