10038 search results - page 1628 / 2008 » Model Checking for Managers |
167
click to vote
JSW
2008
15 years 6 months ago
2008
The MURA phenomenon will result lots of problems in Photomask and TFT-LCD industries as well. In this paper, we designed and developed a MURA related association rules which suitab...
158
click to vote
JUCS
2008
15 years 6 months ago
2008
Abstract: This paper describes a Java-based framework for developing componentbased software systems supporting adaptation with logic laws and considering component interactions as...
191
click to vote
JPDC
2006
15 years 6 months ago
2006
Conventional performance evaluation mechanisms focus on dedicated systems. Grid computing infrastructure, on the other hand, is a shared collaborative environment constructed on v...
155
click to vote
ENTCS
2007
15 years 6 months ago
2007
We present a new specification/implementation of the mobile agent language Mobile Maude. This new version uses the external sockets provided by Maude since its 2.2 version, thus ...
168
Voted
JSS
2006
15 years 6 months ago
2006
Ecological security is an important basis of the entire human security system, the cornerstone for human survival. Knowing the status of ecological security is crucial for making ...