Sciweavers

2880 search results - page 304 / 576
» context 2007
Sort
View
FINANCECOM
2007
Springer
209views Finance» more  FINANCECOM 2007»
16 years 26 days ago
Information Risk in Financial Institutions: Field Study and Research Roadmap
Abstract. Large financial firms with thousands of employees face many challenges ensuring workers have access to the right information, yet controlling access to unneeded data. We ...
Sara Sinclair, Sean W. Smith, Stephanie Trudeau, M...
FMICS
2007
Springer
16 years 26 days ago
Checking the TWIN Elevator System by Translating Object-Z to SMV
In the context of large scale industrial installations, model checking often fails to tap its full potential because of a missing link between a system’s specification and its f...
Sören Preibusch, Florian Kammüller
FPL
2007
Springer
115views Hardware» more  FPL 2007»
16 years 26 days ago
Hardware/Software Process Migration and RTL Simulation
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...
Aric D. Blumer, Cameron D. Patterson
FPL
2007
Springer
78views Hardware» more  FPL 2007»
16 years 26 days ago
Dynamic Cache Switching in Reconfigurable Embedded Systems
The idea of changing cache attributes to suit an application has been explored for single programs. As the popularity of reconfigurable softcore systems grows and these systems in...
John Shield, Peter Sutton, Philip Machanick
161
Voted
FSEN
2007
Springer
16 years 26 days ago
Formalizing Compatibility and Substitutability in Communication Protocols Using I/O-Constraint Automata
Abstract. A communication protocol consists of a sequence of messages used by peer entities to communicate. Each entity in a network is equipped by at least one protocol stack. Due...
Mahdi Niamanesh, Rasool Jalili