Sciweavers

2178 search results - page 188 / 436
» Toward Systemically Secure IT Architectures
Sort
View
ASPLOS
2012
ACM
12 years 5 months ago
Architectural support for hypervisor-secure virtualization
Virtualization has become a standard part of many computer systems. A key part of virtualization is the all-powerful hypervisor which manages the physical platform and can access ...
Jakub Szefer, Ruby B. Lee
P2P
2009
IEEE
155views Communications» more  P2P 2009»
14 years 4 months ago
ModelNet: Towards a DataCenter Emulation Environment
—ModelNet is a network emulator designed for repeatable, large-scale experimentation with real networked systems. This talk introduces the ideas behind ModelNet that have made it...
Kashi Venkatesh Vishwanath, Amin Vahdat, Ken Yocum...
AGILEDC
2007
IEEE
14 years 4 months ago
Towards Extreme(ly) Usable Software: Exploring Tensions Between Usability and Agile Software Development
Design is an inherently multidisciplinary endeavor. This raises the question of how to develop systems in ways that can best leverage the perspectives, practices, and knowledge ba...
Jason Chong Lee, D. Scott McCrickard
ECRTS
2000
IEEE
14 years 2 months ago
Towards validated real-time software
We present a tool for the design and validation of embedded real-time applications. The tool integrates two approaches, the use of the synchronous programming language ESTEREL for...
Valérie Bertin, Michel Poize, Jacques Pulou...
AAAI
2007
13 years 12 months ago
Towards an Integrated Robot with Multiple Cognitive Functions
We present integration mechanisms for combining heterogeneous components in a situated information processing system, illustrated by a cognitive robot able to collaborate with a h...
Nick Hawes, Aaron Sloman, Jeremy Wyatt, Michael Zi...