4211 search results - page 107 / 843 » A formal approach to MASQ |
187
click to vote
AIMSA
2008
Springer
16 years 22 days ago
2008
Springer
Since its formalization RBAC has become the yardstick for the evaluation of access control formalisms. In order to meet organizational needs, it has been extended along several di...
195
click to vote
MKM
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. The relationship between theorems and lemmas in mathematical reasoning is often vague. No system exists that formalizes the structure of theorems in a mathematical librar...
160
click to vote
ICWS
2003
IEEE
15 years 7 months ago
2003
IEEE
: Presented is the vision of the authors on how diverse web services may be composed, mediated by dynamic task coalitions of agents performing tasks for service requestors. The foc...
182
click to vote
IEE
2008
15 years 6 months ago
2008
: From a maintenance perspective, only software that is well understood can evolve in a controlled and high-quality manner. Software evolution itself is a knowledge-driven process ...
163
click to vote
TPHOL
2009
IEEE
16 years 1 months ago
2009
IEEE
Optical systems are becoming increasingly important as they tend to resolve many bottlenecks in the present age communications and electronics. Some common examples include their u...