453 search results - page 4 / 91 » From restrictive to prescriptive design |
122
Voted
SIGSOFT
2010
ACM
15 years 1 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...
114
Voted
ACSC
2010
IEEE
14 years 10 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...
130
Voted
ACNS
2008
Springer
15 years 10 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 ...
128
Voted
ICCV
1995
IEEE
15 years 7 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...
130
Voted
INTETAIN
2009
Springer
15 years 10 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...