1748 search results - page 185 / 350 » Using Aspect Programming to Secure Web Applications |
144
click to vote
ASPLOS
2012
ACM
14 years 24 days ago
2012
ACM
Disciplined approximate programming lets programmers declare which parts of a program can be computed approximately and consequently at a lower energy cost. The compiler proves st...
137
click to vote
FOAL
2007
ACM
15 years 9 months ago
2007
ACM
The goal of this work is to treat safety and security policies as requirements to be composed in an aspectual style with a developing application. Policies can be expressed either...
149
click to vote
CCGRID
2006
IEEE
15 years 8 months ago
2006
IEEE
Our current research into programming models for parallel web services composition is targeted at providing mechanisms for obtaining higher throughput for large scale compute and ...
156
Voted
CJ
2010
15 years 2 months ago
2010
Abstract. Semantics-based program analysis uses an abstract semantics of programs/systems to statically determine run-time properties. Classic examples from compiler technology inc...
152
click to vote
TRUSTBUS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. The complexity of regulations in healthcare, financial services, and other industries makes it difficult for enterprises to design and deploy effective compliance syste...