612 search results - page 13 / 123 » Division for Foundation of Software |
CSFW
2010
IEEE
15 years 5 months ago
2010
IEEE
—We propose a formal model of web security based straction of the web platform and use this model to analyze the security of several sample web mechanisms and applications. We id...
119
click to vote
ICDE
2011
IEEE
14 years 5 months ago
2011
IEEE
Abstract—Hyracks is a new partitioned-parallel software platform designed to run data-intensive computations on large shared-nothing clusters of computers. Hyracks allows users t...
103
Voted
RSP
2005
IEEE
15 years 7 months ago
2005
IEEE
This paper presents a residential gateway (RG) prototyping process using Xilinx Integrated Software Environment (ISE) version 6.1i. The RG was designed for broadband residential m...
126
Voted
DATE
2005
IEEE
15 years 7 months ago
2005
IEEE
This paper describes first results from the AutoMoDe (Automotive Model-Based Development) project. The overall goal of the project is to develop an integrated methodology for mode...
102
click to vote
CC
2007
Springer
15 years 8 months ago
2007
Springer
In this paper, we extend past work on Linear Scan register allocation, and propose two Extended Linear Scan (ELS) algorithms that retain the compiletime efficiency of past Linear ...