786 search results - page 57 / 158 » A Software System for Secure Computer Aided Exams |
LCTRTS
2007
Springer
15 years 6 months ago
2007
Springer
This paper presents a tool for automatic synthesis of RTL interfaces for heterogeneous MPSoC from transaction level models (TLMs). The tool captures the communication parameters i...
IESA
2007
15 years 1 months ago
2007
Conventional approaches to manage and control security seem to have reached their limits in new complex environments. These environments are open, dynamic, heterogeneous, distribut...
108
click to vote
CSCW
2004
ACM
15 years 5 months ago
2004
ACM
The lack of lightweight communication channels and other technical and sociological difficulties make it hard for new members of a non-collocated software development team to lea...
123
click to vote
SACMAT
2010
ACM
15 years 4 months ago
2010
ACM
We show the practical feasibility of monitoring complex security properties using a runtime monitoring approach for metric first-order temporal logic. In particular, we show how ...
100
click to vote
AGENTS
1997
Springer
15 years 4 months ago
1997
Springer
Downsizing the number of operators controlling complex systems can increase the decision-making demands on remaining operators, particularly in crisis situations. An answer to thi...