1761 search results - page 6 / 353 » Performance Evaluation : = (Process Algebra Model Checking... |
AINA
2009
IEEE
14 years 23 days ago
2009
IEEE
EDO
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. We demonstratehow the use of synchronizationprimitives and threading policies in distributed object middleware can lead to deadlocks. We identify that objectmiddleware on...
CACM
2010
13 years 6 months ago
2010
JSS
2010
13 years 2 months ago
2010
Architectural description languages are a useful tool for modeling complex systems at a high level of abstraction. If based on formal methods, they can also serve for enabling the...
WIDM
2012
ACM
12 years 3 months ago
2012
ACM
Process mining techniques use event data to discover process models, to check the conformance of predefined process models, and to extend such models with information about bottl...