1414 search results - page 156 / 283 » Randomness and Universal Machines |
110
Voted
APSEC
2007
IEEE
15 years 7 months ago
2007
IEEE
E-AoSAS++ is an aspect-oriented software architecture style for embedded software. It basically gives the style in which a set of state transition machines organizes a software. W...
SP
2007
IEEE
15 years 7 months ago
2007
IEEE
TCB Code Execution (Extended Abstract)∗ Jonathan M. McCune, Bryan Parno, Adrian Perrig, Michael K. Reiter, and Arvind Seshadri Carnegie Mellon University We propose an architect...
93
Voted
ECTEL
2007
Springer
15 years 7 months ago
2007
Springer
Most Higher Education institutions are now embracing e-learning to some extent. Some have instigated institution-wide e-learning initiatives, whilst others are engaging in the use ...
109
click to vote
EDUTAINMENT
2007
Springer
15 years 7 months ago
2007
Springer
When designing product behavior, the designer often needs to communicate to experts in computer software and protocols. In present-day software engineering, formal specification m...
101
click to vote
METRICS
2005
IEEE
15 years 6 months ago
2005
IEEE
In the high performance computing domain, the speed of execution of a program has typically been the primary performance metric. But productivity is also of concern to high perfor...