1748 search results - page 185 / 350 » Using Aspect Programming to Secure Web Applications |
123
Voted
ASPLOS
2012
ACM
13 years 10 months 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...
125
Voted
FOAL
2007
ACM
15 years 6 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...
129
Voted
CCGRID
2006
IEEE
15 years 6 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 ...
135
Voted
CJ
2010
15 years 5 days 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...
127
click to vote
TRUSTBUS
2009
Springer
15 years 9 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...