4979 search results - page 160 / 996 » Batch codes and their applications |
144
click to vote
KBSE
2008
IEEE
16 years 26 days ago
2008
IEEE
MaxMash is a tool that can compose select features of networked application and generate the source code for application mashups that can integrate those features. This paper pres...
175
click to vote
SP
2009
IEEE
16 years 1 months ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
184
click to vote
DATE
2008
IEEE
16 years 28 days ago
2008
IEEE
Embedded systems are becoming increasingly complex. Besides the additional processing capabilities, they are characterized by high diversity of computational models coexisting in ...
171
click to vote
ICST
2008
IEEE
16 years 27 days ago
2008
IEEE
If access control policy decision points are not neatly separated from the business logic of a system, the evolution of a security policy likely leads to the necessity of changing...
160
click to vote
IOLTS
2008
IEEE
16 years 26 days ago
2008
IEEE
— Error correcting coding is the dominant technique to achieve acceptable soft-error rates in memory arrays. In many modern circuits, the number of memory elements in the random ...