Sciweavers

7225 search results - page 117 / 1445
» Software is data too
Sort
View
146
Voted
FSEN
2009
Springer
15 years 10 months ago
A Process-Theoretic Look at Automata
Automata theory presents roughly three types of automata: finite automata, pushdown automata and Turing machines. The automata are treated as language acceptors, and the expressiv...
Jos C. M. Baeten, Pieter J. L. Cuijpers, Bas Lutti...
156
Voted
SEFM
2008
IEEE
15 years 10 months ago
Modelling Rational User Behaviour as Games between an Angel and a Demon
Formal models of rational user behaviour are essential for user-centred reasoning about interactive systems. At an level, planned behaviour and reactive behaviour are two importan...
Rimvydas Ruksenas, Paul Curzon, Ann Blandford
119
Voted
IEEEICCI
2007
IEEE
15 years 10 months ago
Improving Object-Oriented Analysis with Roles
– Object-Oriented Analysis (OOA) has been proposed and applied in software engineering for more than fifteen years. Many researchers and practitioners have published many article...
Haibin Zhu
127
Voted
ACSC
2006
IEEE
15 years 10 months ago
On pedagogically sound examples in public-key cryptography
Pencil-and-paper exercises in public-key cryptography are important in learning the subject. It is desirable that a student doing such an exercise does not get the right answer by...
Suan Khai Chong, Graham Farr, Laura Frost, Simon H...
143
Voted
SCAM
2005
IEEE
15 years 9 months ago
Transforming Embedded Java Code into Custom Tags
When a new technology is introduced, the migration of existing applications to the new technology must be carefully considered. Automation can make some migrations feasible that o...
Shannon Xu, Thomas R. Dean