1087 search results - page 81 / 218 » The DecideIT Decision Tool |
CIG
2005
IEEE
14 years 1 months ago
2005
IEEE
TRACS (Tool for Research on Adaptive Cognitive Strategies) is a new suite of card games played with a special deck, where the back of each card is a clue to the front of the card. ...
SAT
2004
Springer
14 years 1 months ago
2004
Springer
We focus on incremental compilation-to-SAT procedures (iCTS), a promising way to push the standard CTS approaches beyond their limits. We propose the first comprehensive framework...
ISSRE
2003
IEEE
14 years 1 months ago
2003
IEEE
A large number of coverage criteria to generate tests from logical expressions have been proposed. Although there have been large variations in the terminology, the articulation o...
ACISP
2000
Springer
14 years 2 days ago
2000
Springer
All human co-operation is based on trust, meaning that we choose co-operation partners and make commitment decisions based on how much we trust the other party. Digital certificat...
ERSHOV
1999
Springer
14 years 1 hour ago
1999
Springer
A semi-visual framework for the speci cation of syntax and semantics of imperative programming languages, called Montages, was proposed in an earlier work by the authors. The prima...