2413 search results - page 48 / 483 » Models for universal usability |
PUC
2000
13 years 10 months ago
2000
abstract Alan Dix Devina Ramduny Tom Rodden, Nigel Davies. aQtive limited and Staffordshire University Staffordshire University Lancaster University http://www.hiraeth.com/alan/top...
FCT
2001
Springer
14 years 2 months ago
2001
Springer
Abstract. Generalising modules over associative rings, the notion of modules for an endofunctor of any category is well established and useful in large parts of mathematics includi...
DATESO
2006
13 years 11 months ago
2006
Abstract. This paper describes a vision of CellStore, a kind of universal database system, which would be capable of storing and operating on several different data models
FORMATS
2007
Springer
14 years 4 months ago
2007
Springer
Timed automata were introduced by Alur and Dill in the early 1990s and have since become the most prominent modelling formalism for real-time systems. A fundamental limit to the al...
CRYPTO
2006
Springer
14 years 1 months ago
2006
Springer
We present the first universally verifiable voting scheme that can be based on a general assumption (existence of a non-interactive commitment scheme). Our scheme is also the first...