4418 search results - page 170 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
130
click to vote
IPPS
2007
IEEE
15 years 11 months ago
2007
IEEE
Replicating data objects onto servers across a system can alleviate access delays. The selection of data objects and servers requires solving a constraint optimization problem, wh...
154
click to vote
ISORC
2009
IEEE
15 years 11 months ago
2009
IEEE
General-purpose middleware, by definition, cannot readily support domain-specific semantics without significant manual efforts in specializing the middleware. This paper prese...
189
click to vote
FCCM
1999
IEEE
15 years 9 months ago
1999
IEEE
Abstract We are developing an integrated algorithm analysis and mapping environment particularly tailored for signal processing applications on Adaptive Computing Systems ACS. Our ...
137
click to vote
DSRT
2008
IEEE
15 years 11 months ago
2008
IEEE
Security and reliability are of paramount importance in designing and building real-time systems because any security failure can put the public and the environment at risk. In th...
166
click to vote
DEXAW
2008
IEEE
15 years 6 months ago
2008
IEEE
We have proposed in the past three separate methodologies for secure software development. We have found that they have many common and complementary aspects and we proposed a com...