1580 search results - page 155 / 316 » Non-Interference Through Determinism |
ICCAD
2003
IEEE
14 years 7 months ago
2003
IEEE
In this paper, we present an integrated approach to floorplanning and bus planning, i.e., bus-driven floorplanning (BDF). We are given a set of circuit blocks and the bus speciï...
SOSP
2001
ACM
14 years 7 months ago
2001
ACM
In modern systems, developers are often unable to modify the underlying operating system. To build services in such an environment, we advocate the use of gray-box techniques. Whe...
HICSS
2009
IEEE
14 years 5 months ago
2009
IEEE
Electronic commerce (EC) offers many benefits to organizations of any size including small to medium- sized enterprises (SMEs). At this stage, there is still a need for a better u...
IEEEARES
2009
IEEE
14 years 5 months ago
2009
IEEE
Abstract—Attack Graphs are an important support for assessment and subsequent improvement of network security. They reveal possible paths an attacker can take to break through se...
CCGRID
2009
IEEE
14 years 5 months ago
2009
IEEE
—Current implementations of real-time collaborative applications rely on a dedicated infrastructure to carry out all synchronizing and communication functions, and require all en...