17789 search results - page 252 / 3558 » Exceptional Use Cases |
178
click to vote
SPIN
1999
Springer
15 years 11 months ago
1999
Springer
In a recent study a series of model checkers, among which Spin [5], SMV [9], and a newer system called XMC [10], were compared on performance. The measurements used for this compar...
159
click to vote
ACMDIS
1997
ACM
15 years 10 months ago
1997
ACM
The paper describes lessons learned about the design of a form for interactive narrative. The lessons are based on an initial prototype and have ramifications for both a next-step...
194
click to vote
DEBS
2007
ACM
15 years 10 months ago
2007
ACM
Content-based routing (CBR) provides the core distribution support of several middleware paradigms, most notably content-based publish-subscribe. Despite its popularity, however, ...
164
click to vote
RSCTC
2000
Springer
15 years 10 months ago
2000
Springer
The optimization of rough set based classification models with respect to parameterized balance between a model's complexity and confidence is discussed. For this purpose, the...
194
click to vote
IADIS
2004
15 years 8 months ago
2004
With the Internet rapidly becoming a ubiquitous and global tool inveigling all spheres of our lives so with the joys and pleasure comes the pain. There are many reasons why govern...