4211 search results - page 107 / 843 » A formal approach to MASQ |
112
Voted
AIMSA
2008
Springer
15 years 7 months 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...
136
Voted
MKM
2005
Springer
15 years 6 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...
88
Voted
ICWS
2003
IEEE
15 years 2 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...
132
Voted
IEE
2008
15 years 24 days 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 ...
90
Voted
TPHOL
2009
IEEE
15 years 7 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...