Sciweavers

365 search results - page 55 / 73
» Dynamic Verification of Trust in Distributed Open Systems
Sort
View
ISCA
2011
IEEE
269views Hardware» more  ISCA 2011»
13 years 12 days ago
Crafting a usable microkernel, processor, and I/O system with strict and provable information flow security
High assurance systems used in avionics, medical implants, and cryptographic devices often rely on a small trusted base of hardware and software to manage the rest of the system. ...
Mohit Tiwari, Jason Oberg, Xun Li 0001, Jonathan V...
ICCS
2005
Springer
14 years 2 months ago
Computational Modeling of Human Head Conductivity
A multi-cluster computational environment with mixed-mode (MPI + OpenMP) parallelism for estimation of unknown regional electrical conductivities of the human head, based on realis...
Adnan Salman, Sergei Turovets, Allen D. Malony, Je...
PEWASUN
2004
ACM
14 years 2 months ago
A novel solution for achieving anonymity in wireless ad hoc networks
A mobile ad hoc network consists of mobile nodes that can move freely in an open environment. Communicating nodes in a wireless and mobile ad hoc network usually seek the help of ...
Azzedine Boukerche, Khalil El-Khatib, Li Xu, Larry...
CN
1999
107views more  CN 1999»
13 years 8 months ago
Programmable mobile networks
We present the design, implementation and evaluation of an open programmable mobile network based on distributed object technology called mobiware that dynamically exploits the in...
Andrew T. Campbell, Michael E. Kounavis, Raymond R...
HASE
2007
IEEE
14 years 3 months ago
A Fault Taxonomy for Service-Oriented Architecture
—Service-Oriented Architecture (SOA) is a popular design paradigm for distributed systems today. Its dynamics and loose coupling are predestined for self-adaptive systems. This a...
Stefan Brüning, Stephan Weißleder, Miro...