193 search results - page 29 / 39 » Improving Pushdown System Model Checking |
MMM
2010
Springer
13 years 10 months ago
2010
Springer
: Networks and distributed computing systems are becoming increasingly important and at the same time, more and more critical to the world of Information Technology. This rash spre...
HICSS
2003
IEEE
14 years 1 months ago
2003
IEEE
We carried out eight assessments of usability engineering processes in four industrial companies, for the purpose of providing a basis for process improvement. The research method...
AGP
2010
IEEE
14 years 16 days ago
2010
IEEE
We present an overview of the program transformation techniques which have been proposed over the past twenty-five years in the context of logic programming. We consider the appro...
QEST
2007
IEEE
14 years 2 months ago
2007
IEEE
We give an overview of GRIP, a symmetry reduction tool for the probabilistic model checker PRISM, together with experimental results for a selection of example specifications. 1 ...
ICSE
2004
IEEE-ACM
14 years 8 months ago
2004
IEEE-ACM
Semantic Web, the next generation of Web, gives data well-defined and machine-understandable meaning so that they can be processed by remote intelligent agents cooperatively. Onto...