181 search results - page 36 / 37 » A Practical Approach to Coverage in Model Checking |
SIGSOFT
2009
ACM
14 years 17 days ago
2009
ACM
Web-services are broadly considered as an effective means to achieve interoperability between heterogeneous parties of a business process and offer an open platform for developing...
ASPLOS
2004
ACM
13 years 11 months ago
2004
ACM
+ XOM-based secure processor has recently been introduced as a mechanism to provide copy and tamper resistant execution. XOM provides support for encryption/decryption and integrit...
KDD
2000
ACM
13 years 9 months ago
2000
ACM
We describe an application of data mining and decision analysis to the problem of die-level functional test in integrated circuit manufacturing. Integrated circuits are fabricated...
EWSA
2005
Springer
13 years 11 months ago
2005
Springer
Abstract. In this paper we motivate an Architecture Description Language (ADL) for mobile distributed systems based on the π-calculus. Different from other approaches, the non-fu...
ICAC
2009
IEEE
14 years 16 days ago
2009
IEEE
The complexity of large computer systems has raised unprecedented challenges for system management. In practice, operators often collect large volume of monitoring data from system...