4257 search results - page 628 / 852 » The Logical Modularity of Programs |
197
click to vote
IEEESCC
2007
IEEE
16 years 28 days ago
2007
IEEE
Large-scale distributed systems, such as e-healthcare systems, are difficult to develop due to their complex and decentralized nature. The Service Oriented Architecture facilitat...
156
click to vote
CTRSA
2007
Springer
16 years 24 days ago
2007
Springer
This paper announces a new software side-channel attack — enabled by the branch prediction capability common to all modern highperformance CPUs. The penalty paid (extra clock cyc...
177
click to vote
ICALP
2007
Springer
16 years 24 days ago
2007
Springer
A spanner of an undirected unweighted graph is a subgraph that approximates the distance metric of the original graph with some specified accuracy. Specifically, we say H ⊆ G i...
202
click to vote
VAMOS
2007
Springer
16 years 22 days ago
2007
Springer
Aspect-oriented software development has recently emerged as a new paradigm for systematic modularization and representation of the crosscutting concern. Because the variability i...
147
click to vote
CSFW
2006
IEEE
16 years 21 days ago
2006
IEEE
This paper presents an embedded security sublanguage for enforcing information-flow policies in the standard Haskell programming language. The sublanguage provides useful informa...