9227 search results - page 392 / 1846 » Developing Use Cases from Organizational Modeling |
470
Voted
LICS
2012
IEEE
13 years 10 months ago
2012
IEEE
—A novel countermodel-producing decision procedure that applies to several multi-modal logics, both intuitionistic and classical, is presented. Based on backwards search in label...
200
click to vote
SNPD
2008
15 years 9 months ago
2008
This paper presents a single project experiment on the fault revealing capabilities of model-based test sets. The tests are generated from UML statecharts and UML sequence diagram...
210
Voted
NIPS
2004
15 years 9 months ago
2004
A typical neuron in visual cortex receives most inputs from other cortical neurons with a roughly similar stimulus preference. Does this arrangement of inputs allow efficient read...
200
click to vote
CTRSA
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Multi-signatures allow multiple signers to jointly authenticate a message using a single compact signature. Many applications however require the public keys of the signe...
198
click to vote
ISSRE
2005
IEEE
16 years 1 months ago
2005
IEEE
A classic question in software development is “H ow much testing is enough?” Aside from dynamic coverage-based metrics, there are few measures that can be used to provide guid...