4340 search results - page 462 / 868 » Formal Methods and Cryptography |
148
click to vote
ACJ
2002
15 years 6 months ago
2002
Business Process Reengineering (BPR) is an important instrument to boost the performance of business processes. In this paper, the Product-Based Design method is presented that su...
179
click to vote
ETT
2002
15 years 6 months ago
2002
In this paper, a method is presented for the efficient estimation of rare-event (buffer overflow) probabilities in queueing networks using importance sampling. Unlike previously pr...
156
click to vote
JSS
2002
15 years 6 months ago
2002
As a baseline for software development, a correct and complete requirements definition is one foundation of software quality. Previously, a novel approach to static testing of sof...
182
click to vote
AUSAI
2010
Springer
15 years 5 months ago
2010
Springer
A general game player is a system that can play previously unknown games given nothing but their rules. A key to success in this endeavour is the ability to automatically gain know...
183
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
We present a language for specifying web service interfaces. A web service interface puts three kinds of constraints on the users of the service. First, the interface specifies th...