2513 search results - page 152 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
103
click to vote
ICANN
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. One focus of recent research in the field of biologically plausible neural networks is the investigation of higher-level functions such as learning, development and modu...
CODES
1997
IEEE
15 years 2 months ago
1997
IEEE
:Thispaper introduces a templatearchitecturefor codesignmethodologies.This architecture is basedon a data synchronizedcontrol schemethat is well adaptedto the implementation of num...
ICFEM
2000
Springer
15 years 1 months ago
2000
Springer
Use Cases are a wide-spread informal method for specifying the requirements of a technical system in the early development phase. Z is a formal notation which aims to support, bes...
FPL
2007
Springer
15 years 4 months ago
2007
Springer
This paper describes an execution cache that uses process migration between hardware and software contexts by way of run-time reconfiguration (RTR) of Field Programmable Gate Arr...
ICSM
2006
IEEE
15 years 4 months ago
2006
IEEE
— Software maintenance tools for program analysis and refactoring rely on a meta-model capturing the relevant properties of programs. However, what is considered relevant may cha...