6608 search results - page 1197 / 1322 » On the Completeness of Model Checking |
144
click to vote
JGTOOLS
2008
15 years 4 months ago
2008
Abstract. We explore the implications of reversing the process of shadow computation for real-time applications that model complex reflectance and lighting (such as that specified ...
125
click to vote
JAR
2006
15 years 4 months ago
2006
SET (Secure Electronic Transaction) is a suite of protocols proposed by a consortium of credit card companies and software corporations to secure ecommerce transactions. The Purcha...
140
click to vote
JNW
2008
15 years 4 months ago
2008
The performance of any cellular wireless network, as well as its revenue (number of customers using the network, and their degree of satisfaction) is determined to a great extent b...
151
click to vote
JSW
2008
15 years 4 months ago
2008
The Internet economy has altered the current rules of software engineering. Traditional development methodologies have proven too cumbersome to meet the rapidly changing requiremen...
135
click to vote
JSW
2008
15 years 4 months ago
2008
An application framework provides reusable design and implementation for a family of software systems. At the application engineering stage, application developers extend framework...