453 search results - page 4 / 91 » From restrictive to prescriptive design |
SIGSOFT
2010
ACM
13 years 7 months ago
2010
ACM
We present a novel technique for synthesising behaviour models that works for an expressive subset of liveness properties and conforms to the foundational requirements engineering...
ACSC
2010
IEEE
13 years 4 months ago
2010
IEEE
This paper discusses the design and implementation of a payment framework that is loosely based on the direct debit payment model. We define such payments as one in which customer...
ACNS
2008
Springer
14 years 4 months ago
2008
Springer
Compliance storage is an increasingly important area for businesses faced with a myriad of new document retention regulations. Today, businesses have turned to Write-One Read Many ...
ICCV
1995
IEEE
14 years 1 months ago
1995
IEEE
W e quantify the observation by Kender and Freudenstein [6] that degenerate views occupy a significant fraction of the viewing sphere surrounding an object. This demonstrates that...
INTETAIN
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. To inform the design of interactive drama systems, we investigate the experience of an interactor being part of a story that they can have a fundamental influence on. Im...