6555 search results - page 623 / 1311 » Secure attribute-based systems |
182
click to vote
COMSUR
2000
15 years 7 months ago
2000
Trust is an important aspect of decision making for Internet applications and particularly influences the specification of security policy i.e. who is authorised to perform action...
156
click to vote
OOPSLA
2010
Springer
15 years 5 months ago
2010
Springer
The act of computer programming is generally considered to be temporally removed from a computer program’s execution. In this paper we discuss the idea of programming as an acti...
203
Voted
OOPSLA
2010
Springer
15 years 5 months ago
2010
Springer
In logic metaprogramming, programs are not stored as plain textfiles but rather derived from a deductive database. While the benefits of this approach for metaprogramming are ob...
222
click to vote
SAFECOMP
2010
Springer
15 years 5 months ago
2010
Springer
A safety case should provide a clear, comprehensible and defensible argument, supported by evidence, that a system is acceptably safe to operate in a particular environment. This a...
146
click to vote
MOC
2010
15 years 2 months ago
2010
In this paper, the geometric interpolation of planar data points and boundary tangent directions by a cubic G2 Pythagorean-hodograph (PH) spline curve is studied. It is shown, that...